../ 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_armhf.deb 01-Nov-2017 10:08 539444 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