Cryptol 3.2 Release: Update Cabal version numbers.

GaloisInc · Aug 20, 2024 · afb8730 · afb8730
1 parent 8ea4fca
commit afb8730
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 5 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:             3.1.0.99
+version:             3.2.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 = "3.1.1.99"
+version = "3.2.0"
 readme = "README.md"
 keywords = ["cryptography", "verification"]
 description = "Cryptol client for the Cryptol RPC server"

diff --git a/cryptol.cabal b/cryptol.cabal
@@ -1,6 +1,6 @@
 Cabal-version:       2.4
 Name:                cryptol
-Version:             3.1.0.99
+Version:             3.2.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

diff --git a/docs/RefMan/conf.py b/docs/RefMan/conf.py
@@ -22,13 +22,13 @@
 # -- Project information -----------------------------------------------------
 
 project = 'Cryptol'
-copyright = '2021, The Cryptol Team'
+copyright = '2024, The Cryptol Team'
 author = 'The Cryptol Team'
 
 # The short X.Y version
 version = ''
 # The full version, including alpha/beta/rc tags
-release = '2.11.0'
+release = '3.2.0'
 
 
 # -- General configuration ---------------------------------------------------