../ gri-el_2.12.23-2_all.deb 25-Sep-2023 15:12 55K gri-html-doc_2.12.23-2_all.deb 25-Sep-2023 15:12 1M gri-pdf-doc_2.12.23-2_all.deb 25-Sep-2023 15:12 2M gri_2.12.23-2_amd64.deb 25-Sep-2023 15:12 630K gri_2.12.23-2_i386.deb 25-Sep-2023 15:12 613K