../ libnormaliz-dev-common_3.8.9+ds-1_all.deb 19-Jun-2025 07:01 43K libnormaliz-dev_3.8.9+ds-1_amd64.deb 19-Jun-2025 07:01 58M libnormaliz3_3.8.9+ds-1_amd64.deb 19-Jun-2025 07:01 996K normaliz-bin_3.8.9+ds-1_amd64.deb 19-Jun-2025 07:01 23K normaliz-doc_3.8.9+ds-1_all.deb 19-Jun-2025 07:01 820K normaliz_3.8.9+ds-1_all.deb 19-Jun-2025 07:01 2090