../ gri-el_2.12.23-8_all.deb 08-Jul-2014 02:13 64288 gri-html-doc_2.12.23-8_all.deb 08-Jul-2014 02:13 1035410 gri-pdf-doc_2.12.23-8_all.deb 08-Jul-2014 02:13 1641170 gri_2.12.23-8_armhf.deb 13-Jul-2014 11:10 529428