From 9db0758a19abcebb88fbe4f5f4dc2f125f0dcc3e Mon Sep 17 00:00:00 2001
From: Jonathan Cubides <prieto.jona@gmail.com>
Date: Thu, 13 Aug 2026 17:51:40 -0500
Subject: [PATCH 1/2] chore(release): prepare v0.1.13

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index e47ba15..1ad77c8 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,9 @@
 # Changelog
 
+## 0.1.13 — 2026-08-13
+
+- Add the standard review guidance to the README.
+
 ## 0.1.12 — 2026-08-13
 
 - Publish the dependency-graph README cleanup.
diff --git a/lakefile.lean b/lakefile.lean
index 54f974a..b7c0562 100644
--- a/lakefile.lean
+++ b/lakefile.lean
@@ -2,7 +2,7 @@ import Lake
 open Lake DSL
 
 package «termcolor-widgets» where
-  version := v!"0.1.12"
+  version := v!"0.1.13"
   leanOptions := #[⟨`autoImplicit, false⟩, ⟨`relaxedAutoImplicit, false⟩]
 
 require «termcolor-layout» from git

From b08b59df12965509cb014ce742d7c20480e34354 Mon Sep 17 00:00:00 2001
From: Jonathan Cubides <prieto.jona@gmail.com>
Date: Thu, 13 Aug 2026 18:08:06 -0500
Subject: [PATCH 2/2] build: pin newest termcolor releases

---
 CHANGELOG.md       | 1 +
 lake-manifest.json | 8 ++++----
 lakefile.lean      | 4 ++--
 3 files changed, 7 insertions(+), 6 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 1ad77c8..1b7afbe 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -3,6 +3,7 @@
 ## 0.1.13 — 2026-08-13
 
 - Add the standard review guidance to the README.
+- Pin the newest released TermColor and TermColor Layout dependencies.
 
 ## 0.1.12 — 2026-08-13
 
diff --git a/lake-manifest.json b/lake-manifest.json
index b1c5a47..6d3a776 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -5,20 +5,20 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "5a08bdadb6dc95f36e6b25d48b6812bc6e6d8b01",
+   "rev": "151cacea0983bde7399c2eca3cf008098ef95086",
    "name": "termcolor",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v1.1.0",
+   "inputRev": "v1.1.5",
    "inherited": false,
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/jonaprieto/lean-termcolor-layout.git",
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "bc8aa8e7d0ccc01f1615b218e776183a61c37c91",
+   "rev": "9b9532044ebf6dc93b52d0459ce1968ad869ebc6",
    "name": "«termcolor-layout»",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v0.1.8",
+   "inputRev": "v0.1.13",
    "inherited": false,
    "configFile": "lakefile.lean"}],
  "name": "«termcolor-widgets»",
diff --git a/lakefile.lean b/lakefile.lean
index b7c0562..e63ea77 100644
--- a/lakefile.lean
+++ b/lakefile.lean
@@ -7,11 +7,11 @@ package «termcolor-widgets» where
 
 require «termcolor-layout» from git
   "https://github.com/jonaprieto/lean-termcolor-layout.git"
-  @ "v0.1.8"
+  @ "v0.1.13"
 
 require «termcolor» from git
   "https://github.com/jonaprieto/lean-termcolor.git"
-  @ "v1.1.0"
+  @ "v1.1.5"
 
 @[default_target]
 lean_lib «TermColor.Widgets» where