../ gri-el_2.12.27-1_all.deb 29-Oct-2020 14:05 65144 gri-html-doc_2.12.27-1_all.deb 29-Oct-2020 14:05 954312 gri-pdf-doc_2.12.27-1_all.deb 29-Oct-2020 14:05 1621276 gri_2.12.27-1_amd64.deb 29-Oct-2020 14:05 641676 gri_2.12.27-1_arm64.deb 29-Oct-2020 14:05 594256