Skip to content

Commit

Permalink
doc: lakefile.olean compatibility check release note
Browse files Browse the repository at this point in the history
  • Loading branch information
tydeu committed Nov 16, 2023
1 parent 8a2054c commit b770060
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions RELEASES.md
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,7 @@ v4.4.0 (development in progress)
* **Lake:** Moved the default build directory (e.g., `build`), default packages directory (e.g., `lake-packages`), and the compiled configuration (e.g., `lakefile.olean`) into a new dedicated directory for Lake outputs, `.lake`. The cloud release build archives are also stored here, fixing [#2713](https://github.com/leanprover/lean4/issues/2713).
* **Lake:** Update manifest format to version 7 (see [lean4#2801](https://github.com/leanprover/lean4/pull/2801) for details on the changes).
* **Lake:** Deprecate the `manifestFile` field of a package configuration.
* **Lake:** There is now a more rigorous check on `lakefile.olean` compatibility (see [#2842](https://github.com/leanprover/lean4/pull/2842) for more details).

v4.3.0
---------
Expand Down

0 comments on commit b770060

Please sign in to comment.