../ metamath_0.195-1.debian.tar.xz 10-Aug-2026 02:23 1928 metamath_0.195-1.dsc 10-Aug-2026 02:23 1208 metamath_0.195-1_amd64.deb 09-Aug-2026 00:16 336K metamath_0.195.orig.tar.gz 10-Aug-2026 02:23 456K