../ libghc-numeric-extras-dev_0.1-1_amd64.deb 28-May-2020 21:53 15684 libghc-numeric-extras-dev_0.1-3build1_amd64.deb 28-May-2020 18:02 17228 libghc-numeric-extras-doc_0.1-1_all.deb 28-May-2020 21:53 16962 libghc-numeric-extras-doc_0.1-3build1_all.deb 28-May-2020 17:57 17294 libghc-numeric-extras-prof_0.1-1_amd64.deb 28-May-2020 21:51 12290 libghc-numeric-extras-prof_0.1-3build1_amd64.deb 28-May-2020 17:45 13294