Index of /mirror/archive.ubuntu.com/ubuntu/pool/universe/g/gringo/

../
gringo_5.6.2-0ubuntu3.debian.tar.xz                31-Jan-2024 10:35               21788
gringo_5.6.2-0ubuntu3.dsc                          31-Jan-2024 10:35                2153
gringo_5.6.2-0ubuntu3_amd64.deb                    31-Jan-2024 10:35             2126632
gringo_5.6.2.orig.tar.gz                           26-Jan-2024 10:09             5079018