../ gringo_5.4.1-3ubuntu3.debian.tar.xz 13-Apr-2022 17:03 25156 gringo_5.4.1-3ubuntu3.dsc 13-Apr-2022 17:03 2250 gringo_5.4.1-3ubuntu3_amd64.deb 13-Apr-2022 17:03 2110376 gringo_5.4.1.orig.tar.gz 13-Apr-2022 17:03 2822845 gringo_5.6.2-0ubuntu3.debian.tar.xz 08-Mar-2024 10:30 21788 gringo_5.6.2-0ubuntu3.dsc 08-Mar-2024 10:30 2153 gringo_5.6.2-0ubuntu3_amd64.deb 08-Mar-2024 10:30 2126632 gringo_5.6.2.orig.tar.gz 08-Mar-2024 10:30 5079018