diff --git a/CHANGELOG.md b/CHANGELOG.md index e47ba15..1b7afbe 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,5 +1,10 @@ # Changelog +## 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 - Publish the dependency-graph README cleanup. 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 54f974a..e63ea77 100644 --- a/lakefile.lean +++ b/lakefile.lean @@ -2,16 +2,16 @@ 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 "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