Index of /debian/pool/main/g/gringo/

../
gringo_4.4.0-1.debian.tar.xz                       18-Aug-2014 12:52                8304
gringo_4.4.0-1.dsc                                 18-Aug-2014 12:52                2053
gringo_4.4.0-1_amd64.deb                           18-Aug-2014 12:52             1612758
gringo_4.4.0.orig.tar.gz                           18-Aug-2014 12:52             1482711
gringo_5.1.0-4.debian.tar.xz                       20-Dec-2016 04:01               13544
gringo_5.1.0-4.dsc                                 20-Dec-2016 04:01                2023
gringo_5.1.0-4_amd64.deb                           20-Dec-2016 04:01             2357330
gringo_5.1.0.orig.tar.gz                           11-Dec-2016 17:52             2232639
gringo_5.3.0-10.debian.tar.xz                      02-Mar-2019 05:38               18496
gringo_5.3.0-10.dsc                                02-Mar-2019 05:38                2100
gringo_5.3.0-10_amd64.deb                          02-Mar-2019 06:43             2228044
gringo_5.3.0.orig.tar.gz                           11-Nov-2018 14:41             2684848