../ gringo_5.3.0-10.debian.tar.xz 11-Apr-2022 03:22 18496 gringo_5.3.0-10.dsc 11-Apr-2022 03:22 2100 gringo_5.3.0-10_amd64.deb 11-Apr-2022 03:36 2228044 gringo_5.3.0-10_i386.deb 11-Apr-2022 03:06 2361176 gringo_5.3.0.orig.tar.gz 11-Apr-2022 03:22 2684848