Index of /apt_mirror/pool/universe/g/gringo/

../
gringo_5.4.1-3ubuntu3.debian.tar.xz                19-Jan-2022 20:09     25K
gringo_5.4.1-3ubuntu3.dsc                          19-Jan-2022 20:09    2250
gringo_5.4.1-3ubuntu3_amd64.deb                    19-Jan-2022 20:13      2M
gringo_5.4.1.orig.tar.gz                           01-Jan-2021 05:34      3M