Index of /dev/pool/main/g/gri/


../
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.orig.tar.gz                            26-Jun-2020 14:23             1498452