Platform for deductive program verification
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/why3/default.nixBlocking dependencies
vala-0.56.18
Compilation or linking failed
Failure log · · This campaign
Via wrap-gapps-hook → librsvg-2.60.0
rustc-1.86.0
Compilation or linking failed
Failure log · · This campaign
Via wrap-gapps-hook → librsvg-2.60.0 → rustc-wrapper-1.86.0
x86_64-unknown-linux-gnufilc0-gfortran-14.3.0
Compilation or linking failed
Failure log · · This campaign
Via coq-8.20.1 → csdp-6.1.1 → gfortran-14.3.0 → x86_64-unknown-linux-gnufilc0-gfortran-wrapper-14.3.0
Direct dependencies
bash-5.2p37coq-8.20.1coq8.20-flocq-4.2.1emacs-30.1hevea-2.36ocaml-5.3.0ocaml5.3.0-camlzip-1.11ocaml5.3.0-findlib-1.9.8ocaml5.3.0-js_of_ocaml-6.0.1ocaml5.3.0-js_of_ocaml-ppx-6.0.1ocaml5.3.0-lablgtk3-sourceview3-3.1.5ocaml5.3.0-menhir-20240715ocaml5.3.0-menhirLib-20240715ocaml5.3.0-ocamlgraph-2.2.0ocaml5.3.0-ppx_deriving-6.0.3ocaml5.3.0-ppx_sexp_conv-0.17.0ocaml5.3.0-re-1.12.0ocaml5.3.0-sexplib-0.17.0ocaml5.3.0-zarith-1.14rubber-1.6.6stdenv-linuxwhy3-1.8.2.tar.gzwrap-gapps-hookSelected dependents
None recorded.