Update to version 2.13.0

GaloisInc · May 16, 2022 · 8d02285 · 8d02285
1 parent 8cca245
commit 8d02285
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/cryptol-remote-api/cryptol-remote-api.cabal b/cryptol-remote-api/cryptol-remote-api.cabal
@@ -1,6 +1,6 @@
 cabal-version:       2.4
 name:                cryptol-remote-api
-version:             2.12.1
+version:             2.13.0
 license:             BSD-3-Clause
 license-file:        LICENSE
 author:              Galois, Inc.

diff --git a/cryptol-remote-api/python/pyproject.toml b/cryptol-remote-api/python/pyproject.toml
@@ -1,6 +1,6 @@
 [tool.poetry]
 name = "cryptol"
-version = "2.12.5"
+version = "2.13.0"
 readme = "README.md"
 keywords = ["cryptography", "verification"]
 description = "Cryptol client for the Cryptol 2.12 RPC server"

diff --git a/cryptol.cabal b/cryptol.cabal
@@ -1,6 +1,6 @@
 Cabal-version:       2.4
 Name:                cryptol
-Version:             2.12.0.99
+Version:             2.13.0
 Synopsis:            Cryptol: The Language of Cryptography
 Description: Cryptol is a domain-specific language for specifying cryptographic algorithms. A Cryptol implementation of an algorithm resembles its mathematical specification more closely than an implementation in a general purpose language. For more, see <http://www.cryptol.net/>.
 License:             BSD-3-Clause
@@ -26,7 +26,7 @@ source-repository this
   type:     git
   location: https://github.com/GaloisInc/cryptol.git
   -- add a tag on release branches
-  -- tag:
+  tag:      2.13.0
 
 
 flag static