Automatic and interactive theorem prover
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/lean4/package.nixBlocking dependencies
Direct dependencies
bash-5.2p37cadical-2.1.3cmake-3.31.6gmp-with-cxx-6.3.0libuv-1.51.0sourcesourcestdenv-linuxx86_64-unknown-linux-gnufilc0-pkg-config-wrapper-0.29.2Selected dependents
None recorded.