Bump version number to 3.5.0 for release.

Author: aschwerdfeger-galois

CHANGES.md

@@ -1,4 +1,4 @@
-# next -- TBA
+# 3.5.0 -- 2026-01-27
 
 ## Administrative changes
 

cryptol-remote-api/CHANGELOG.md

@@ -1,6 +1,6 @@
 # Revision history for `cryptol-remote-api` and `cryptol-eval-server`
 
-## next -- TBA
+## 3.5.0 -- 2026-01-27
 
 * For loading projects, `untested` corresponds to Cryptol's `--project`,
   `modified` corresponds to `--modified-project`, `refresh` corresponds to

cryptol-remote-api/cryptol-remote-api.cabal

@@ -1,6 +1,6 @@
 cabal-version:       2.4
 name:                cryptol-remote-api
-version:             3.4.0.99
+version:             3.5.0
 license:             BSD-3-Clause
 license-file:        LICENSE
 author:              Galois, Inc.

cryptol-remote-api/python/CHANGELOG.md

@@ -1,6 +1,6 @@
 # Revision history for `cryptol` Python package
 
-## next -- TBA
+## 3.5.0 -- 2026-01-27
 
 * Python 3.8, which is EOL, is no longer supported.
 

cryptol-remote-api/python/pyproject.toml

@@ -1,6 +1,6 @@
 [tool.poetry]
 name = "cryptol"
-version = "3.4.0.99"
+version = "3.5.0"
 readme = "README.md"
 keywords = ["cryptography", "verification"]
 description = "Cryptol client for the Cryptol RPC server"

cryptol.cabal

@@ -1,6 +1,6 @@
 Cabal-version:       2.4
 Name:                cryptol
-Version:             3.4.0.99
+Version:             3.5.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
@@ -29,7 +29,7 @@ source-repository this
   type:     git
   location: https://github.com/GaloisInc/cryptol.git
   -- add a tag on release branches
-  -- tag:
+  tag: 3.5.0
 
 
 flag static

docs/RefMan/conf.py

@@ -29,14 +29,14 @@
 # https://github.com/sphinx-doc/sphinx/blob/74ec2204795481402322e75752547571a553cc4e/sphinx/config.py#L721
 # and
 # https://github.com/sphinx-doc/sphinx/blob/74ec2204795481402322e75752547571a553cc4e/sphinx/config.py#L765-L766
-copyright = '2025: The Cryptol Team'
+copyright = '2026: The Cryptol Team'
 
 author = 'The Cryptol Team'
 
 # The short X.Y version
 version = ''
 # The full version, including alpha/beta/rc tags
-release = '3.4.0.99'
+release = '3.5.0'
 
 
 # -- General configuration ---------------------------------------------------