Index of /pub/gwdg/ubuntu/22.04/pool/universe/g/gringo/

../
gringo_5.4.1-3ubuntu3_amd64.deb                    19-Jan-2022 12:13             2110376