../ metamath-dbgsym_0.195-1_powerpc.deb 01-Jan-2021 21:03 481K metamath_0.195-1_powerpc.buildinfo 01-Jan-2021 21:03 5655 metamath_0.195-1_powerpc.deb 01-Jan-2021 21:03 343K