../ gringo-dbgsym_5.6.2-1+b1_ppc64.deb 18-Mar-2024 12:03 31057940 gringo_5.6.2-1+b1_ppc64.buildinfo 18-Mar-2024 12:03 8267 gringo_5.6.2-1+b1_ppc64.deb 18-Mar-2024 12:03 2045756