search

lenianiva / lean4-nix

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

feat: Read lake manifest #6

Closed lenianiva closed 1 month ago

lenianiva commented 1 month ago
lenianiva commented 1 month ago

Currently there is a problem. Dependencies could not build properly:

nix run .#checks.x86_64-linux.dependency-manifest