../ libghc-vector-space-dev_0.10.2-2build1_amd64.deb 28-May-2020 21:26 140052 libghc-vector-space-dev_0.10.4-3build5_amd64.deb 28-May-2020 17:43 173184 libghc-vector-space-doc_0.10.2-2build1_all.deb 28-May-2020 21:33 50760 libghc-vector-space-doc_0.10.4-3build5_all.deb 28-May-2020 17:37 57020 libghc-vector-space-prof_0.10.2-2build1_amd64.deb 28-May-2020 21:26 128904 libghc-vector-space-prof_0.10.4-3build5_amd64.deb 28-May-2020 18:11 160340