Name Last modified Size Parent Directory - metamath-dbgsym_0.198-2_ppc64.deb 2025-12-07 19:03 519K metamath_0.198-2_ppc64.buildinfo 2025-12-07 19:03 5.5K metamath_0.198-2_ppc64.deb 2025-12-07 19:03 368K