../ libnormaliz-dev-common_3.8.9+ds-0.1_all.deb 01-Mar-2022 11:23 48304 libnormaliz-dev_3.8.9+ds-0.1_amd64.deb 01-Mar-2022 11:27 1398464 libnormaliz3_3.8.9+ds-0.1_amd64.deb 01-Mar-2022 11:29 1288924 normaliz-bin_3.8.9+ds-0.1_amd64.deb 01-Mar-2022 11:30 40220 normaliz-doc_3.8.9+ds-0.1_all.deb 01-Mar-2022 11:25 836044 normaliz_3.8.9+ds-0.1_all.deb 01-Mar-2022 11:36 8056