Mario Carneiro 7cdd65d5fb fix: build with libuv pre-1.45.0 (part 2) (#9652) ... This PR continues #9644 , fixing the core build when using an older system libuv. This only affected users building Lean from scratch, since the lean binaries we ship as part of toolchains statically link their own copy of libuv 1.50+. --------- Co-authored-by: Markus Himmel <markus@lean-fro.org>		2025-08-01 05:53:55 +00:00
..
bench	chore: add #9598 as benchmark (#9642)	2025-07-31 15:32:54 +00:00
compiler	fix: avoid caching uses of never_extract constants in toLCNF (#8956)	2025-06-24 02:04:56 +00:00
elabissues
ir
lean	fix: build with libuv pre-1.45.0 (part 2) (#9652)	2025-08-01 05:53:55 +00:00
pkg	refactor: update built-in tactic error messages (#9633)	2025-07-31 14:16:57 +00:00
playground	refactor: migrate all usages of old slice notation (#9000)	2025-06-27 18:52:07 +00:00
plugin
simpperf
.gitignore
common.sh
lakefile.toml
lean-toolchain