diff --git a/CHANGELOG.md b/CHANGELOG.md index 43f2185..e47ba15 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,5 +1,9 @@ # Changelog +## 0.1.12 — 2026-08-13 + +- Publish the dependency-graph README cleanup. + ## 0.1.11 — 2026-08-12 - Adopt Lean v4.33.0 and precommit-lean v0.1.6. diff --git a/lakefile.lean b/lakefile.lean index f9f501d..54f974a 100644 --- a/lakefile.lean +++ b/lakefile.lean @@ -2,7 +2,7 @@ import Lake open Lake DSL package «termcolor-widgets» where - version := v!"0.1.11" + version := v!"0.1.12" leanOptions := #[⟨`autoImplicit, false⟩, ⟨`relaxedAutoImplicit, false⟩] require «termcolor-layout» from git