diff --git a/CHANGES.md b/CHANGES.md
index ad2754afc..ba38ef65e 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,4 +1,4 @@
-# next -- TBA
+# 3.2.0 -- 2024-08-20
 
 ## Language changes
 
@@ -13,6 +13,10 @@
 * Fix #1593 and #1693, two related bugs that would cause Cryptol to panic when
   checking ill-typed constraint guards for exhaustivity.
 
+* Fix #1675, which could cause `PrimeEC` to produce incorrect results.
+
+* Fix #1489, which allows for the type checker to reason about exponents.
+
 ## New features
 
 * New REPL command :focus enables specifying a submodule scope for evaluating
diff --git a/cryptol-remote-api/cryptol-remote-api.cabal b/cryptol-remote-api/cryptol-remote-api.cabal
index 1ff697544..1c62c2030 100644
--- 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/CHANGELOG.md b/cryptol-remote-api/python/CHANGELOG.md
index 61900526c..4a3505f92 100644
--- a/cryptol-remote-api/python/CHANGELOG.md
+++ b/cryptol-remote-api/python/CHANGELOG.md
@@ -1,5 +1,10 @@
 # Revision history for `cryptol` Python package
 
+## 3.2.0 -- 2024-08-20
+
+* The v3.2.0 release is made in tandem with the Cryptol 3.2.0 release. See the
+  Cryptol 3.2.0 release notes for relevant Cryptol changes.
+
 ## 3.1.1 -- 2024-05-15
 
 * Add support for Python 3.12.
diff --git a/cryptol.cabal b/cryptol.cabal
index c6c2010ff..4f3182465 100644
--- 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.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
index b253aea9a..470fb4db8 100644
--- 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 ---------------------------------------------------