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