Index of /mirror/snapshot.debian.org/archive/debian/20210813T203009Z/pool/main/g/gringo/

../
gringo_5.4.1-3_amd64.deb                           24-Mar-2023 19:58             1842476
gringo_5.4.1-3_armhf.deb                           20-Mar-2023 23:40             1588380