../ libghc-vector-space-dev_0.15-1build1_amd64.deb 01-Oct-2021 16:33 190048 libghc-vector-space-doc_0.15-1build1_all.deb 01-Oct-2021 16:46 79916 libghc-vector-space-prof_0.15-1build1_amd64.deb 01-Oct-2021 16:05 186004