../ metamath_0.180-1.debian.tar.xz 03-Jan-2020 00:12 2088 metamath_0.180-1.dsc 03-Jan-2020 00:12 1208 metamath_0.180.orig.tar.gz 03-Jan-2020 00:12 444814 metamath_0.183-1.debian.tar.xz 12-Jul-2020 16:08 1872 metamath_0.183-1.dsc 12-Jul-2020 16:08 1208 metamath_0.183.orig.tar.gz 12-Jul-2020 16:08 447130 metamath_0.195-1.debian.tar.xz 01-Jan-2021 10:43 1928 metamath_0.195-1.dsc 01-Jan-2021 10:43 1208 metamath_0.195.orig.tar.gz 01-Jan-2021 10:43 466876