commit: 9232e2866d4879230530ef485ab9193311d1d2e7

[log]
author: Kim Morrison <kim@tqft.net>

Wed Jan 15 10:25:46 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Wed Jan 15 10:26:58 2025 +1100
tree: 17c2794e332ddac850badc6af8ee11bc696c53ff
parent: 9dbe5e6f9ce6bc686541218f62ff6b8063dfc4dc [diff]

fix: indicate dependency on pkgconf in ubuntu docs

doc/make/ubuntu.md[diff]

1 file changed

tree: 17c2794e332ddac850badc6af8ee11bc696c53ff

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 (documentation source: doc/make/index.md).