../ libnormaliz0-dbg_3.1.1+ds-1_i386.deb 26-Apr-2023 16:16 4M libnormaliz0-dev-common_3.1.1+ds-1_all.deb 26-Apr-2023 16:16 19K libnormaliz0-dev_3.1.1+ds-1_i386.deb 26-Apr-2023 16:16 535K libnormaliz0_3.1.1+ds-1_i386.deb 26-Apr-2023 16:16 514K normaliz-bin_3.1.1+ds-1_i386.deb 26-Apr-2023 16:16 74K normaliz-doc_3.1.1+ds-1_all.deb 26-Apr-2023 16:16 548K normaliz_3.1.1+ds-1.debian.tar.xz 26-Apr-2023 16:16 5740 normaliz_3.1.1+ds-1.dsc 26-Apr-2023 16:16 2524 normaliz_3.1.1+ds-1_i386.deb 26-Apr-2023 16:16 3810 normaliz_3.1.1+ds.orig.tar.xz 26-Apr-2023 16:16 567K