commit: 72fdddfed3646184ebe0db99eabd180e423bb5fa

[log]
author: tydeu <tydeu@hatpress.net>

Mon Oct 30 19:33:34 2023 -0400
committer: Mac Malone <tydeu@hatpress.net>

Tue Oct 31 13:25:26 2023 -0400
tree: 02ad0187be78691fd7723d8166409ddd205d642a
parent: 793329fd56195c7e2563beed67dd40c3ab88f311 [diff]

test: adjustment for `lake update` behavior change

src/lake/tests/depTree/test.sh[diff]

1 file changed

tree: 02ad0187be78691fd7723d8166409ddd205d642a

README.md

This is the repository for Lean 4.

We provide nightly releases and have just begun regular stable point releases.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.