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

../
gringo_5.3.0-10.debian.tar.xz                      02-Mar-2019 08:38               18496
gringo_5.3.0-10.dsc                                02-Mar-2019 08:38                2100
gringo_5.3.0-10_amd64.deb                          02-Mar-2019 09:43             2228044
gringo_5.3.0.orig.tar.gz                           11-Nov-2018 17:41             2684848