../ libnormaliz-dev-common_3.10.2+ds-1build1_all.deb 23-Dec-2024 16:13 62686 libnormaliz-dev_3.10.2+ds-1build1_amd64.deb 23-Dec-2024 16:02 2234078 libnormaliz3_3.10.2+ds-1build1_amd64.deb 23-Dec-2024 16:56 1905964 normaliz-bin_3.10.2+ds-1build1_amd64.deb 23-Dec-2024 17:06 41022 normaliz-doc_3.10.2+ds-1build1_all.deb 23-Dec-2024 12:39 1117862 normaliz_3.10.2+ds-1build1_all.deb 23-Dec-2024 15:35 2118