Version number is 1.2.3 for new release.

tamarin-prover · Feb 28, 2018 · c1e439e · c1e439e
1 parent 0606c6b
commit c1e439e
Show file tree

Hide file tree

Showing 5 changed files with 8 additions and 8 deletions.
diff --git a/Makefile b/Makefile
@@ -50,7 +50,7 @@ clean:	tamarin-clean sapic-clean
 # It is by no means official in any form and should be IGNORED :-)
 # ###########################################################################
 
-VERSION=1.3.0
+VERSION=1.2.3
 
 ###############################################################################
 ## Case Studies

diff --git a/lib/term/tamarin-prover-term.cabal b/lib/term/tamarin-prover-term.cabal
@@ -2,7 +2,7 @@ name:               tamarin-prover-term
 
 cabal-version:      >= 1.8
 build-type:         Simple
-version:            1.3.0
+version:            1.2.3
 license:            GPL
 license-file:       LICENSE
 category:           Theorem Provers

diff --git a/lib/theory/tamarin-prover-theory.cabal b/lib/theory/tamarin-prover-theory.cabal
@@ -2,7 +2,7 @@ name:               tamarin-prover-theory
 
 cabal-version:      >= 1.8
 build-type:         Simple
-version:            1.3.0
+version:            1.2.3
 license:            GPL
 license-file:       LICENSE
 category:           Theorem Provers

diff --git a/lib/utils/tamarin-prover-utils.cabal b/lib/utils/tamarin-prover-utils.cabal
@@ -2,7 +2,7 @@ name:               tamarin-prover-utils
 
 cabal-version:      >= 1.8
 build-type:         Simple
-version:            1.3.0
+version:            1.2.3
 license:            GPL
 license-file:       LICENSE
 category:           Theorem Provers

diff --git a/tamarin-prover.cabal b/tamarin-prover.cabal
@@ -1,7 +1,7 @@
 cabal-version:      >= 1.10
 build-type:         Simple
 name:               tamarin-prover
-version:            1.3.0
+version:            1.2.3
 license:            GPL
 license-file:       LICENSE
 category:           Theorem Provers
@@ -156,9 +156,9 @@ executable tamarin-prover
       , yesod-core
       , yesod-static
 
-      , tamarin-prover-utils  == 1.3.0
-      , tamarin-prover-term   == 1.3.0
-      , tamarin-prover-theory == 1.3.0
+      , tamarin-prover-utils  == 1.2.3
+      , tamarin-prover-term   == 1.2.3
+      , tamarin-prover-theory == 1.2.3
 
     other-modules:
       Paths_tamarin_prover