search

lenianiva / lean4-nix

Nix overlay for Lean 4, and lake2nix
Apache License 2.0
16 stars 2 forks source link

fix: `x86_64-darwin` build failure on v4.12.0 #23

Closed lenianiva closed 2 weeks ago

lenianiva commented 2 weeks ago

llvmPackages_11 was dropped from nixpkgs.

lenianiva commented 2 weeks ago

Its working now. Pending testing and verification on linux and aarch64-darwin