../ libnormaliz-dev-common_3.8.9+ds-1_all.deb 05-Sep-2024 21:29 44422 libnormaliz-dev_3.8.9+ds-1_amd64.deb 05-Sep-2024 21:18 60796062 libnormaliz3_3.8.9+ds-1_amd64.deb 05-Sep-2024 21:38 1019492 normaliz-bin_3.8.9+ds-1_amd64.deb 05-Sep-2024 21:26 24052 normaliz-doc_3.8.9+ds-1_all.deb 05-Sep-2024 21:18 839478 normaliz_3.8.9+ds-1_all.deb 05-Sep-2024 21:23 2090