../ gri-el_2.12.27-1.1_all.deb 20-Apr-2023 14:16 65188 gri-html-doc_2.12.27-1.1_all.deb 20-Apr-2023 14:16 657656 gri-pdf-doc_2.12.27-1.1_all.deb 20-Apr-2023 14:16 1313120 gri_2.12.27-1.1.debian.tar.xz 20-Apr-2023 14:16 18372 gri_2.12.27-1.1.dsc 20-Apr-2023 14:16 1971 gri_2.12.27-1.1_amd64.deb 20-Apr-2023 14:16 640420 gri_2.12.27-1.1_i386.deb 20-Apr-2023 14:16 651248 gri_2.12.27.orig.tar.gz 05-Oct-2021 06:56 1498452