../ libghc-vector-space-dev_0.13-2+b2_amd64.deb 03-Dec-2018 23:13 194468 libghc-vector-space-dev_0.13-2+b2_i386.deb 03-Dec-2018 21:42 195180 libghc-vector-space-doc_0.13-2_all.deb 01-Oct-2018 09:11 90972 libghc-vector-space-prof_0.13-2+b2_amd64.deb 03-Dec-2018 23:13 188144 libghc-vector-space-prof_0.13-2+b2_i386.deb 03-Dec-2018 21:42 185560