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