../ 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