../ geogram_1.8.5-1.debian.tar.xz 30-Sep-2023 23:57 7468 geogram_1.8.5-1.dsc 30-Sep-2023 23:57 2223 geogram_1.8.5-1_amd64.deb 30-Sep-2023 23:57 26176 geogram_1.8.5.orig.tar.xz 30-Sep-2023 23:57 1500244 libgeogram-dev_1.8.5-1_amd64.deb 30-Sep-2023 23:57 298508 libgeogram-doc_1.8.5-1_all.deb 30-Sep-2023 23:57 2091952 libgeogram1_1.8.5-1_amd64.deb 30-Sep-2023 23:57 1559808