../ metamath-dbgsym_0.195-1_sh4.deb 01-Jan-2021 12:03 469420 metamath_0.195-1_sh4.buildinfo 01-Jan-2021 12:03 5550 metamath_0.195-1_sh4.deb 01-Jan-2021 12:03 402952