../ 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_armhf.deb 13-Jul-2014 11:10 529428 gri_2.12.23.orig.tar.gz 19-Apr-2012 01:03 1668587