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