Software development technology specifically designed for engineering high-reliability applications
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/development/ada-modules/gnatprove/default.nixBlocking dependencies
ocaml-5.3.0
Compilation or linking failed
Failure log · · This campaign
Via ocaml4.14.2-ppx_sexp_conv-0.16.0 → ocaml4.14.2-base-0.16.2 → ocaml4.14.2-alcotest-1.9.0 → ocaml4.14.2-astring-0.8.5 → opaline-0.3.3 → ocaml5.3.0-opam-file-format-2.1.6
Direct dependencies
bash-5.2p37gcc-13.3.0.tar.xzgnat-wrapper-13.3.0gnatcoll-core-25.0.0gprbuild-25.0.0gprbuild-25.0.0make-shell-wrapper-hookocaml-4.14.2ocaml4.14.2-camlzip-1.11ocaml4.14.2-findlib-1.9.8ocaml4.14.2-menhir-20240715ocaml4.14.2-menhirLib-20240715ocaml4.14.2-num-1.1ocaml4.14.2-ocamlgraph-2.2.0ocaml4.14.2-ppx_deriving-6.0.3ocaml4.14.2-ppx_sexp_conv-0.16.0ocaml4.14.2-re-1.12.0ocaml4.14.2-sexplib-0.16.0ocaml4.14.2-yojson-2.2.2ocaml4.14.2-zarith-1.14python3-3.12.11sourcestdenv-linuxSelected dependents
None recorded.