../ geogram_1.8.5-1.debian.tar.xz 08-Mar-2024 09:40 7468 geogram_1.8.5-1.dsc 08-Mar-2024 09:40 2223 geogram_1.8.5-1_amd64.deb 08-Mar-2024 09:40 27782 geogram_1.8.5.orig.tar.xz 08-Mar-2024 09:40 1500244 libgeogram-dev_1.8.5-1_amd64.deb 08-Mar-2024 09:40 303982 libgeogram-doc_1.8.5-1_all.deb 08-Mar-2024 09:40 1983376 libgeogram1_1.8.5-1_amd64.deb 08-Mar-2024 09:40 1356174