Name Last modified Size Parent Directory - metamath-dbgsym_0.198-2_powerpc.deb 2025-12-07 19:03 502K metamath_0.198-2_powerpc.buildinfo 2025-12-07 19:03 5.4K metamath_0.198-2_powerpc.deb 2025-12-07 19:03 355K