../ metamath_0.180-1.debian.tar.xz 28-Dec-2019 07:56 2088 metamath_0.180-1.dsc 28-Dec-2019 07:56 1208 metamath_0.180-1_amd64.deb 28-Dec-2019 07:56 331180 metamath_0.180-1_i386.deb 02-Jan-2020 19:21 338320 metamath_0.180.orig.tar.gz 28-Dec-2019 07:56 444814