../ libghc-vector-space-dev_0.10.2-2build1_amd64.deb 11-Jan-2016 16:55 140052 libghc-vector-space-dev_0.8.6-3build2_amd64.deb 20-Dec-2013 10:43 120000 libghc-vector-space-doc_0.10.2-2build1_all.deb 11-Jan-2016 16:55 50760 libghc-vector-space-doc_0.8.6-3build2_all.deb 20-Dec-2013 10:43 48350 libghc-vector-space-prof_0.10.2-2build1_amd64.deb 11-Jan-2016 16:55 128904 libghc-vector-space-prof_0.8.6-3build2_amd64.deb 20-Dec-2013 10:43 138950