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

../
libnormaliz-dev-common_3.10.5+ds-3_all.deb         18-Aug-2025 00:29               68768
normaliz-doc_3.10.5+ds-3_all.deb                   18-Aug-2025 00:29             1231736
normaliz_3.10.5+ds-3_all.deb                       18-Aug-2025 00:29                9212