X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fpkg-matita%2Ftarballs%2Fmatita-0.4.0.tar.gz;fp=helm%2Fsoftware%2Fpkg-matita%2Ftarballs%2Fmatita-0.4.0.tar.gz;h=1f23eef0f250b487f796b6f3d84997653c9f19e6;hb=f8cc3ca9341553197c08cc217f787b663787d758;hp=0000000000000000000000000000000000000000;hpb=39541174994235283a3c67e0c48b52e067c948af;p=helm.git

diff --git a/helm/software/pkg-matita/tarballs/matita-0.4.0.tar.gz b/helm/software/pkg-matita/tarballs/matita-0.4.0.tar.gz
new file mode 100644
index 000000000..1f23eef0f
Binary files /dev/null and b/helm/software/pkg-matita/tarballs/matita-0.4.0.tar.gz differ