../ metamath_0.195-1.debian.tar.xz 06-Jan-2021 02:46 1928 metamath_0.195-1.dsc 06-Jan-2021 02:46 1208 metamath_0.195-1_amd64.deb 06-Jan-2021 02:54 336K metamath_0.195-1_arm64.deb 06-Jan-2021 02:54 333K metamath_0.195.orig.tar.gz 06-Jan-2021 02:46 456K