../ libnormaliz0-dbg_3.1.1+ds-1_amd64.deb 30-Dec-2022 20:57 4M libnormaliz0-dev-common_3.1.1+ds-1_all.deb 30-Dec-2022 20:57 19K libnormaliz0-dev_3.1.1+ds-1_amd64.deb 30-Dec-2022 20:57 455K libnormaliz0_3.1.1+ds-1_amd64.deb 30-Dec-2022 20:57 441K normaliz-bin_3.1.1+ds-1_amd64.deb 30-Dec-2022 20:57 70K normaliz-doc_3.1.1+ds-1_all.deb 30-Dec-2022 20:57 548K normaliz_3.1.1+ds-1_amd64.deb 30-Dec-2022 20:57 3812