Open source model checker for verifying safety properties of array-based systems
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/cubicle/default.nixBlocking dependencies
Direct dependencies
1.2.0.tar.gzautoreconf-hookbash-5.2p37ocaml-4.14.2ocaml4.14.2-findlib-1.9.8ocaml4.14.2-functory-0.6ocaml4.14.2-num-1.1stdenv-linuxwhich-2.23Selected dependents
None recorded.