Index of /repos/pool/main/m/metamath/

../
metamath_0.195-1.debian.tar.xz                     19-Jan-2026 03:54    1928
metamath_0.195-1.dsc                               19-Jan-2026 03:54    1208
metamath_0.195-1_amd64.deb                         19-Jan-2026 03:54    336K
metamath_0.195-1_i386.deb                          19-Jan-2026 03:54    341K
metamath_0.195.orig.tar.gz                         19-Jan-2026 03:54    456K