nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-06-05 21:03:40 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
nixpkgs/pkgs/development/lean-modules
History
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
..
aesop
leanPackages: 4.29.1 -> 4.30.0
2026-06-04 16:48:52 -04:00
batteries
leanPackages: 4.29.1 -> 4.30.0
2026-06-04 16:48:52 -04:00
Cli
leanPackages: 4.29.1 -> 4.30.0
2026-06-04 16:48:52 -04:00
importGraph
leanPackages: 4.29.1 -> 4.30.0
2026-06-04 16:48:52 -04:00
lean4
lean4, leanPackages.lean4: fix darwin build by adding libtool
2026-06-04 23:56:27 -04:00
LeanSearchClient
leanPackages.lean4: 4.29.0 -> 4.29.1
2026-06-04 16:48:52 -04:00
mathlib
leanPackages.mathlib: add comment for leangz-raw
2026-06-04 17:13:18 -04:00
plausible
leanPackages: 4.29.1 -> 4.30.0
2026-06-04 16:48:52 -04:00
proofwidgets
leanPackages: 4.29.1 -> 4.30.0
2026-06-04 16:48:52 -04:00
Qq
leanPackages: 4.29.1 -> 4.30.0
2026-06-04 16:48:52 -04:00
update.sh
leanPackages.mathlib: lgz preprocessing
2026-06-04 16:48:52 -04:00