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

../
gringo_5.3.0-10.debian.tar.xz                      06-Nov-2024 20:30     18K
gringo_5.3.0-10.dsc                                06-Nov-2024 20:30    2100
gringo_5.3.0-10_amd64.deb                          06-Nov-2024 20:30      2M
gringo_5.3.0-10_i386.deb                           06-Nov-2024 20:30      2M
gringo_5.3.0.orig.tar.gz                           06-Nov-2024 20:30      3M
gringo_5.4.1-3.1+b1_amd64.deb                      06-Nov-2024 20:30      2M
gringo_5.4.1-3.1+b1_i386.deb                       06-Nov-2024 20:30      2M
gringo_5.4.1-3.1.debian.tar.xz                     06-Nov-2024 20:30     21K
gringo_5.4.1-3.1.dsc                               06-Nov-2024 20:30    2131
gringo_5.4.1-3.debian.tar.xz                       06-Nov-2024 20:30     23K
gringo_5.4.1-3.dsc                                 06-Nov-2024 20:30    2128
gringo_5.4.1-3_amd64.deb                           06-Nov-2024 20:30      2M
gringo_5.4.1-3_i386.deb                            06-Nov-2024 20:30      2M
gringo_5.4.1.orig.tar.gz                           06-Nov-2024 20:30      3M