../ libghc-vector-space-dev_0.10.2-2build1_amd64.deb 16-Mar-2016 10:42 140052 libghc-vector-space-doc_0.10.2-2build1_all.deb 16-Mar-2016 09:59 50760 libghc-vector-space-prof_0.10.2-2build1_amd64.deb 16-Mar-2016 10:56 128904