basic_rg: improved interface, unwind removed from applicability check

[helm.git] / helm / software / components / binaries / matitaprover / Makefile

diff --git a/helm/software/components/binaries/matitaprover/Makefile b/helm/software/components/binaries/matitaprover/Makefile
index 5e393c2a97efd3397cafd2993ef110032e6dc8e7..2b35935d95b5a8e7de4b5aabd8a9f8d1dc26391f 100644 (file)
--- a/helm/software/components/binaries/matitaprover/Makefile
+++ b/helm/software/components/binaries/matitaprover/Makefile
@@ -1,5 +1,5 @@
 DATE=$(shell date +%y%m%d)
-VERSION=0.5.7
+VERSION=1.0.0
 DIST=matitaprover---$(VERSION)
 
 all: