Index of /pool/main/g/gri
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[ ]](/icons/unknown.gif)
gri-el_2.12.27-1.2_all.deb 2024-04-12 00:07 52K
gri-html-doc_2.12.27-1.2_all.deb 2024-04-12 00:07 923K
gri-pdf-doc_2.12.27-1.2_all.deb 2024-04-12 00:07 1.3M
gri_2.12.27-1.2+b1_amd64.deb 2025-02-16 11:23 624K
gri_2.12.27-1.2+b1_arm64.deb 2025-02-16 11:18 572K
gri_2.12.27-1.2.debian.tar.xz 2024-04-11 23:33 19K
![[TXT]](/icons/text.gif)
gri_2.12.27-1.2.dsc 2024-04-11 23:33 1.3K
gri_2.12.27-1.2_amd64.deb 2024-04-12 00:27 613K
![[ ]](/icons/compressed.gif)
gri_2.12.27.orig.tar.gz 2020-06-26 16:23 1.4M