diff --git a/kore/CHANGELOG.md b/kore/CHANGELOG.md
index ba56f0641c..c9e0db8595 100644
--- a/kore/CHANGELOG.md
+++ b/kore/CHANGELOG.md
@@ -14,6 +14,24 @@ All notable changes to this project will be documented in this file.
 
 ### Fixed
 
+## [0.35.0.0] - 2020-11-30
+
+### Added
+
+- Added hooked function `LIST.make`. (#2253)
+
+### Changed
+
+- Hooked function `LIST.update` is `\bottom` for negative indices. (#2278)
+- The concrete syntax of domain values in `BYTES.Bytes` matches the LLVM
+  backend. (#2256)
+
+### Fixed
+
+- Execution with `krun` reports all stuck configurations. (#2205)
+- Bug reports generated by `kore-exec` display the command-line options
+  correctly. (#2245)
+
 ## [0.34.0.0] - 2020-11-16
 
 ### Added
diff --git a/kore/kore.cabal b/kore/kore.cabal
index 6696672f34..db1c018bbd 100644
--- a/kore/kore.cabal
+++ b/kore/kore.cabal
@@ -5,7 +5,7 @@ cabal-version: 2.2
 -- see: https://github.com/sol/hpack
 
 name:           kore
-version:        0.34.0.0
+version:        0.35.0.0
 description:    Please see the [README](README.md) file.
 category:       Language
 homepage:       https://github.com/kframework/kore#readme
diff --git a/kore/package.yaml b/kore/package.yaml
index 2359496780..22e0094dd6 100644
--- a/kore/package.yaml
+++ b/kore/package.yaml
@@ -1,5 +1,5 @@
 name:                kore
-version:             0.34.0.0
+version:             0.35.0.0
 github:              "kframework/kore"
 license:             NCSA
 license-file:        LICENSE