Package vscoq-language-server

• do-deps

  • prep

    OK

  • dep-compile zarith.1.13-6ddf0755f9a3e6f154c8ce2188a4b234

    • prep

      OK

    • compile

      OK

  • dep-compile yojson.2.1.2-4a5b8d48b0abc1b4cfb268771c90f680

    • prep

      OK

    • compile

      OK

  • dep-compile uutf.1.0.3-0a60ea26bb38d98f86e3b6b8d00ac8e2

    • prep

      OK

    • compile

      OK

  • dep-compile topkg.1.0.7-1efefc14dd089897194d91e95f986cf1

    • prep

      OK

    • compile

      OK

  • dep-compile time_now.v0.15.0-4b7c931682b9f2050ed119ac0983f2cf

    • prep

      OK

    • compile

      OK

  • dep-compile stdlib-shims.0.3.0-fecb4284355235b6547f9bf9df9c37cd

    • prep

      OK

    • compile

      OK

  • dep-compile stdio.v0.15.0-551e58d5628b7fcb4a7b06cdb6058314

    • prep

      OK

    • compile

      OK

  • dep-compile sexplib0.v0.15.1-fecb4284355235b6547f9bf9df9c37cd

    • prep

      OK

    • compile

      OK

  • dep-compile sexplib.v0.15.1-687a8c1e6267d07bb582da73ea3d7465

    • prep

      OK

    • compile

      OK

  • dep-compile seq.base-a573c8251a3b8ff3a11c7cffb86f8366

    • prep

      OK

    • compile

      OK

  • dep-compile sel.0.4.0-222a0d48c16b24b2dc412deda3cf944c

    • prep

      OK

    • compile

      OK

  • dep-compile result.1.5-fecb4284355235b6547f9bf9df9c37cd

    • prep

      OK

    • compile

      OK

  • dep-compile ppxlib.0.32.0-76dd91981006d79fd9741151140f2d7d

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_yojson_conv_lib.v0.15.0-386ec71c287e8d3c5f24c3a0146a3bc5

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_yojson_conv.v0.15.1-511faf3174a1f5a4861cbafc5d295438

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_sexp_conv.v0.15.1-0d330e543432d6f504bf31d9e1177900

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_optcomp.v0.15.0-d6e97381b92b3b0974574ed0f4f1cb16

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_js_style.v0.15.0-142dd3104ba6a73edde4954435247790

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_inline_test.v0.15.1-782b83aa7e3522c9e978cf669647c18a

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_import.1.10.0-46b8e14250a41183e37f063a80a25252

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_here.v0.15.0-0d330e543432d6f504bf31d9e1177900

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_hash.v0.15.0-01ae7ecc4448dc74017253b4cd4cc174

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_enumerate.v0.15.0-0d330e543432d6f504bf31d9e1177900

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_deriving.5.2.1-647c252cc52183bc54f76a0487253298

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_derivers.1.2.1-fecb4284355235b6547f9bf9df9c37cd

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_compare.v0.15.0-0d330e543432d6f504bf31d9e1177900

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_cold.v0.15.0-0d330e543432d6f504bf31d9e1177900

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_base.v0.15.0-2a1d8eab0ab1edd4bec90bf9ac23597c

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_assert.v0.15.0-a3b4ffed4d17e9ef9180dcc5f2d78de9

    • prep

      OK

    • compile

      OK

  • dep-compile parsexp.v0.15.0-551e58d5628b7fcb4a7b06cdb6058314

    • prep

      OK

    • compile

      OK

  • dep-compile octavius.1.2.2-fecb4284355235b6547f9bf9df9c37cd

    • prep

      OK

    • compile

      OK

  • dep-compile ocamlfind.1.9.6-a573c8251a3b8ff3a11c7cffb86f8366

    • prep

      OK

    • compile

      OK

  • dep-compile ocamlbuild.0.14.3-a573c8251a3b8ff3a11c7cffb86f8366

    • prep

      OK

    • compile

      OK

  • dep-compile ocaml-config.3-2bc934fe53ca3f853c0a995d44bbb900

    • prep

      OK

    • compile

      OK

  • dep-compile ocaml-compiler-libs.v0.12.4-fecb4284355235b6547f9bf9df9c37cd

    • prep

      OK

    • compile

      OK

  • dep-compile ocaml-base-compiler.5.1.0-d41d8cd98f00b204e9800998ecf8427e

    • prep

      OK

    • compile

      OK

  • dep-compile ocaml.5.1.0-f4f9f604884d1a4cf902319a9b950c5b

    • prep

      OK

    • compile

      OK

  • dep-compile num.1.5-a573c8251a3b8ff3a11c7cffb86f8366

    • prep

      OK

    • compile

      OK

  • dep-compile lsp.1.17.0-183f9c84e8aedf0577f3e963b7230052

    • prep

      OK

    • compile

      OK

  • dep-compile jst-config.v0.15.1-a5aaa1a8f7d605becc11e4e298f3d5e0

    • prep

      OK

    • compile

      OK

  • dep-compile jsonrpc.1.17.0-fecb4284355235b6547f9bf9df9c37cd

    • prep

      OK

    • compile

      OK

  • dep-compile jane-street-headers.v0.15.0-fecb4284355235b6547f9bf9df9c37cd

    • prep

      OK

    • compile

      OK

  • dep-compile dune-configurator.3.14.0-ded306bd9071254a5c72f66030f6b3aa

    • prep

      OK

    • compile

      OK

  • dep-compile dune.3.14.0-44521134ec2271626cc088ea2bc751d6

    • prep

      OK

    • compile

      OK

  • dep-compile csexp.1.5.2-fecb4284355235b6547f9bf9df9c37cd

    • prep

      OK

    • compile

      OK

  • dep-compile cppo.1.6.9-fecb4284355235b6547f9bf9df9c37cd

    • prep

      OK

    • compile

      OK

  • dep-compile coq-stdlib.8.19.0-737add12ea6dc7bb5292a296f6c2de41

    • prep

      OK

    • compile

      OK

  • dep-compile coq-core.8.19.0-94b25471447b157629007b8d40f4e05f

    • prep

      OK

    • compile

      OK

  • dep-compile conf-linux-libc-dev.0-d41d8cd98f00b204e9800998ecf8427e

    • prep

      OK

    • compile

      OK

  • dep-compile conf-gmp.4-d41d8cd98f00b204e9800998ecf8427e

    • prep

      OK

    • compile

      OK

  • dep-compile base-unix.base-d41d8cd98f00b204e9800998ecf8427e

    • prep

      OK

    • compile

      OK

  • dep-compile base-threads.base-d41d8cd98f00b204e9800998ecf8427e

    • prep

      OK

    • compile

      OK

  • dep-compile base.v0.15.1-587e33a238ba6a40b0ac8cb6e5562888

    • prep

      OK

    • compile

      OK

• do-compile

  OK

• do-html

  OK