../ gringo-dbgsym_5.6.2-1+b1_powerpc.deb 18-Mar-2024 12:03 30636572 gringo_5.6.2-1+b1_powerpc.buildinfo 18-Mar-2024 12:03 7372 gringo_5.6.2-1+b1_powerpc.deb 18-Mar-2024 12:03 1974992