From 196a27941bc6042e230a32853d4613f8798a89c7 Mon Sep 17 00:00:00 2001 From: Ahmad Salim Al-Sibahi Date: Wed, 16 Sep 2015 13:37:51 +0200 Subject: [PATCH] Changed version number to 1.0 --- p3-tool.cabal | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/p3-tool.cabal b/p3-tool.cabal index 3609d60..26e7a10 100644 --- a/p3-tool.cabal +++ b/p3-tool.cabal @@ -1,5 +1,5 @@ Name: p3-tool -Version: 0.5 +Version: 1.0 Cabal-Version: >= 1.8 Author: Ahmad Salim Al-Sibahi Synopsis: Parser and Transformation tool for fPromela