../ metamath-dbgsym_0.195-1_sparc64.deb 01-Jan-2021 12:03 489K metamath_0.195-1_sparc64.buildinfo 01-Jan-2021 12:03 5652 metamath_0.195-1_sparc64.deb 01-Jan-2021 12:03 315K