Index of /pub/gwdg/ubuntu/22.04/pool/universe/t/tetgen/

../
libtet1.5-dev_1.5.0-5build1_amd64.deb              23-Mar-2020 08:29               28768
libtet1.5_1.5.0-5build1_amd64.deb                  23-Mar-2020 08:29              237032
tetgen_1.5.0-5build1_amd64.deb                     23-Mar-2020 08:29                8064