Kim Morrison 0f7f80aff5 fix: indicate dependency on pkgconf in ubuntu docs (#6646) ... This PR changes the ubuntu docs to indicate that Lean now requires pkgconf to build. This is a companion to #6643, but I can't push directly to that branch.		2025-01-15 05:30:20 +00:00
..
emscripten.md
index.md
msys2.md
osx-10.9.md
ubuntu.md	fix: indicate dependency on pkgconf in ubuntu docs (#6646)	2025-01-15 05:30:20 +00:00
wsl.md