Build Log: coq-lsp.0.2.5+9.0

digraph opam { "angstrom.0.16.1" -> {"bigstringaf.0.10.0" "dune.3.20.2" "ocaml.5.3.0" "ocaml-syntax-shims.1.0.0"} "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"} "bigstringaf.0.10.0" -> {"dune.3.20.2" "dune-configurator.3.20.2" "ocaml.5.3.0"} "cmdliner.2.1.0" -> "ocaml.5.3.0"; "coq-lsp.0.2.5+9.0" -> {"cmdliner.2.1.0" "dune.3.20.2" "dune-build-info.3.20.2" "memprof-limits.0.3.0" "menhir.20250912" "ocaml.5.3.0" "ocamlfind.1.9.8" "ppx_compare.v0.17.0" "ppx_deriving.6.1.1" "ppx_deriving_yojson.3.10.0" "ppx_hash.v0.17.0" "ppx_import.1.12.0" "ppx_inline_test.v0.17.1" "ppx_sexp_conv.v0.17.1" "rocq-core.9.0.1" "rocq-prover.9.0.0" "rocq-runtime.9.0.1" "sexplib.v0.17.0" "tyxml.4.6.0" "uri.4.4.0" "yojson.3.0.0"} "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-build-info.3.20.2" -> {"dune.3.20.2" "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"} "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"} "memprof-limits.0.3.0" -> {"cppo.1.8.0" "dune.3.20.2" "ocaml.5.3.0"} "menhir.20250912" -> {"dune.3.20.2" "menhirCST.20250912" "menhirLib.20250912" "menhirSdk.20250912" "ocaml.5.3.0"} "menhirCST.20250912" -> {"dune.3.20.2" "ocaml.5.3.0"} "menhirLib.20250912" -> {"dune.3.20.2" "ocaml.5.3.0"} "menhirSdk.20250912" -> {"dune.3.20.2" "ocaml.5.3.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-syntax-shims.1.0.0" -> {"dune.3.20.2" "ocaml.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"; "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_deriving_yojson.3.10.0" -> {"dune.3.20.2" "ocaml.5.3.0" "ppx_deriving.6.1.1" "ppxlib.0.37.0" "yojson.3.0.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_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"} "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"} "re.1.14.0" -> {"dune.3.20.2" "ocaml.5.3.0"} "rocq-core.9.0.1" -> {"dune.3.20.2" "rocq-runtime.9.0.1"} "rocq-prover.9.0.0" -> {"rocq-core.9.0.1" "rocq-stdlib.9.0.0"} "rocq-runtime.9.0.1" -> {"conf-linux-libc-dev.0" "dune.3.20.2" "memprof-limits.0.3.0" "ocaml.5.3.0" "ocamlfind.1.9.8" "zarith.1.14"} "rocq-stdlib.9.0.0" -> {"rocq-core.9.0.1" "rocq-runtime.9.0.1"} "seq.base" -> "ocaml.5.3.0"; "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"} "stringext.1.6.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"} "tyxml.4.6.0" -> {"dune.3.20.2" "ocaml.5.3.0" "re.1.14.0" "seq.base" "uutf.1.0.4"} "uri.4.4.0" -> {"angstrom.0.16.1" "dune.3.20.2" "ocaml.5.3.0" "stringext.1.6.0"} "uutf.1.0.4" -> {"cmdliner.2.1.0" "ocaml.5.3.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"} "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"} }