../ metamath-dbgsym_0.195-1_ppc64.deb 01-Jan-2021 21:03 510K metamath_0.195-1_ppc64.buildinfo 01-Jan-2021 21:03 5712 metamath_0.195-1_ppc64.deb 01-Jan-2021 21:03 353K