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

../
gringo_5.4.1-3.1+b1_amd64.deb                      03-Jan-2023 07:45      2M
gringo_5.4.1-3_amd64.deb                           28-Dec-2020 14:09      2M
gringo_5.4.1.orig.tar.gz                           27-Dec-2020 15:25      3M
gringo_5.6.2-2_amd64.deb                           25-Jun-2024 12:42      2M
gringo_5.6.2-2_riscv64.deb                         25-Jun-2024 15:41      2M
gringo_5.6.2.orig.tar.gz                           12-Feb-2024 09:07      5M
gringo_5.8.0-2+b1_loong64.deb                      23-Apr-2026 14:38      2M
gringo_5.8.0-2_amd64.deb                           27-Dec-2025 02:51      2M
gringo_5.8.0-2_riscv64.deb                         27-Dec-2025 05:11      2M
gringo_5.8.0.orig.tar.gz                           12-Oct-2025 09:46      4M