../ libghc-vector-space-dev_0.10.2-2build1_amd64.deb 14-May-2025 13:39 140052 libghc-vector-space-doc_0.10.2-2build1_all.deb 14-May-2025 17:26 50760 libghc-vector-space-prof_0.10.2-2build1_amd64.deb 14-May-2025 10:41 128904