../ gri-el_2.12.27-1.1~deb11u1_all.deb 28-Aug-2022 15:28 65236 gri-html-doc_2.12.27-1.1~deb11u1_all.deb 28-Aug-2022 15:28 657756 gri-pdf-doc_2.12.27-1.1~deb11u1_all.deb 28-Aug-2022 15:28 1313076 gri_2.12.27-1.1~deb11u1.debian.tar.xz 27-Aug-2022 12:31 18432 gri_2.12.27-1.1~deb11u1.dsc 27-Aug-2022 12:31 2003 gri_2.12.27-1.1~deb11u1_amd64.deb 28-Aug-2022 15:43 642992 gri_2.12.27.orig.tar.gz 26-Jun-2020 14:23 1498452