../ gri-el_2.12.27-1.2_all.deb 11-Jun-2026 20:57 53724 gri-html-doc_2.12.27-1.2_all.deb 11-Jun-2026 20:57 944700 gri-pdf-doc_2.12.27-1.2_all.deb 11-Jun-2026 20:57 1387684 gri_2.12.27-1.2+b1_amd64.deb 11-Jun-2026 20:57 639236 gri_2.12.27-1.2+b1_riscv64.deb 11-Jun-2026 20:57 629496 gri_2.12.27-1.2.debian.tar.xz 11-Jun-2026 20:57 19188 gri_2.12.27-1.2.dsc 11-Jun-2026 20:57 1366 gri_2.12.27.orig.tar.gz 11-Jun-2026 20:57 1498452