../ libghc-vector-space-dev_0.16-1+b1_amd64.deb 14-Aug-2020 02:27 192956 libghc-vector-space-doc_0.16-1_all.deb 01-Jun-2020 21:11 102468 libghc-vector-space-prof_0.16-1+b1_amd64.deb 14-Aug-2020 02:27 192256