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

../
gringo_4.5.4-1_amd64.deb                           14-Jan-2021 22:35             1833466
gringo_5.2.2-5_amd64.deb                           14-Jan-2021 23:07             2184928