../ libghc-vector-space-dev_0.10.4-3_amd64.deb 27-Nov-2019 14:46 160940 libghc-vector-space-doc_0.10.4-3_all.deb 27-Nov-2019 14:46 70318 libghc-vector-space-prof_0.10.4-3_amd64.deb 27-Nov-2019 14:46 157952