../ libghc-numeric-extras-dev_0.1-1_amd64.deb 16-Mar-2016 10:47 15684 libghc-numeric-extras-dev_0.1-3build1_amd64.deb 02-Oct-2018 09:48 17228 libghc-numeric-extras-doc_0.1-1_all.deb 16-Mar-2016 09:41 16962 libghc-numeric-extras-doc_0.1-3build1_all.deb 02-Oct-2018 09:16 17294 libghc-numeric-extras-prof_0.1-1_amd64.deb 16-Mar-2016 10:12 12290 libghc-numeric-extras-prof_0.1-3build1_amd64.deb 02-Oct-2018 09:21 13294