../ gringo-dbgsym_5.1.0-4deepin1_mips64el.deb 12-Feb-2017 19:03 32M gringo_5.1.0-4deepin1.debian.tar.xz 12-Feb-2017 19:03 13K gringo_5.1.0-4deepin1.dsc 12-Feb-2017 19:03 1168 gringo_5.1.0-4deepin1_mips64el.deb 12-Feb-2017 19:03 2M gringo_5.1.0.orig.tar.gz 12-Feb-2017 19:03 2M