Index of /pub/linux/ubuntu/pool/universe/g/gringo
Name
Last modified
Size
Description
Parent Directory
-
gringo_5.4.1-3.1_amd64.deb
2022-12-27 13:54
2.0M
gringo_5.6.2-0ubuntu3_amd64.deb
2024-01-31 19:35
2.0M