../ metamath-dbgsym_0.195-1_ppc64.deb 01-Jan-2021 12:03 522192 metamath_0.195-1_ppc64.buildinfo 01-Jan-2021 12:03 5712 metamath_0.195-1_ppc64.deb 01-Jan-2021 12:03 361928