Index of /loongson64/pool/main/g/gringo/

../
gringo_5.1.0-4.debian.tar.xz                       24-Apr-2019 17:24     13K
gringo_5.1.0-4.dsc                                 24-Apr-2019 17:24    2023
gringo_5.1.0-4_mips64el.deb                        24-Apr-2019 17:24      2M
gringo_5.1.0.orig.tar.gz                           24-Apr-2019 17:24      2M