← Back to PR #28975
Build Log: vsrocq-language-server.2.3.4
Status: SUCCESS
Log Output
Processing: [default: loading data]
[vsrocq-language-server.2.3.4: http]
[vsrocq-language-server.2.3.4: extract]
-> retrieved vsrocq-language-server.2.3.4 (https://github.com/rocq-prover/vsrocq/releases/download/v2.3.4/vsrocq-language-server-2.3.4.tar.gz)
[vsrocq-language-server: make dune-files]
+ /usr/bin/make "dune-files" (CWD=/home/opam/.opam/default/.opam-switch/build/vsrocq-language-server.2.3.4)
[vsrocq-language-server: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "vsrocq-language-server" "-j" "255" (CWD=/home/opam/.opam/default/.opam-switch/build/vsrocq-language-server.2.3.4)
-> compiled vsrocq-language-server.2.3.4
-> installed vsrocq-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.17.3" -> {"dune.3.20.2" "dune-configurator.3.20.2" "ocaml.5.3.0" "ocaml_intrinsics_kernel.v0.17.1" "sexplib0.v0.17.0"}
"coq-core.8.20.1" -> {"conf-linux-libc-dev.0" "dune.3.20.2" "ocaml.5.3.0" "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.5.3.0"}
"csexp.1.5.2" -> {"dune.3.20.2" "ocaml.5.3.0"}
"dune.3.20.2" -> {"base-threads.base" "base-unix.base" "ocaml.5.3.0"}
"dune-configurator.3.20.2" -> {"base-unix.base" "csexp.1.5.2" "dune.3.20.2" "ocaml.5.3.0"}
"jane-street-headers.v0.17.0" -> {"dune.3.20.2" "ocaml.5.3.0"}
"jsonrpc.1.24.0" -> {"dune.3.20.2" "ocaml.5.3.0" "yojson.3.0.0"}
"jst-config.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "dune-configurator.3.20.2" "ocaml.5.3.0" "ppx_assert.v0.17.0"}
"lsp.1.24.0" -> {"dune.3.20.2" "jsonrpc.1.24.0" "ocaml.5.3.0" "ppx_yojson_conv_lib.v0.17.0" "uutf.1.0.4" "yojson.3.0.0"}
"num.1.6" -> "ocaml.5.3.0";
"ocaml.5.3.0" -> {"ocaml-base-compiler.5.3.0" "ocaml-config.3"}
"ocaml-base-compiler.5.3.0" -> "ocaml-compiler.5.3.0";
"ocaml-compiler-libs.v0.17.0" -> {"dune.3.20.2" "ocaml.5.3.0"}
"ocaml-config.3" -> "ocaml-base-compiler.5.3.0";
"ocaml_intrinsics_kernel.v0.17.1" -> {"dune.3.20.2" "ocaml.5.3.0"}
"ocamlbuild.0.16.1" -> "ocaml.5.3.0";
"ocamlfind.1.9.8" -> "ocaml.5.3.0";
"octavius.1.2.2" -> {"dune.3.20.2" "ocaml.5.3.0"}
"parsexp.v0.17.0" -> {"dune.3.20.2" "ocaml.5.3.0" "sexplib0.v0.17.0"}
"ppx_assert.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.3.0" "ppx_cold.v0.17.0" "ppx_compare.v0.17.0" "ppx_here.v0.17.0" "ppx_sexp_conv.v0.17.1" "ppxlib.0.37.0"}
"ppx_base.v0.17.0" -> {"dune.3.20.2" "ocaml.5.3.0" "ppx_cold.v0.17.0" "ppx_compare.v0.17.0" "ppx_enumerate.v0.17.0" "ppx_globalize.v0.17.2" "ppx_hash.v0.17.0" "ppx_sexp_conv.v0.17.1" "ppxlib.0.37.0"}
"ppx_cold.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.3.0" "ppxlib.0.37.0"}
"ppx_compare.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.3.0" "ppxlib.0.37.0" "ppxlib_jane.v0.17.4"}
"ppx_derivers.1.2.1" -> {"dune.3.20.2" "ocaml.5.3.0"}
"ppx_deriving.6.1.1" -> {"cppo.1.8.0" "dune.3.20.2" "ocaml.5.3.0" "ocamlfind.1.9.8" "ppx_derivers.1.2.1" "ppxlib.0.37.0"}
"ppx_enumerate.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.3.0" "ppxlib.0.37.0" "ppxlib_jane.v0.17.4"}
"ppx_globalize.v0.17.2" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.3.0" "ppxlib.0.37.0" "ppxlib_jane.v0.17.4"}
"ppx_hash.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.3.0" "ppx_compare.v0.17.0" "ppx_sexp_conv.v0.17.1" "ppxlib.0.37.0" "ppxlib_jane.v0.17.4"}
"ppx_here.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.3.0" "ppxlib.0.37.0"}
"ppx_import.1.12.0" -> {"dune.3.20.2" "ocaml.5.3.0" "ppxlib.0.37.0"}
"ppx_inline_test.v0.17.1" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.3.0" "ppxlib.0.37.0" "time_now.v0.17.0"}
"ppx_js_style.v0.17.1" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.3.0" "octavius.1.2.2" "ppxlib.0.37.0"}
"ppx_optcomp.v0.17.1" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.3.0" "ppxlib.0.37.0" "stdio.v0.17.0"}
"ppx_sexp_conv.v0.17.1" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.3.0" "ppxlib.0.37.0" "ppxlib_jane.v0.17.4" "sexplib0.v0.17.0"}
"ppx_yojson_conv.v0.17.1" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.3.0" "ppx_js_style.v0.17.1" "ppx_yojson_conv_lib.v0.17.0" "ppxlib.0.37.0"}
"ppx_yojson_conv_lib.v0.17.0" -> {"dune.3.20.2" "ocaml.5.3.0" "yojson.3.0.0"}
"ppxlib.0.37.0" -> {"dune.3.20.2" "ocaml.5.3.0" "ocaml-compiler-libs.v0.17.0" "ppx_derivers.1.2.1" "sexplib0.v0.17.0" "stdlib-shims.0.3.0"}
"ppxlib_jane.v0.17.4" -> {"dune.3.20.2" "ocaml.5.3.0" "ppxlib.0.37.0"}
"result.1.5" -> {"dune.3.20.2" "ocaml.5.3.0"}
"sel.0.7.0" -> {"dune.3.20.2" "ocaml.5.3.0" "ppx_deriving.6.1.1"}
"sexplib.v0.17.0" -> {"dune.3.20.2" "num.1.6" "ocaml.5.3.0" "parsexp.v0.17.0" "sexplib0.v0.17.0"}
"sexplib0.v0.17.0" -> {"dune.3.20.2" "ocaml.5.3.0"}
"stdio.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.3.0"}
"stdlib-shims.0.3.0" -> {"dune.3.20.2" "ocaml.5.3.0"}
"time_now.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "jane-street-headers.v0.17.0" "jst-config.v0.17.0" "ocaml.5.3.0" "ppx_base.v0.17.0" "ppx_optcomp.v0.17.1"}
"topkg.1.1.1" -> {"ocaml.5.3.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8"}
"uutf.1.0.4" -> {"ocaml.5.3.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"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.5.3.0" "ocamlfind.1.9.8" "ppx_assert.v0.17.0" "ppx_deriving.6.1.1" "ppx_import.1.12.0" "ppx_inline_test.v0.17.1" "ppx_optcomp.v0.17.1" "ppx_sexp_conv.v0.17.1" "ppx_yojson_conv.v0.17.1" "result.1.5" "sel.0.7.0" "sexplib.v0.17.0" "yojson.3.0.0"}
"yojson.3.0.0" -> {"dune.3.20.2" "ocaml.5.3.0"}
"zarith.1.14" -> {"conf-gmp.5" "conf-pkg-config.4" "ocaml.5.3.0" "ocamlfind.1.9.8"}
}