Package coq-lsp

• do-deps

  • prep

    OK

  • dep-compile zarith.1.14-cab165eefb8615505c5ad081786a5fc3

    • prep

      OK

    • compile

      OK

  • dep-compile yojson.2.2.2-ebf28724656a64a769e5345e3db860cb

    • prep

      OK

    • compile

      OK

  • dep-compile uri.4.4.0-003cc04fe2e1e1bcaeef89672e168aa2

    • prep

      OK

    • compile

      OK

  • dep-compile stringext.1.6.0-6cb2d5658864a6c9bc1fbc226141feed

    • prep

      OK

    • compile

      OK

  • dep-compile stdlib-shims.0.3.0-6cb2d5658864a6c9bc1fbc226141feed

    • prep

      OK

    • compile

      OK

  • dep-compile sexplib0.v0.15.1-6cb2d5658864a6c9bc1fbc226141feed

    • prep

      OK

    • compile

      OK

  • dep-compile sexplib.v0.15.1-13e61604464e5ed088ff82509cec743f

    • prep

      OK

    • compile

      OK

  • dep-compile seq.base-22ef956c04fab3fb688e5fb96b354c88

    • prep

      OK

    • compile

      OK

  • dep-compile result.1.5-6cb2d5658864a6c9bc1fbc226141feed

    • prep

      OK

    • compile

      OK

  • dep-compile ppxlib.0.33.0-ac3ac9b0151e8f63e38fe24a3edbdadf

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_sexp_conv.v0.15.1-637fa687ffd4570f80404500dfe2c70d

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_import.1.11.0-471aa895013a37e88f17f228e7a5166c

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_hash.v0.15.0-88c9ddbf5f15fbe1bfe19e1c84f9e617

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_deriving_yojson.3.9.0-487c9ff0fc3abe98e98812988a343f50

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_deriving.5.2.1-97697829d6cb36348d18f0dc40639ab3

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_derivers.1.2.1-6cb2d5658864a6c9bc1fbc226141feed

    • prep

      OK

    • compile

      OK

  • dep-compile ppx_compare.v0.15.0-637fa687ffd4570f80404500dfe2c70d

    • prep

      OK

    • compile

      OK

  • dep-compile parsexp.v0.15.0-e641ea4e967770b62bddbc5da72824a1

    • prep

      OK

    • compile

      OK

  • dep-compile ocamlfind.1.9.6-22ef956c04fab3fb688e5fb96b354c88

    • prep

      OK

    • compile

      OK

  • dep-compile ocaml-syntax-shims.1.0.0-6cb2d5658864a6c9bc1fbc226141feed

    • prep

      OK

    • compile

      OK

  • dep-compile ocaml-config.2-4fae2d7b423975996c7d562a013d6daa

    • prep

      OK

    • compile

      OK

  • dep-compile ocaml-compiler-libs.v0.12.4-6cb2d5658864a6c9bc1fbc226141feed

    • prep

      OK

    • compile

      OK

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

    • prep

      OK

    • compile

      OK

  • dep-compile ocaml.4.14.2-0e4e48f6f18ef8994033b9c27ffd667d

    • prep

      OK

    • compile

      OK

  • dep-compile num.1.5-1-22ef956c04fab3fb688e5fb96b354c88

    • prep

      OK

    • compile

      OK

  • dep-compile menhirSdk.20240715-6cb2d5658864a6c9bc1fbc226141feed

    • prep

      OK

    • compile

      OK

  • dep-compile menhirLib.20240715-6cb2d5658864a6c9bc1fbc226141feed

    • prep

      OK

    • compile

      OK

  • dep-compile menhirCST.20240715-6cb2d5658864a6c9bc1fbc226141feed

    • prep

      OK

    • compile

      OK

  • dep-compile menhir.20240715-d94be0a499709b0f514593d5acb0c22b

    • prep

      OK

    • compile

      OK

  • dep-compile host-arch-x86_64.1-d41d8cd98f00b204e9800998ecf8427e

    • prep

      OK

    • compile

      OK

  • dep-compile dune-configurator.3.16.0-7a93d2bc52309bf534833a5ad9386af6

    • prep

      OK

    • compile

      OK

  • dep-compile dune-build-info.3.16.0-6cb2d5658864a6c9bc1fbc226141feed

    • prep

      OK

    • compile

      OK

  • dep-compile dune.3.16.0-22f0ab24a62c706cb139b2cdc468de60

    • prep

      OK

    • compile

      OK

  • dep-compile csexp.1.5.2-6cb2d5658864a6c9bc1fbc226141feed

    • prep

      OK

    • compile

      OK

  • dep-compile cppo.1.7.0-6cb2d5658864a6c9bc1fbc226141feed

    • prep

      OK

    • compile

      OK

  • dep-compile coq-serapi.8.16.0+0.16.3-604f9b093c39d4eb451eb2cad83b6532

    • prep

      OK

    • compile

      OK

  • dep-compile coq.8.16.1-8429061742a562382e05b4c4ddb75ccd

    • prep

      OK

    • compile

      OK

  • dep-compile conf-pkg-config.3-e16d2b39b23b640adce512d9ee5ae4fe

    • prep

      OK

    • compile

      OK

  • dep-compile conf-gmp.4-e16d2b39b23b640adce512d9ee5ae4fe

    • prep

      OK

    • compile

      OK

  • dep-compile conf-findutils.1-d41d8cd98f00b204e9800998ecf8427e

    • prep

      OK

    • compile

      OK

  • dep-compile cmdliner.1.3.0-22ef956c04fab3fb688e5fb96b354c88

    • prep

      OK

    • compile

      OK

  • dep-compile camlp-streams.5.0.1-6cb2d5658864a6c9bc1fbc226141feed

    • prep

      OK

    • compile

      OK

  • dep-compile bigstringaf.0.10.0-f3efbf413f33ad300138ae8ba28797a9

    • 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-e8e386ab0337b0f4ff300ef48b413065

    • prep

      OK

    • compile

      OK

  • dep-compile angstrom.0.16.0-eafc66ea2cdbf1a33babf7d6eb8e9e26

    • prep

      OK

    • compile

      OK

• do-compile

  OK

• do-html

  OK