../ gringo-dbgsym_5.6.2-1+b1_ppc64.deb 18-Mar-2024 21:03 30M gringo_5.6.2-1+b1_ppc64.buildinfo 18-Mar-2024 21:03 8267 gringo_5.6.2-1+b1_ppc64.deb 18-Mar-2024 21:03 2M