Index of /mirror/deb.debian.org/debian/pool/main/g/gringo/

../
gringo_5.3.0-10_amd64.deb                          10-Oct-2023 04:26             2228044
gringo_5.3.0-10_armhf.deb                          10-Oct-2023 04:26             1991664
gringo_5.4.1-3.1+b1_amd64.deb                      10-Oct-2023 12:52             1887596
gringo_5.4.1-3.1+b1_armhf.deb                      10-Oct-2023 12:52             1609896
gringo_5.4.1-3_amd64.deb                           10-Oct-2023 12:52             1842476
gringo_5.4.1-3_armhf.deb                           10-Oct-2023 12:52             1588380