Program for proof-tree visualization
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/prooftree/default.nixBlocking dependencies
gtk+-2.24.33
Compilation or linking failed
Failure log · · This campaign
Via ocaml4.12.1-lablgtk-2.18.13
ocaml-5.3.0
Compilation or linking failed
Failure log · · This campaign
Via ocaml4.12.1-camlp5-8.03.02 → ocaml4.12.1-bos-0.2.1 → opaline-0.3.3 → ocaml5.3.0-opam-file-format-2.1.6
Direct dependencies
bash-5.2p37ncurses-6.5ocaml-4.12.1ocaml4.12.1-camlp5-8.03.02ocaml4.12.1-findlib-1.9.8ocaml4.12.1-lablgtk-2.18.13prooftree-0.14.tar.gzstdenv-linuxx86_64-unknown-linux-gnufilc0-pkg-config-wrapper-0.29.2Selected dependents
None recorded.