doc: lake: flexible manifest release notes

leanprover · Nov 2, 2023 · 65627d4 · 65627d4
1 parent 11fd5b0
commit 65627d4
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/RELEASES.md b/RELEASES.md
@@ -11,6 +11,11 @@ of each version.
 v4.4.0 (development in progress)
 ---------
 
+**Lake:**
+
+* Update manifest format to version 7 (see [lean4#2801](https://github.com/leanprover/lean4/pull/2801) for details on the changes).
+* Deprecate the `manifestFile` field of a package configuration.
+
 v4.3.0
 ---------