../ libnormaliz-dev-common_3.8.9+ds-1_all.deb 22-Feb-2022 23:45 43K libnormaliz-dev_3.8.9+ds-1_amd64.deb 22-Feb-2022 23:45 58M libnormaliz3_3.8.9+ds-1_amd64.deb 22-Feb-2022 23:45 996K normaliz-bin_3.8.9+ds-1_amd64.deb 22-Feb-2022 23:45 23K normaliz-doc_3.8.9+ds-1_all.deb 22-Feb-2022 23:45 820K normaliz_3.8.9+ds-1_all.deb 22-Feb-2022 23:45 2090