← Back to PR #29190
Build Log: rocq-prover.meta.1
Status: SUCCESS
Log Output
Processing: [default: loading data]
-> installed rocq-prover.meta.1
[WARNING] Opam package conf-gmp.5 depends on the following system package that can no longer be found: libgmp-dev
Dependency Graph
Loading graph...
View raw DOT format
digraph opam {
"dune.3.20.2" -> {"base-threads.base" "base-unix.base" "ocaml.4.14.2"}
"ocaml.4.14.2" -> {"ocaml-base-compiler.4.14.2" "ocaml-config.2"}
"ocaml-config.2" -> "ocaml-base-compiler.4.14.2";
"ocamlfind.1.9.8" -> "ocaml.4.14.2";
"rocq-core.9.1.0" -> {"dune.3.20.2" "rocq-runtime.9.1.0"}
"rocq-prover.meta.1" -> {"rocq-core.9.1.0" "rocq-stdlib.9.0.0"}
"rocq-runtime.9.1.0" -> {"conf-linux-libc-dev.0" "dune.3.20.2" "ocaml.4.14.2" "ocamlfind.1.9.8" "zarith.1.14"}
"rocq-stdlib.9.0.0" -> {"rocq-core.9.1.0" "rocq-runtime.9.1.0"}
"zarith.1.14" -> {"conf-gmp.5" "conf-pkg-config.4" "ocaml.4.14.2" "ocamlfind.1.9.8"}
}