../ libghc-vector-space-dev_0.10.2-2build1_amd64.deb 11-Jan-2016 09:55 140052 libghc-vector-space-dev_0.10.2-2build1_i386.deb 11-Jan-2016 09:56 140498 libghc-vector-space-doc_0.10.2-2build1_all.deb 11-Jan-2016 09:55 50760 libghc-vector-space-prof_0.10.2-2build1_amd64.deb 11-Jan-2016 09:55 128904 libghc-vector-space-prof_0.10.2-2build1_i386.deb 11-Jan-2016 09:56 128502