../ libghc-vector-space-dev_0.16-3_amd64.deb 02-Sep-2025 12:12 198712 libghc-vector-space-doc_0.16-3_all.deb 02-Sep-2025 12:12 89396 libghc-vector-space-prof_0.16-3_amd64.deb 02-Sep-2025 12:12 210250