Package coq-lsp

• do-deps

  OK

• do-compile

  OK

All universes

7bee1335960fc4804d87aa5a380ab2d2

• prep

  • prep coq-lsp.0.2.3+9.0-7bee1335960fc4804d87aa5a380ab2d2

    OK

  • prep dependency angstrom.0.16.1-1b00eba8dd740f6730ab8179219043ea

    OK

  • prep dependency base.v0.17.2-b0ba216c7639b5bbab5e5716597e64cf

    OK

  • prep dependency base-threads.base-b4349cf7232e6b66621e089f2b9beee5

    OK

  • prep dependency base-unix.base-b4349cf7232e6b66621e089f2b9beee5

    OK

  • prep dependency bigstringaf.0.10.0-f2183239e33534b0638f9dc53ae3d79b

    OK

  • prep dependency cmdliner.1.3.0-c43b17abdeb9c13d2ceb83d309ed632a

    OK

  • prep dependency conf-gmp.5-ce56a397f57b2c226d96fdcb785de98e

    OK

  • prep dependency conf-linux-libc-dev.0-b4349cf7232e6b66621e089f2b9beee5

    OK

  • prep dependency conf-pkg-config.4-b4349cf7232e6b66621e089f2b9beee5

    OK

  • prep dependency cppo.1.8.0-ed5667c4e277d3e69a26852ee1e32db8

    OK

  • prep dependency csexp.1.5.2-ed5667c4e277d3e69a26852ee1e32db8

    OK

  • prep dependency dune.3.19.0-3114aec9e7f412ca05476b1c25ff1eb5

    OK

  • prep dependency dune-build-info.3.19.0-ed5667c4e277d3e69a26852ee1e32db8

    OK

  • prep dependency dune-configurator.3.19.0-6be05b7eb3f204e3b759b899c40b5701

    OK

  • prep dependency jane-street-headers.v0.17.0-ed5667c4e277d3e69a26852ee1e32db8

    OK

  • prep dependency jst-config.v0.17.0-28d8729a6f4a0c434713115ebb465c2d

    OK

  • prep dependency menhir.20240715-45f5ea9fd29400d3c2f742e44ed154fe

    OK

  • prep dependency menhirCST.20240715-ed5667c4e277d3e69a26852ee1e32db8

    OK

  • prep dependency menhirLib.20240715-ed5667c4e277d3e69a26852ee1e32db8

    OK

  • prep dependency menhirSdk.20240715-ed5667c4e277d3e69a26852ee1e32db8

    OK

  • prep dependency num.1.5-1-c43b17abdeb9c13d2ceb83d309ed632a

    OK

  • prep dependency ocaml.5.3.0-fa1e7b231be6d37a5e076747588e8a81

    OK

  • prep dependency ocaml-base-compiler.5.3.0-259cc3b16b981e6a51e20757f9cd8e63

    OK

  • prep dependency ocaml-compiler.5.3.0-b4349cf7232e6b66621e089f2b9beee5

    OK

  • prep dependency ocaml-compiler-libs.v0.17.0-ed5667c4e277d3e69a26852ee1e32db8

    OK

  • prep dependency ocaml-config.3-593d62e54e3fb734e52be360ecf90b6d

    OK

  • prep dependency ocaml-syntax-shims.1.0.0-ed5667c4e277d3e69a26852ee1e32db8

    OK

  • prep dependency ocaml_intrinsics_kernel.v0.17.1-ed5667c4e277d3e69a26852ee1e32db8

    OK

  • prep dependency ocamlfind.1.9.8-c43b17abdeb9c13d2ceb83d309ed632a

    OK

  • prep dependency parsexp.v0.17.0-9906706b27dac26ac6d3cafe5c91e28b

    OK

  • prep dependency ppx_assert.v0.17.0-684d9015465cd919a642dbdbba711fca

    OK

  • prep dependency ppx_base.v0.17.0-0147c2c7457e084232c2063ba23d2367

    OK

  • prep dependency ppx_cold.v0.17.0-b35aeb5300c4f45597c9bb28a4ad751d

    OK

  • prep dependency ppx_compare.v0.17.0-5cf8bfba517dd6553e9eade128b555ab

    OK

  • prep dependency ppx_derivers.1.2.1-ed5667c4e277d3e69a26852ee1e32db8

    OK

  • prep dependency ppx_deriving.6.0.3-722d2c779d1eea54c706fb0f1b078df5

    OK

  • prep dependency ppx_deriving_yojson.3.9.1-ac89c9676e0347fa90f70bfac8df5709

    OK

  • prep dependency ppx_enumerate.v0.17.0-5cf8bfba517dd6553e9eade128b555ab

    OK

  • prep dependency ppx_globalize.v0.17.0-5cf8bfba517dd6553e9eade128b555ab

    OK

  • prep dependency ppx_hash.v0.17.0-f0ae5eaeb982de652a7a431a3a75da7a

    OK

  • prep dependency ppx_here.v0.17.0-b35aeb5300c4f45597c9bb28a4ad751d

    OK

  • prep dependency ppx_import.1.11.0-b401b9569656e93766c6ec0d0f8511de

    OK

  • prep dependency ppx_inline_test.v0.17.0-2284a39ce2a8625b6d6fd4918e36353e

    OK

  • prep dependency ppx_optcomp.v0.17.0-888a645030155b5a08541b9b4c0f3cc3

    OK

  • prep dependency ppx_sexp_conv.v0.17.0-5cf8bfba517dd6553e9eade128b555ab

    OK

  • prep dependency ppxlib.0.35.0-103aea86cb67406f620436da7c0a8a35

    OK

  • prep dependency ppxlib_jane.v0.17.2-b401b9569656e93766c6ec0d0f8511de

    OK

  • prep dependency rocq-core.9.0.0-42711f9784d1a269c223fcdb1b3cffd4

    OK

  • prep dependency rocq-prover.9.0.0-45477018d15ab50f22466b847888cf14

    OK

  • prep dependency rocq-runtime.9.0.0-cd3403fa81760fe5e64fc4f84322d965

    OK

  • prep dependency rocq-stdlib.9.0.0-4100e266f8e625b183a74f429d5391f7

    OK

  • prep dependency sexplib.v0.17.0-d68fff44bcb4ecc1886b3864250ed90b

    OK

  • prep dependency sexplib0.v0.17.0-ed5667c4e277d3e69a26852ee1e32db8

    OK

  • prep dependency stdio.v0.17.0-6406eebe11182d8969954ff23a0f78a9

    OK

  • prep dependency stdlib-shims.0.3.0-ed5667c4e277d3e69a26852ee1e32db8

    OK

  • prep dependency stringext.1.6.0-ed5667c4e277d3e69a26852ee1e32db8

    OK

  • prep dependency time_now.v0.17.0-bb76a553e16877aa399e5f0990d29f06

    OK

  • prep dependency uri.4.4.0-7a0d7f43e48d4c8d2f46960d62fc94fc

    OK

  • prep dependency yojson.3.0.0-ed5667c4e277d3e69a26852ee1e32db8

    OK

  • prep dependency zarith.1.14-1cd9ac62aa3bdf3dc6c942cf067940ad

    OK