../ gri-el_2.12.23-8_all.deb 27-Sep-2017 18:16 63K gri-html-doc_2.12.23-8_all.deb 27-Sep-2017 16:32 1011K gri-pdf-doc_2.12.23-8_all.deb 27-Sep-2017 18:32 2M gri_2.12.23-8.debian.tar.xz 27-Sep-2017 15:03 33K gri_2.12.23-8.dsc 27-Sep-2017 15:03 1946 gri_2.12.23-8_amd64.deb 27-Sep-2017 18:00 565K gri_2.12.23-8_i386.deb 27-Sep-2017 18:55 564K gri_2.12.23.orig.tar.gz 16-Feb-2017 15:51 2M