../ gri-el_2.12.23-2.2_all.deb 26-Dec-2014 21:47 55964 gri-html-doc_2.12.23-2.2_all.deb 26-Dec-2014 21:47 1151876 gri-pdf-doc_2.12.23-2.2_all.deb 26-Dec-2014 21:47 1625266 gri_2.12.23-2.2.debian.tar.gz 26-Dec-2014 21:47 22756 gri_2.12.23-2.2.dsc 26-Dec-2014 21:47 1301 gri_2.12.23-2.2_i386.deb 26-Dec-2014 21:47 626764 gri_2.12.23.orig.tar.gz 26-Dec-2014 21:47 1668587