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

../
gringo_5.4.1-3.1+b1_amd64.deb                      31-Oct-2025 09:59             1887596
gringo_5.4.1-3.1.debian.tar.xz                     31-Oct-2025 09:59               21592
gringo_5.4.1-3.1.dsc                               31-Oct-2025 09:59                2131
gringo_5.4.1-3.debian.tar.xz                       31-Oct-2025 09:59               23188
gringo_5.4.1-3.dsc                                 31-Oct-2025 09:59                2128
gringo_5.4.1-3_amd64.deb                           31-Oct-2025 09:59             1842476
gringo_5.4.1.orig.tar.gz                           31-Oct-2025 09:59             2822845
gringo_5.6.2-2.debian.tar.xz                       31-Oct-2025 09:59               24500
gringo_5.6.2-2.dsc                                 31-Oct-2025 09:59                2012
gringo_5.6.2-2_amd64.deb                           31-Oct-2025 09:59             1883968
gringo_5.6.2.orig.tar.gz                           31-Oct-2025 09:59             5079018