From 457468ea761c60756bd2c034c891eb9f4e066c77 Mon Sep 17 00:00:00 2001
From: Jonathan Cubides <prieto.jona@gmail.com>
Date: Thu, 13 Aug 2026 11:43:49 -0500
Subject: [PATCH] chore(release): prepare v4.0.8

---
 CHANGELOG.md  | 4 ++++
 lakefile.lean | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

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