Interactive theorem prover based on Higher-Order Logic
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/hol_light/default.nixBlocking dependencies
Direct dependencies
bash-5.2p37bash-5.2p37ocaml-5.3.0ocaml5.3.0-camlp-streams-5.0.1ocaml5.3.0-camlp5-8.03.02ocaml5.3.0-findlib-1.9.8ocaml5.3.0-zarith-1.14sourcestdenv-linuxSelected dependents
None recorded.