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

../
gringo_5.4.1-3.1+b1_amd64.deb                      20-Apr-2023 14:16             1887596
gringo_5.4.1-3.1+b1_i386.deb                       20-Apr-2023 14:16             1974292
gringo_5.4.1-3.1.debian.tar.xz                     20-Apr-2023 14:16               21592
gringo_5.4.1-3.1.dsc                               20-Apr-2023 14:16                2131
gringo_5.4.1.orig.tar.gz                           05-Oct-2021 06:57             2822845