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/applications/science/logic/abella/default.nixBlocking dependencies
Direct dependencies
abella-2.0.8.tar.gzbash-5.2p37cmdliner-1.3.0dune-3.18.2ocaml-4.12.1ocaml4.12.1-findlib-1.9.8ocaml4.12.1-menhir-20240715ocaml4.12.1-yojson-2.2.2rsync-3.4.1stdenv-linuxSelected dependents
None recorded.