../ gri-el_2.12.26-1build1_all.deb 27-Oct-2017 09:30 48476 gri-html-doc_2.12.26-1build1_all.deb 27-Oct-2017 09:30 934184 gri-pdf-doc_2.12.26-1build1_all.deb 27-Oct-2017 09:30 1581472 gri_2.12.26-1build1.debian.tar.xz 27-Oct-2017 09:30 21904 gri_2.12.26-1build1.dsc 27-Oct-2017 09:30 1954 gri_2.12.26-1build1_i386.deb 27-Oct-2017 10:37 624296 gri_2.12.26.orig.tar.gz 24-Aug-2017 23:13 1499547