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

../
libnormaliz-dev-common_3.11.1+ds-1_all.deb         02-Feb-2026 15:09               70260
normaliz-doc_3.11.1+ds-1_all.deb                   02-Feb-2026 15:09             1248852
normaliz_3.11.1+ds-1_all.deb                       02-Feb-2026 15:09                9536