../ gringo-dbgsym_5.6.2-2_ppc64.deb 26-Jun-2024 03:03 29M gringo_5.6.2-2_ppc64.buildinfo 26-Jun-2024 03:03 7371 gringo_5.6.2-2_ppc64.deb 26-Jun-2024 03:03 2M