../ gringo_5.4.1-3ubuntu3.debian.tar.xz 27-Aug-2023 03:43 25156 gringo_5.4.1-3ubuntu3.dsc 27-Aug-2023 03:43 2250 gringo_5.4.1-3ubuntu3_amd64.deb 27-Aug-2023 03:43 2110376 gringo_5.4.1.orig.tar.gz 27-Aug-2023 03:43 2822845 gringo_5.6.2-0ubuntu3.debian.tar.xz 01-Feb-2024 15:16 21788 gringo_5.6.2-0ubuntu3.dsc 01-Feb-2024 15:16 2153 gringo_5.6.2-0ubuntu3_amd64.deb 01-Feb-2024 15:16 2126632 gringo_5.6.2.orig.tar.gz 29-Jan-2024 14:06 5079018