Index of /pub/gwdg/ubuntu/22.04/pool/universe/n/normaliz/

../
libnormaliz-dev-common_3.8.9+ds-1_all.deb          22-Feb-2022 23:45               44422
libnormaliz-dev_3.8.9+ds-1_amd64.deb               22-Feb-2022 23:45            60796062
libnormaliz3_3.8.9+ds-1_amd64.deb                  22-Feb-2022 23:45             1019492
normaliz-bin_3.8.9+ds-1_amd64.deb                  22-Feb-2022 23:45               24052
normaliz-doc_3.8.9+ds-1_all.deb                    22-Feb-2022 23:45              839478
normaliz_3.8.9+ds-1_all.deb                        22-Feb-2022 23:45                2090