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

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