Index of /debian/pool/contrib/g/gringo/

../
gringo_5.1.0-4_amd64.deb                           08-Jan-2023 17:36             2357330
gringo_5.1.0-4_i386.deb                            08-Jan-2023 18:02             2487004
gringo_5.3.0-10_amd64.deb                          08-Jan-2023 13:49             2228044
gringo_5.3.0-10_i386.deb                           08-Jan-2023 13:38             2361176