../ libnormaliz-dev-common_3.8.9+ds-0.1_all.deb 22-May-2023 13:29 47K libnormaliz-dev_3.8.9+ds-0.1_amd64.deb 22-May-2023 13:29 1M libnormaliz3_3.8.9+ds-0.1_amd64.deb 22-May-2023 13:29 1M normaliz-bin_3.8.9+ds-0.1_amd64.deb 22-May-2023 14:35 39K normaliz-doc_3.8.9+ds-0.1_all.deb 22-May-2023 14:35 816K normaliz_3.8.9+ds-0.1_all.deb 22-May-2023 14:35 8056