../ gringo_5.3.0-10.debian.tar.xz 29-Mar-2019 07:55 18496 gringo_5.3.0-10.dsc 29-Mar-2019 07:55 2100 gringo_5.3.0.orig.tar.gz 29-Mar-2019 07:56 2684848