High-performance typed higher order 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/applications/science/logic/leo2/default.nixBlocking dependencies
Direct dependencies
7eb6015313561a2586032574788fcb133eeaa19f.patchbash-5.2p37camlp4-4.14+1eprover-3.2eprover-3.2leo2_v1.7.0.tgzmake-shell-wrapper-hookocaml-4.14.2perl-5.40.0stdenv-linuxzlib-1.3Selected dependents
None recorded.