../ metamath_0.180-1_amd64.deb 02-Jan-2020 23:58 327K metamath_0.183-1_amd64.deb 12-Jul-2020 23:38 323K metamath_0.183-1_arm64.deb 12-Jul-2020 23:24 324K metamath_0.195-1_amd64.deb 01-Jan-2021 17:34 336K metamath_0.195-1_arm64.deb 01-Jan-2021 17:35 332K metamath_0.198-2_amd64.deb 08-Dec-2025 00:18 405K metamath_0.198-2_amd64v3.deb 08-Dec-2025 00:18 432K metamath_0.198-2_arm64.deb 08-Dec-2025 00:18 443K