Index of /ubuntu/pool/main/g/gringo/

../
gringo_4.5.4-1_amd64.deb                           16-Mar-2016 11:19             1833466
gringo_5.2.2-5_amd64.deb                           02-Oct-2018 09:35             2184928