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

../
gringo_5.6.2-2.debian.tar.xz                       25-Jun-2024 12:02               24500
gringo_5.6.2-2.dsc                                 25-Jun-2024 12:02                2012
gringo_5.6.2-2_amd64.deb                           25-Jun-2024 12:42             1883968
gringo_5.6.2-2_i386.deb                            25-Jun-2024 12:42             1983116
gringo_5.6.2.orig.tar.gz                           12-Feb-2024 09:07             5079018
gringo_5.8.0-2.debian.tar.xz                       27-Dec-2025 02:15               25400
gringo_5.8.0-2.dsc                                 27-Dec-2025 02:15                2047
gringo_5.8.0-2_amd64.deb                           27-Dec-2025 02:51             2020020
gringo_5.8.0-2_i386.deb                            27-Dec-2025 02:51             2083856
gringo_5.8.0.orig.tar.gz                           12-Oct-2025 09:46             4496694