../ gringo_5.3.0-10.debian.tar.xz 27-Mar-2020 22:07 18K gringo_5.3.0-10.dsc 27-Mar-2020 22:07 2100 gringo_5.3.0-10_amd64.deb 27-Mar-2020 22:07 2M gringo_5.3.0-10_arm64.deb 27-Mar-2020 22:07 2M gringo_5.3.0-10_i386.deb 27-Mar-2020 22:07 2M gringo_5.3.0-10_mips64el.deb 27-Mar-2020 22:07 2M gringo_5.3.0.orig.tar.gz 27-Mar-2020 22:07 3M