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

../
libnormaliz-dev-common_3.10.4+ds-1_all.deb                                                                               07-Oct-2024 19:07     67K
normaliz-doc_3.10.4+ds-1_all.deb                                                                                         07-Oct-2024 19:07      1M
normaliz_3.10.4+ds-1_all.deb                                                                                             07-Oct-2024 19:07    8928