diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -6,6 +6,11 @@
 
 ## [Unreleased]
 
+## 0.5.0.0 — 2026-07-31
+
+No changes this release. Released with the package set for the `keiro-dsl`
+0.5.0.0 whole-workspace work.
+
 ## 0.4.0.1 — 2026-07-28
 
 ### Other Changes
diff --git a/keiro-core.cabal b/keiro-core.cabal
--- a/keiro-core.cabal
+++ b/keiro-core.cabal
@@ -1,6 +1,6 @@
 cabal-version:   3.0
 name:            keiro-core
-version:         0.4.0.1
+version:         0.5.0.0
 synopsis:        Core contracts for Keiro packages
 description:
   Stable stream, codec, event-stream, and integration-event contracts