../ metamath_0.195-1.debian.tar.xz 06-Nov-2024 22:21 1928 metamath_0.195-1.dsc 06-Nov-2024 22:21 1208 metamath_0.195-1_amd64.deb 06-Nov-2024 22:21 336K metamath_0.195-1_i386.deb 06-Nov-2024 22:21 341K metamath_0.195.orig.tar.gz 06-Nov-2024 22:21 456K