../ geogram_1.9.2-1.debian.tar.xz 14-Jan-2025 15:12 7460 geogram_1.9.2-1.dsc 14-Jan-2025 15:12 2250 geogram_1.9.2-1_amd64.deb 15-Jan-2025 02:16 26676 geogram_1.9.2.orig.tar.xz 14-Jan-2025 15:12 1506736 libgeogram-dev_1.9.2-1_amd64.deb 15-Jan-2025 02:16 312384 libgeogram-doc_1.9.2-1_all.deb 15-Jan-2025 02:16 2221344 libgeogram1_1.9.2-1_amd64.deb 15-Jan-2025 02:16 1775908