../ gri-el_2.12.23-10_all.deb 08-Oct-2016 18:02 64470 gri-html-doc_2.12.23-10_all.deb 08-Oct-2016 18:02 1034210 gri-pdf-doc_2.12.23-10_all.deb 08-Oct-2016 18:02 1616282 gri_2.12.23-10_armhf.deb 14-Oct-2016 10:08 542484