Automatic and interactive theorem prover (version with HoTT support)
Blocked by failed dependencies; not queued for a build.
No build output for this package in this campaign. Open a dependency's failure log below.
Planning log · · This campaign
pkgs/by-name/le/lean2/package.nixBlocking dependencies
Direct dependencies
bash-5.2p37cmake-3.31.6gmp-with-cxx-6.3.0jemalloc-5.3.0lean2-fix-compilation-error.patchmake-shell-wrapper-hookmpfr-4.2.2ninja-1.12.1ninja-1.12.1python3-3.12.5sourcestdenv-linuxSelected dependents
None recorded.