← Back to PR #28975

Build Log: vscoq-language-server.2.3.4

Status: SUCCESS

Log Output

Processing: [default: loading data] [vscoq-language-server.2.3.4: extract] -> retrieved vscoq-language-server.2.3.4 (cached) -> installed vscoq-language-server.2.3.4 [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"} "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-stdlib.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"} "jane-street-headers.v0.16.0" -> {"dune.3.20.2" "ocaml.4.14.2"} "jsonrpc.1.24.0" -> {"dune.3.20.2" "ocaml.4.14.2" "yojson.3.0.0"} "jst-config.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "dune-configurator.3.20.2" "ocaml.4.14.2" "ppx_assert.v0.16.0"} "lsp.1.24.0" -> {"dune.3.20.2" "jsonrpc.1.24.0" "ocaml.4.14.2" "ppx_yojson_conv_lib.v0.16.0" "uutf.1.0.4" "yojson.3.0.0"} "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"; "ocamlbuild.0.16.1" -> "ocaml.4.14.2"; "ocamlfind.1.9.8" -> "ocaml.4.14.2"; "octavius.1.2.2" -> {"dune.3.20.2" "ocaml.4.14.2"} "parsexp.v0.16.0" -> {"dune.3.20.2" "ocaml.4.14.2" "sexplib0.v0.16.0"} "ppx_assert.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2" "ppx_cold.v0.16.0" "ppx_compare.v0.16.0" "ppx_here.v0.16.0" "ppx_sexp_conv.v0.16.0" "ppxlib.0.35.0"} "ppx_base.v0.16.0" -> {"dune.3.20.2" "ocaml.4.14.2" "ppx_cold.v0.16.0" "ppx_compare.v0.16.0" "ppx_enumerate.v0.16.0" "ppx_globalize.v0.16.0" "ppx_hash.v0.16.0" "ppx_sexp_conv.v0.16.0" "ppxlib.0.35.0"} "ppx_cold.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2" "ppxlib.0.35.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_enumerate.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2" "ppxlib.0.35.0"} "ppx_globalize.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2" "ppxlib.0.35.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_here.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2" "ppxlib.0.35.0"} "ppx_import.1.12.0" -> {"dune.3.20.2" "ocaml.4.14.2" "ppxlib.0.35.0"} "ppx_inline_test.v0.16.1" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2" "ppxlib.0.35.0" "time_now.v0.16.0"} "ppx_js_style.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2" "octavius.1.2.2" "ppxlib.0.35.0"} "ppx_optcomp.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2" "ppxlib.0.35.0" "stdio.v0.16.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"} "ppx_yojson_conv.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2" "ppx_js_style.v0.16.0" "ppx_yojson_conv_lib.v0.16.0" "ppxlib.0.35.0"} "ppx_yojson_conv_lib.v0.16.0" -> {"dune.3.20.2" "ocaml.4.14.2" "yojson.3.0.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"} "result.1.5" -> {"dune.3.20.2" "ocaml.4.14.2"} "sel.0.7.0" -> {"dune.3.20.2" "ocaml.4.14.2" "ppx_deriving.6.0.3"} "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"} "stdio.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2"} "stdlib-shims.0.3.0" -> {"dune.3.20.2" "ocaml.4.14.2"} "time_now.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "jane-street-headers.v0.16.0" "jst-config.v0.16.0" "ocaml.4.14.2" "ppx_base.v0.16.0" "ppx_optcomp.v0.16.0"} "topkg.1.1.1" -> {"ocaml.4.14.2" "ocamlbuild.0.16.1" "ocamlfind.1.9.8"} "uutf.1.0.4" -> {"ocaml.4.14.2" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"} "vscoq-language-server.2.3.4" -> "vsrocq-language-server.2.3.4"; "vsrocq-language-server.2.3.4" -> {"coq-core.8.20.1" "coq-stdlib.8.20.1" "dune.3.20.2" "jsonrpc.1.24.0" "lsp.1.24.0" "ocaml.4.14.2" "ocamlfind.1.9.8" "ppx_assert.v0.16.0" "ppx_deriving.6.0.3" "ppx_import.1.12.0" "ppx_inline_test.v0.16.1" "ppx_optcomp.v0.16.0" "ppx_sexp_conv.v0.16.0" "ppx_yojson_conv.v0.16.0" "result.1.5" "sel.0.7.0" "sexplib.v0.16.0" "yojson.3.0.0"} "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"} }