../ gri-el_2.12.27-1_all.deb 15-Jan-2021 14:15 65144 gri-html-doc_2.12.27-1_all.deb 15-Jan-2021 15:32 954312 gri-pdf-doc_2.12.27-1_all.deb 15-Jan-2021 16:23 1621276 gri_2.12.27-1_amd64.deb 15-Jan-2021 16:32 641676