../ metamath-dbgsym_0.195-1_ia64.deb 01-Jan-2021 18:03 694K metamath_0.195-1_ia64.buildinfo 01-Jan-2021 18:03 5732 metamath_0.195-1_ia64.deb 01-Jan-2021 18:03 517K