commit: f666715b2a8cd13c352fe34752eb14c262aae63c

[log]
author: Sebastian Ullrich <sebasti@nullri.ch>

Mon Jan 29 17:18:36 2024 +0100
committer: Sebastian Ullrich <sebasti@nullri.ch>

Mon Jan 29 17:18:36 2024 +0100
tree: bf4fb3242e96a71fc77e529c8608f8766a752f5a
parent: a43969341e31fcd210fc130d5a8eae5d7bdb0138 [diff]

fix: unmapping relocated .olean on Windows

src/library/module.cpp[diff]

1 file changed

tree: bf4fb3242e96a71fc77e529c8608f8766a752f5a

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.