diff --git a/kore/CHANGELOG.md b/kore/CHANGELOG.md
index beafe535b3..96f8a5ff3d 100644
--- a/kore/CHANGELOG.md
+++ b/kore/CHANGELOG.md
@@ -14,6 +14,17 @@ All notable changes to this project will be documented in this file.
 
 ### Fixed
 
+## [0.32.0.0] - 2020-10-15
+
+### Changed
+
+- `\equals` clauses are normalized by ordering their child terms. (#2137)
+- The SMT solver is reset at fixed intervals. (#2125)
+
+### Fixed
+
+- The warning about trivial claims shows the original source location. (#2155)
+
 ## [0.31.0.0] - 2020-09-30
 
 ### Added
diff --git a/kore/package.yaml b/kore/package.yaml
index 2ef90f9a98..e207af6ba1 100644
--- a/kore/package.yaml
+++ b/kore/package.yaml
@@ -1,5 +1,5 @@
 name:                kore
-version:             0.31.0.0
+version:             0.32.0.0
 github:              "kframework/kore"
 license:             NCSA
 license-file:        LICENSE