../ gri-el_2.12.23-10_all.deb 09-Oct-2016 00:02 64470 gri-html-doc_2.12.23-10_all.deb 09-Oct-2016 00:02 1034210 gri-pdf-doc_2.12.23-10_all.deb 09-Oct-2016 00:02 1616282 gri_2.12.23-10.debian.tar.xz 08-Oct-2016 23:17 34052 gri_2.12.23-10.dsc 08-Oct-2016 23:17 1952 gri_2.12.23-10_amd64.deb 09-Oct-2016 00:12 596500 gri_2.12.23-10_i386.deb 09-Oct-2016 00:02 595282 gri_2.12.23.orig.tar.gz 13-Jul-2011 14:48 1668587