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