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

../
libnormaliz-dev-common_3.10.3+ds-1_all.deb         30-May-2024 11:19               67348
normaliz-doc_3.10.3+ds-1_all.deb                   30-May-2024 11:19             1242236
normaliz_3.10.3+ds-1_all.deb                       30-May-2024 11:19                8764