Set DEVELOP Version 1.7.1

yavivanov · Aug 23, 2021 · 7ee0b21 · 7ee0b21
1 parent 160d381
commit 7ee0b21
Show file tree

Hide file tree

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

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

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.6.1
+version:            1.7.1
 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.6.1
+version:            1.7.1
 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.6.1
+version:            1.7.1
 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.6.1
+version:            1.7.1
 license:            GPL
 license-file:       LICENSE
 category:           Theorem Provers
@@ -156,10 +156,10 @@ executable tamarin-prover
       , yesod-core
       , yesod-static
 
-      , tamarin-prover-utils  == 1.6.1
-      , tamarin-prover-term   == 1.6.1
-      , tamarin-prover-theory == 1.6.1
-      , tamarin-prover-sapic == 1.6.1
+      , tamarin-prover-utils  == 1.7.1
+      , tamarin-prover-term   == 1.7.1
+      , tamarin-prover-theory == 1.7.1
+      , tamarin-prover-sapic == 1.7.1
 
     other-modules:
       Paths_tamarin_prover