Profiles › full › package: vsrocq-language-server › 2.5.1

vsrocq-language-server.2.5.1

Open rendered docs

History

Tick two or more build rows' checkboxes (Deps column), then for version differences.

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-11-07T01:00:46Z2026-11-06-203537successdocs1989b11b58d3blessed940f0ae69f5d—
2026-11-06T17:03:16Z2026-11-06-151626successdocs1989b11b58d3blessede51a24881f2c—
2026-11-06T06:47:32Z2026-11-06-031021successbuild—blessed33a056a0b60f
46 deps
  • base-threads.base
  • base-unix.base
  • base.v0.17.3
  • conf-gmp.5
  • conf-linux-libc-dev.0
  • conf-pkg-config.5
  • cppo.1.8.0
  • csexp.1.5.2
  • dune-configurator.3.24.2
  • dune.3.24.2
  • jsonrpc.1.27.0
  • lsp.1.27.0
  • memprof-limits.0.3.0
  • num.1.6
  • ocaml-base-compiler.5.4.1
  • ocaml-compiler-libs.v0.17.0
  • ocaml-compiler.5.4.1
  • ocaml-config.3
  • ocaml.5.4.1
  • ocaml_intrinsics_kernel.v0.17.3
  • ocamlbuild.0.16.1
  • ocamlfind.1.9.8
  • octavius.1.2.2
  • parsexp.v0.17.0
  • ppx_blob.0.9.0
  • ppx_derivers.1.2.1
  • ppx_deriving.6.2.0
  • ppx_import.1.12.0
  • ppx_js_style.v0.17.1
  • ppx_optcomp.v0.17.1
  • ppx_sexp_conv.v0.17.1
  • ppx_yojson_conv.v0.17.1
  • ppx_yojson_conv_lib.v0.17.0
  • ppxlib.0.39.0
  • ppxlib_jane.v0.17.4
  • result.1.5
  • rocq-core.9.3.0
  • rocq-runtime.9.3.0
  • sel.0.8.0
  • sexplib.v0.17.0
  • sexplib0.v0.17.0
  • stdio.v0.17.0
  • topkg.1.1.1
  • uutf.1.0.4
  • yojson.3.0.0
  • zarith.1.14
2026-11-05T14:16:16Z2026-11-05-140256successdocs1989b11b58d3blessed7db6fbf68af7—
2026-11-02T22:12:50Z2026-11-02-220838successdocs1989b11b58d3blessed7f706aa4cb5d—
2026-11-02T22:10:54Z2026-11-02-220838successbuild—blessed81ced8272bb6
46 deps
  • base-threads.base
  • base-unix.base
  • base.v0.17.3
  • conf-gmp.5
  • conf-linux-libc-dev.0
  • conf-pkg-config.5
  • cppo.1.8.0
  • csexp.1.5.2
  • dune-configurator.3.24.2
  • dune.3.24.2
  • jsonrpc.1.27.0
  • lsp.1.27.0
  • memprof-limits.0.3.0
  • num.1.6
  • ocaml-base-compiler.5.4.1
  • ocaml-compiler-libs.v0.17.0
  • ocaml-compiler.5.4.1
  • ocaml-config.3
  • ocaml.5.4.1
  • ocaml_intrinsics_kernel.v0.17.3
  • ocamlbuild.0.16.1
  • ocamlfind.1.9.8
  • octavius.1.2.2
  • parsexp.v0.17.0
  • ppx_blob.0.9.0
  • ppx_derivers.1.2.1
  • ppx_deriving.6.2.0
  • ppx_import.1.12.0
  • ppx_js_style.v0.17.1
  • ppx_optcomp.v0.17.1
  • ppx_sexp_conv.v0.17.1
  • ppx_yojson_conv.v0.17.1
  • ppx_yojson_conv_lib.v0.17.0
  • ppxlib.0.39.0
  • ppxlib_jane.v0.17.4
  • result.1.5
  • rocq-core.9.3.0
  • rocq-runtime.9.3.0
  • sel.0.8.0
  • sexplib.v0.17.0
  • sexplib0.v0.17.0
  • stdio.v0.17.0
  • topkg.1.1.1
  • uutf.1.0.4
  • yojson.3.0.0
  • zarith.1.14
2026-11-02T10:00:05Z2026-11-02-090434successdocs1989b11b58d3blessed1cb08bd0a769—
2026-10-30T21:51:01Z2026-10-30-144942successdocs1989b11b58d3blessedf3522fc7f086—
2026-10-30T09:42:35Z2026-10-29-233731successdocs1989b11b58d3blessed6dbfd9c12e00—
2026-10-29T12:09:50Z2026-10-29-013439successbuild—blessedcbb4c7d588ee
46 deps
  • base-threads.base
  • base-unix.base
  • base.v0.17.3
  • conf-gmp.5
  • conf-linux-libc-dev.0
  • conf-pkg-config.5
  • cppo.1.8.0
  • csexp.1.5.2
  • dune-configurator.3.24.2
  • dune.3.24.2
  • jsonrpc.1.27.0
  • lsp.1.27.0
  • memprof-limits.0.3.0
  • num.1.6
  • ocaml-base-compiler.5.4.1
  • ocaml-compiler-libs.v0.17.0
  • ocaml-compiler.5.4.1
  • ocaml-config.3
  • ocaml.5.4.1
  • ocaml_intrinsics_kernel.v0.17.3
  • ocamlbuild.0.16.1
  • ocamlfind.1.9.8
  • octavius.1.2.2
  • parsexp.v0.17.0
  • ppx_blob.0.9.0
  • ppx_derivers.1.2.1
  • ppx_deriving.6.2.0
  • ppx_import.1.12.0
  • ppx_js_style.v0.17.1
  • ppx_optcomp.v0.17.1
  • ppx_sexp_conv.v0.17.1
  • ppx_yojson_conv.v0.17.1
  • ppx_yojson_conv_lib.v0.17.0
  • ppxlib.0.39.0
  • ppxlib_jane.v0.17.4
  • result.1.5
  • rocq-core.9.3.0
  • rocq-runtime.9.3.0
  • sel.0.8.0
  • sexplib.v0.17.0
  • sexplib0.v0.17.0
  • stdio.v0.17.0
  • topkg.1.1.1
  • uutf.1.0.4
  • yojson.3.0.0
  • zarith.1.14
2026-10-28T02:03:47Z2026-10-27-201705successdocs1989b11b58d3blessedb19bbdc64f31—
2026-10-27T15:49:48Z2026-10-27-105258successdocs1989b11b58d3blessedfb48edf5a9d4—
2026-10-27T01:14:08Z2026-10-26-214724successdocs1989b11b58d3blessedee43b5b7b282—
2026-10-26T04:57:10Z2026-10-25-114903successdocs1989b11b58d3blesseda981de511827—
2026-10-25T04:23:09Z2026-10-24-223844successdocs1989b11b58d3blessedbbb636ec4769—
2026-10-24T22:49:43Z2026-10-24-152942successdocs1989b11b58d3blessed081f2eaa443d—
2026-10-24T16:34:07Z2026-10-24-152942successbuild—blessed4883469e88af—
2026-10-24T13:54:09Z2026-10-24-092246successdocsfb1527883bd9blessed5cbdf79326eb—
2026-10-23T11:14:43Z2026-10-23-111206successdocsfb1527883bd9blessed7c7d5a8ca409—
2026-10-23T11:14:37Z2026-10-23-111206successbuild—blessed912c099f128a—