0.4.0 almost working

[helm.git] / pkg-matita / tarballs / matita-0.4.0.tar.gz

diff --git a/pkg-matita/tarballs/matita-0.4.0.tar.gz b/pkg-matita/tarballs/matita-0.4.0.tar.gz
new file mode 100644 (file)
index 0000000..1f23eef
Binary files /dev/null and b/pkg-matita/tarballs/matita-0.4.0.tar.gz differ