../ gringo-dbgsym_5.3.0-10bem2_amd64.deb 24-Jul-2019 01:12 31M gringo-dbgsym_5.3.0-10bem2_arm64.deb 24-Jul-2019 10:49 30M gringo_5.3.0-10.debian.tar.xz 29-Mar-2019 07:55 18K gringo_5.3.0-10.dsc 29-Mar-2019 07:55 2100 gringo_5.3.0-10bem2_amd64.deb 24-Jul-2019 01:12 2M gringo_5.3.0-10bem2_arm64.deb 24-Jul-2019 10:49 2M gringo_5.3.0.orig.tar.gz 29-Mar-2019 07:56 3M