../ gri-el_2.12.26-1_all.deb 24-Aug-2017 16:14 64600 gri-html-doc_2.12.26-1_all.deb 24-Aug-2017 16:14 951224 gri-pdf-doc_2.12.26-1_all.deb 24-Aug-2017 16:14 1597250 gri_2.12.26-1+b1_amd64.deb 29-Oct-2017 19:28 620928 gri_2.12.26-1.debian.tar.xz 24-Aug-2017 14:54 21828 gri_2.12.26-1.dsc 24-Aug-2017 14:54 1962 gri_2.12.26.orig.tar.gz 24-Aug-2017 14:54 1499547