Index of /mirror/ubuntu/pool/universe/g/gringo

• Parent Directory
• gringo_5.4.1-3ubuntu3_amd64.deb
• gringo_5.6.2-0ubuntu3_amd64.deb