../ gri-el_2.12.27-1.1_all.deb 21-Dec-2022 20:24 65188 gri-html-doc_2.12.27-1.1_all.deb 21-Dec-2022 18:16 657656 gri-pdf-doc_2.12.27-1.1_all.deb 21-Dec-2022 18:56 1313120 gri_2.12.27-1.1.debian.tar.xz 21-Dec-2022 17:27 18372 gri_2.12.27-1.1.dsc 21-Dec-2022 17:27 1971 gri_2.12.27-1.1_amd64.deb 21-Dec-2022 17:02 640420 gri_2.12.27.orig.tar.gz 09-Aug-2022 20:51 1498452