../ metamath-dbgsym_0.195-1_x32.deb 02-Jan-2021 09:03 463K metamath_0.195-1_x32.buildinfo 02-Jan-2021 09:03 5625 metamath_0.195-1_x32.deb 02-Jan-2021 09:03 343K