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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
gringo_5.4.1-3ubuntu3_amd64.deb 21103762022-Jan-19 12:13
gringo_5.6.2-0ubuntu3_amd64.deb 21266322024-Jan-31 10:35