../ metamath_0.195-1.debian.tar.xz 18-Oct-2026 15:28 1928 metamath_0.195-1.dsc 18-Oct-2026 15:28 1208 metamath_0.195-1_amd64.deb 18-Oct-2026 15:28 336K metamath_0.195.orig.tar.gz 18-Oct-2026 15:28 456K