../ libtet1.5-dev_1.5.0-5build1_amd64.deb 26-Aug-2023 01:47 28768 libtet1.5_1.5.0-5build1_amd64.deb 26-Aug-2023 01:47 237032 tetgen_1.5.0-5build1.debian.tar.xz 26-Aug-2023 01:47 9188 tetgen_1.5.0-5build1.dsc 26-Aug-2023 01:47 2117 tetgen_1.5.0-5build1_amd64.deb 26-Aug-2023 01:47 8064 tetgen_1.5.0.orig.tar.gz 26-Aug-2023 01:47 272513