← 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.5.2.1"}
"ocaml.5.2.1" -> {"ocaml-base-compiler.5.2.1" "ocaml-config.3"}
"ocaml-config.3" -> "ocaml-base-compiler.5.2.1";
"ocamlfind.1.9.8" -> "ocaml.5.2.1";
"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.5.2.1" "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.5.2.1" "ocamlfind.1.9.8"}
}