Index of /mirror-backup20260214/pool/universe/g/gringo/

../
gringo_5.8.0-1.debian.tar.xz                       27-Oct-2025 23:54     24K
gringo_5.8.0-1.dsc                                 27-Oct-2025 23:54    2012
gringo_5.8.0-1_amd64.deb                           28-Oct-2025 00:12      2M
gringo_5.8.0-1_amd64v3.deb                         28-Oct-2025 00:25      2M