Automatic and interactive theorem prover
Build failed; an explicit retry is required.
Failure log · · This campaign
Planning log · · This campaign
pkgs/by-name/le/lean/package.nixDirect dependencies
bash-5.2p37cmake-3.31.6gcc-13.patchgmp-with-cxx-6.3.0sourcestdenv-linuxSelected dependents
None recorded.