../ gri-el_2.12.23-8_all.deb 10-Mar-2016 10:17 63K gri-html-doc_2.12.23-8_all.deb 10-Mar-2016 10:29 1011K gri-pdf-doc_2.12.23-8_all.deb 10-Mar-2016 09:56 2M gri_2.12.23-8.debian.tar.xz 10-Mar-2016 10:12 33K gri_2.12.23-8.dsc 10-Mar-2016 10:12 1946 gri_2.12.23-8_amd64.deb 10-Mar-2016 10:34 565K gri_2.12.23-8_i386.deb 10-Mar-2016 10:03 564K gri_2.12.23.orig.tar.gz 10-Mar-2016 10:12 2M