Index of /debian-ports/pool/main/n/normaliz/

../
libnormaliz-dev-common_3.10.2+ds-2_all.deb         03-Apr-2024 12:56     64K
normaliz-doc_3.10.2+ds-2_all.deb                   03-Apr-2024 12:56      1M
normaliz_3.10.2+ds-2_all.deb                       03-Apr-2024 12:56    8564