Index of /18092020/pool/main/g/gringo/

../
gringo_5.4.0-2_amd64.deb                           29-Oct-2020 14:05             1875412
gringo_5.4.0-2_arm64.deb                           29-Oct-2020 14:05             1736444