../ gri-el_2.12.23-8_all.deb 08-Jul-2014 02:13 64288 gri-html-doc_2.12.23-8_all.deb 08-Jul-2014 02:13 1035410 gri-pdf-doc_2.12.23-8_all.deb 08-Jul-2014 02:13 1641170 gri_2.12.23-8.debian.tar.xz 08-Jul-2014 02:13 33728 gri_2.12.23-8.dsc 08-Jul-2014 02:13 1946 gri_2.12.23-8_amd64.deb 08-Jul-2014 03:58 578212 gri_2.12.23-8_i386.deb 08-Jul-2014 02:13 577424 gri_2.12.23.orig.tar.gz 13-Jul-2011 14:48 1668587