Index of /mirror/debian/pool/main/g/gringo/

../
gringo_5.4.1-3.1+b1_arm64.deb                      02-Jan-2023 23:12             1696764
gringo_5.4.1-3.1+b1_armel.deb                      03-Jan-2023 00:29             1544236
gringo_5.4.1-3.1+b1_armhf.deb                      03-Jan-2023 01:11             1609896