../ libghc-vector-space-points-dev_0.2.1.2-7_amd64.deb 25-Aug-2019 17:48 26220 libghc-vector-space-points-doc_0.2.1.2-7_all.deb 25-Aug-2019 17:48 29616 libghc-vector-space-points-prof_0.2.1.2-7_amd64..> 25-Aug-2019 17:48 22992