search

lenianiva / lean4-nix

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

fix: Compilation failure of v4.13.0 on Darwin #24

Closed lenianiva closed 1 week ago

lenianiva commented 1 week ago

Same issue as v4.12.0

lenianiva commented 1 week ago

Fixed. Should be ready to go