Index of /ubuntu/pool/main/g/gri/

../
gri-el_2.12.23-9build2_all.deb                     28-May-2020 21:42               48336
gri-el_2.12.26-1build1_all.deb                     28-May-2020 18:08               48476
gri-html-doc_2.12.23-9build2_all.deb               28-May-2020 21:39             1023608
gri-html-doc_2.12.26-1build1_all.deb               28-May-2020 17:49              934184
gri-pdf-doc_2.12.23-9build2_all.deb                28-May-2020 21:39             1597940
gri-pdf-doc_2.12.26-1build1_all.deb                28-May-2020 17:36             1581472
gri_2.12.23-9build2_amd64.deb                      28-May-2020 21:59              568694
gri_2.12.26-1build1_amd64.deb                      28-May-2020 18:13              609744