../ geogram_1.8.5-1.debian.tar.xz 02-Nov-2023 03:56 7468 geogram_1.8.5-1.dsc 02-Nov-2023 03:56 2223 geogram_1.8.5-1_amd64.deb 02-Nov-2023 03:57 27K geogram_1.8.5.orig.tar.xz 02-Nov-2023 03:56 1M libgeogram-dev_1.8.5-1_amd64.deb 02-Nov-2023 03:57 297K libgeogram-doc_1.8.5-1_all.deb 02-Nov-2023 03:57 2M libgeogram1_1.8.5-1_amd64.deb 02-Nov-2023 03:57 1M