Name Last modified Size
Parent Directory -
libgeogram1_1.8.5-1_amd64.deb 2023-10-01 08:57 1.5M
libgeogram-doc_1.8.5-1_all.deb 2023-10-01 08:57 2.0M
libgeogram-dev_1.8.5-1_amd64.deb 2023-10-01 08:57 292K
geogram_1.8.5.orig.tar.xz 2023-10-01 08:57 1.4M
geogram_1.8.5-1_amd64.deb 2023-10-01 08:57 26K
geogram_1.8.5-1.dsc 2023-10-01 08:57 2.2K
geogram_1.8.5-1.debian.tar.xz 2023-10-01 08:57 7.3K