../ gringo_5.6.2-0ubuntu3.debian.tar.xz 04-Mar-2026 09:53 21K gringo_5.6.2-0ubuntu3.dsc 04-Mar-2026 09:53 2153 gringo_5.6.2-0ubuntu3_amd64.deb 04-Mar-2026 09:53 2M gringo_5.6.2.orig.tar.gz 04-Mar-2026 09:53 5M gringo_5.8.0-2.debian.tar.xz 22-Jul-2026 19:16 25K gringo_5.8.0-2.dsc 22-Jul-2026 19:16 2047 gringo_5.8.0-2_amd64.deb 22-Jul-2026 19:16 2M gringo_5.8.0.orig.tar.gz 22-Jul-2026 19:16 4M