../ gri-el_2.12.23-10_all.deb 27-Nov-2019 12:51 64470 gri-html-doc_2.12.23-10_all.deb 27-Nov-2019 12:51 1034210 gri-pdf-doc_2.12.23-10_all.deb 27-Nov-2019 12:51 1616282 gri_2.12.23-10_amd64.deb 27-Nov-2019 12:51 596500