../ gri-el_2.12.26-1_all.deb 22-Jul-2020 14:25 64600 gri-html-doc_2.12.26-1_all.deb 22-Jul-2020 16:17 951224 gri-pdf-doc_2.12.26-1_all.deb 22-Jul-2020 16:48 1597250 gri_2.12.26-1+b1_armhf.deb 22-Jul-2020 16:00 539444