Index of /vimeros/redleafos-base/pool/main/n/normaliz/

../
libnormaliz-dev-common_3.10.4+ds-1_all.deb         07-Oct-2024 19:07     67K
libnormaliz-dev_3.10.4+ds-1_riscv64.deb            10-Oct-2024 05:15     12M
libnormaliz3_3.10.4+ds-1_riscv64.deb               10-Oct-2024 05:15      2M
normaliz-bin_3.10.4+ds-1_riscv64.deb               10-Oct-2024 05:15     46K
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