../ gringo_5.6.2-1.debian.tar.xz 12-Feb-2024 09:07 24K gringo_5.6.2-1.dsc 12-Feb-2024 09:07 2117 gringo_5.6.2-1_amd64.deb 12-Feb-2024 09:42 2M gringo_5.6.2-1_arm64.deb 12-Feb-2024 09:42 2M gringo_5.6.2-1_armel.deb 12-Feb-2024 09:42 2M gringo_5.6.2-1_armhf.deb 12-Feb-2024 09:42 2M gringo_5.6.2-1_i386.deb 12-Feb-2024 09:37 2M gringo_5.6.2.orig.tar.gz 12-Feb-2024 09:07 5M