Automated first-order logic 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/ip/iprover/package.nixBlocking dependencies
Direct dependencies
bash-5.2p37eprover-3.2eprover-3.2ocaml-5.3.0ocaml5.3.0-findlib-1.9.8ocaml5.3.0-ocamlgraph-2.2.0ocaml5.3.0-yojson-2.2.2ocaml5.3.0-z3-4.15.1ocaml5.3.0-zarith-1.14sourcestdenv-linuxz3-4.15.1zlib-1.3Selected dependents
None recorded.