../ libghc-vector-space-dev_0.10.2-2build1_amd64.deb 16-Mar-2016 10:42 140052 libghc-vector-space-dev_0.10.4-3build5_amd64.deb 02-Oct-2018 09:41 173184 libghc-vector-space-doc_0.10.2-2build1_all.deb 16-Mar-2016 09:59 50760 libghc-vector-space-doc_0.10.4-3build5_all.deb 02-Oct-2018 09:51 57020 libghc-vector-space-prof_0.10.2-2build1_amd64.deb 16-Mar-2016 10:56 128904 libghc-vector-space-prof_0.10.4-3build5_amd64.deb 02-Oct-2018 09:23 160340