Files
Nadja Yang 03752ca7ca lean4, leanPackages.lean4: fix darwin build by adding libtool
Lake 4.30.0 uses libtool -static on macOS for static library targets
instead of ar.
d024af099c/src/lake/Lake/Build/Library.lean (L87-L95)

See Hydra Build No. 330752454, lean4.aarch64-darwin (June 4, 2026),
https://hydra.nixos.org/build/330752454; Hydra Build No. 330752481,
leanPackages.lean4.aarch64-darwin (June 4, 2026),
https://hydra.nixos.org/build/330752481.

Breakage introduced in
a26b66330f
2026-06-04 23:56:27 -04:00
..
2026-05-16 16:51:59 +08:00
2026-05-25 13:21:27 +00:00
2026-05-17 10:51:28 -04:00
2026-02-23 19:35:09 -08:00
2026-04-04 12:35:39 +00:00
2026-04-12 16:59:13 +00:00
2026-04-23 16:48:39 +00:00
2026-04-28 23:27:08 +02:00
2026-04-26 09:36:54 +00:00
2026-05-13 13:18:10 -04:00
2026-04-17 00:10:29 -07:00
2026-05-24 14:10:51 -07:00
2026-05-09 04:52:42 +00:00
2026-04-14 16:11:51 +00:00
2026-04-25 19:29:48 -07:00
2026-03-09 21:49:52 -07:00
2026-02-15 12:22:24 -05:00
2026-04-15 12:16:53 -03:00
2026-02-16 00:23:34 +00:00
2026-05-11 16:59:45 +00:00
2026-04-05 11:00:15 +00:00
2026-04-02 15:14:49 +00:00