../ gri-el_2.12.27-1_all.deb 26-Jun-2020 14:59 65144 gri-html-doc_2.12.27-1_all.deb 26-Jun-2020 14:59 954312 gri-pdf-doc_2.12.27-1_all.deb 26-Jun-2020 14:59 1621276 gri_2.12.27-1.debian.tar.xz 26-Jun-2020 14:23 17972 gri_2.12.27-1.dsc 26-Jun-2020 14:23 1984 gri_2.12.27-1_amd64.deb 26-Jun-2020 15:14 641676 gri_2.12.27-1_i386.deb 26-Jun-2020 14:59 651976 gri_2.12.27.orig.tar.gz 26-Jun-2020 14:23 1498452