../ gringo-dbgsym_5.2.2-2_ia64.deb 03-Feb-2018 18:03 20621564 gringo_5.2.2-2_ia64.buildinfo 03-Feb-2018 18:03 6228 gringo_5.2.2-2_ia64.deb 03-Feb-2018 18:03 2703788