diff --git a/CHANGELOG.md b/CHANGELOG.md
index 03a0126..16d003e 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,9 @@
 # Changelog
 
+## 4.0.8 — 2026-08-13
+
+- Centralize lexical typing-environment scopes for binders and event parameters.
+
 ## 4.0.7 — 2026-08-13
 
 - Publish the dependency-graph README cleanup.
diff --git a/lakefile.lean b/lakefile.lean
index 9c645fe..97bfddc 100644
--- a/lakefile.lean
+++ b/lakefile.lean
@@ -2,7 +2,7 @@ import Lake
 open Lake DSL
 
 package «eventb» where
-  version := v!"4.0.7"
+  version := v!"4.0.8"
   leanOptions := #[⟨`autoImplicit, false⟩, ⟨`relaxedAutoImplicit, false⟩]
 
 -- Pinned release tags, not `main`: corpus gate numbers are only reproducible if the