../ gringo_5.4.1-3ubuntu3.debian.tar.xz 30-Aug-2023 23:28 25156 gringo_5.4.1-3ubuntu3.dsc 30-Aug-2023 23:28 2250 gringo_5.4.1-3ubuntu3_arm64.deb 30-Aug-2023 23:28 2002490 gringo_5.4.1.orig.tar.gz 30-Aug-2023 23:28 2822845 gringo_5.6.2-0ubuntu3.debian.tar.xz 02-Feb-2024 00:14 21788 gringo_5.6.2-0ubuntu3.dsc 02-Feb-2024 00:14 2153 gringo_5.6.2-0ubuntu3_arm64.deb 02-Feb-2024 00:14 2122500 gringo_5.6.2.orig.tar.gz 30-Jan-2024 00:06 5079018