Index of /mirror/deb.debian.org/debian/pool/main/n/normaliz/

../
libnormaliz-dev-common_3.9.4+ds-2_all.deb          20-Nov-2022 16:51     59K
libnormaliz-dev_3.9.4+ds-2_amd64.deb               20-Nov-2022 16:56      2M
libnormaliz3_3.9.4+ds-2_amd64.deb                  20-Nov-2022 16:56      1M
normaliz-bin_3.9.4+ds-2_amd64.deb                  20-Nov-2022 16:56     39K
normaliz-doc_3.9.4+ds-2_all.deb                    20-Nov-2022 16:51    931K
normaliz_3.9.4+ds-2_all.deb                        20-Nov-2022 16:51    7444