../ gri-el_2.12.23-10_all.deb 24-Apr-2019 17:23 63K gri-html-doc_2.12.23-10_all.deb 24-Apr-2019 17:23 1010K gri-pdf-doc_2.12.23-10_all.deb 24-Apr-2019 17:23 2M gri_2.12.23-10.debian.tar.xz 24-Apr-2019 17:23 33K gri_2.12.23-10.dsc 24-Apr-2019 17:23 1952 gri_2.12.23-10_mips64el.deb 24-Apr-2019 17:23 572K gri_2.12.23.orig.tar.gz 24-Apr-2019 17:23 2M