From 1d3c12109517e15a3310f0bf7a19e98992b3861c Mon Sep 17 00:00:00 2001 From: Wilmer Ricciotti Date: Wed, 1 Jul 2009 13:56:38 +0000 Subject: [PATCH] Version number set to 1.0.0-rc1 --- helm/software/components/binaries/matitaprover/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/components/binaries/matitaprover/Makefile b/helm/software/components/binaries/matitaprover/Makefile index 5e393c2a9..c5a65b032 100644 --- 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-rc1 DIST=matitaprover---$(VERSION) all: -- 2.39.2