← Back to PR #29040
Build Log: coq-serapi.8.20.0+0.20.0
Status: SUCCESS
Log Output
Processing: [default: loading data]
[coq-serapi.8.20.0+0.20.0: http]
[coq-serapi.8.20.0+0.20.0: extract]
-> retrieved coq-serapi.8.20.0+0.20.0 (https://github.com/ejgallego/coq-serapi/releases/download/8.20.0%2B0.20.0/coq-serapi-8.20.0.0.20.0.tbz)
[coq-serapi: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "coq-serapi" "-j" "255" (CWD=/home/opam/.opam/default/.opam-switch/build/coq-serapi.8.20.0+0.20.0)
-> compiled coq-serapi.8.20.0+0.20.0
-> installed coq-serapi.8.20.0+0.20.0
[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 {
"base.v0.16.4" -> {"dune.3.20.2" "dune-configurator.3.20.2" "ocaml.4.14.2" "sexplib0.v0.16.0"}
"cmdliner.2.1.0" -> "ocaml.4.14.2";
"coq.8.20.1" -> {"coq-core.8.20.1" "coq-stdlib.8.20.1" "coqide-server.8.20.1" "dune.3.20.2"}
"coq-core.8.20.1" -> {"conf-linux-libc-dev.0" "dune.3.20.2" "ocaml.4.14.2" "ocamlfind.1.9.8" "zarith.1.14"}
"coq-serapi.8.20.0+0.20.0" -> {"cmdliner.2.1.0" "coq.8.20.1" "dune.3.20.2" "ocaml.4.14.2" "ocamlfind.1.9.8" "ppx_compare.v0.16.0" "ppx_deriving.6.0.3" "ppx_deriving_yojson.3.9.1" "ppx_hash.v0.16.0" "ppx_import.1.12.0" "ppx_sexp_conv.v0.16.0" "sexplib.v0.16.0"}
"coq-stdlib.8.20.1" -> {"coq-core.8.20.1" "dune.3.20.2"}
"coqide-server.8.20.1" -> {"coq-core.8.20.1" "dune.3.20.2"}
"cppo.1.8.0" -> {"base-unix.base" "dune.3.20.2" "ocaml.4.14.2"}
"csexp.1.5.2" -> {"dune.3.20.2" "ocaml.4.14.2"}
"dune.3.20.2" -> {"base-threads.base" "base-unix.base" "ocaml.4.14.2"}
"dune-configurator.3.20.2" -> {"base-unix.base" "csexp.1.5.2" "dune.3.20.2" "ocaml.4.14.2"}
"num.1.6" -> "ocaml.4.14.2";
"ocaml.4.14.2" -> {"ocaml-base-compiler.4.14.2" "ocaml-config.2"}
"ocaml-compiler-libs.v0.12.4" -> {"dune.3.20.2" "ocaml.4.14.2"}
"ocaml-config.2" -> "ocaml-base-compiler.4.14.2";
"ocamlfind.1.9.8" -> "ocaml.4.14.2";
"parsexp.v0.16.0" -> {"dune.3.20.2" "ocaml.4.14.2" "sexplib0.v0.16.0"}
"ppx_compare.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2" "ppxlib.0.35.0"}
"ppx_derivers.1.2.1" -> {"dune.3.20.2" "ocaml.4.14.2"}
"ppx_deriving.6.0.3" -> {"cppo.1.8.0" "dune.3.20.2" "ocaml.4.14.2" "ocamlfind.1.9.8" "ppx_derivers.1.2.1" "ppxlib.0.35.0"}
"ppx_deriving_yojson.3.9.1" -> {"dune.3.20.2" "ocaml.4.14.2" "ppx_deriving.6.0.3" "ppxlib.0.35.0" "yojson.3.0.0"}
"ppx_hash.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2" "ppx_compare.v0.16.0" "ppx_sexp_conv.v0.16.0" "ppxlib.0.35.0"}
"ppx_import.1.12.0" -> {"dune.3.20.2" "ocaml.4.14.2" "ppxlib.0.35.0"}
"ppx_sexp_conv.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2" "ppxlib.0.35.0" "sexplib0.v0.16.0"}
"ppxlib.0.35.0" -> {"dune.3.20.2" "ocaml.4.14.2" "ocaml-compiler-libs.v0.12.4" "ppx_derivers.1.2.1" "sexplib0.v0.16.0" "stdlib-shims.0.3.0"}
"sexplib.v0.16.0" -> {"dune.3.20.2" "num.1.6" "ocaml.4.14.2" "parsexp.v0.16.0" "sexplib0.v0.16.0"}
"sexplib0.v0.16.0" -> {"dune.3.20.2" "ocaml.4.14.2"}
"stdlib-shims.0.3.0" -> {"dune.3.20.2" "ocaml.4.14.2"}
"yojson.3.0.0" -> {"dune.3.20.2" "ocaml.4.14.2"}
"zarith.1.14" -> {"conf-gmp.5" "conf-pkg-config.4" "ocaml.4.14.2" "ocamlfind.1.9.8"}
}