../ gri-el_2.12.27-1.1_all.deb 26-Aug-2022 07:39 65188 gri-html-doc_2.12.27-1.1_all.deb 26-Aug-2022 07:39 657656 gri-pdf-doc_2.12.27-1.1_all.deb 26-Aug-2022 07:39 1313120 gri_2.12.27-1.1.debian.tar.xz 25-Aug-2022 10:47 18372 gri_2.12.27-1.1.dsc 25-Aug-2022 10:47 1971 gri_2.12.27-1.1_amd64.deb 26-Aug-2022 07:44 640420 gri_2.12.27-1.1_i386.deb 26-Aug-2022 07:39 651248 gri_2.12.27.orig.tar.gz 26-Jun-2020 08:23 1498452