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

../
gringo_4.5.4-1_amd64.deb                           28-May-2020 21:59             1833466
gringo_5.2.2-5_amd64.deb                           28-May-2020 18:01             2184928