version bump to 1.2.1, and changes added: upgrade ghc and remove depe…

…ndency from derive package
tamarin-prover · Feb 22, 2017 · 596eba9 · 596eba9
1 parent 4f05c34
commit 596eba9
Show file tree

Hide file tree

Showing 6 changed files with 13 additions and 8 deletions.
diff --git a/CHANGES b/CHANGES
@@ -1,3 +1,8 @@
+* 1.2.1
+  - Upgrade to GHC 8.0.2 and stack lts-8.2.
+
+  - Removed dependency from the derive package.
+
 * 1.2.0
   - Extension for non-subterm convergent equational theories with FVP,
     as documented in the POST 2017 publication: 

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.1
 
 ###############################################################################
 ## 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.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.3.0
+version:            1.2.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.3.0
+version:            1.2.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.3.0
+version:            1.2.1
 license:            GPL
 license-file:       LICENSE
 category:           Theorem Provers
@@ -165,9 +165,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.1
+      , tamarin-prover-term   == 1.2.1
+      , tamarin-prover-theory == 1.2.1
 
     other-modules:
       Paths_tamarin_prover