Index of /argostmp/pool/main/n/normaliz/

../
normaliz_3.10.4+ds-1.debian.tar.xz                 07-Oct-2024 18:31                8776
normaliz_3.10.4+ds-1.dsc                           07-Oct-2024 18:31                2612
normaliz_3.10.4+ds.orig.tar.xz                     07-Oct-2024 18:31             1743452