Package coq-lsp
do-deps
activedo-compile
active
All universes
22324600063b7f86da73781a801a0947
prep
prep coq-lsp.0.2.5+9.0-22324600063b7f86da73781a801a0947
activeprep dependency angstrom.0.16.1-21de8140928bee878995da89e9ebafb1
activeprep dependency base.v0.17.3-f702a69734228d2bf9d16a172a6bd407
activeprep dependency base-bytes.base-02dd50b499536cc84ff4023100e10606
activeprep dependency base-threads.base-0c556d5438933bda409408695b5733e7
activeprep dependency base-unix.base-0c556d5438933bda409408695b5733e7
activeprep dependency bigstringaf.0.10.0-efe110297d84933ab2f624d5d53b3c2a
activeprep dependency cmdliner.2.1.0-24d8a45b73ecf4f375220abed490622c
activeprep dependency conf-gmp.5-9a668c7fa9112a3f1e23ef4159d44fb7
activeprep dependency conf-linux-libc-dev.0-0c556d5438933bda409408695b5733e7
activeprep dependency conf-pkg-config.4-0c556d5438933bda409408695b5733e7
activeprep dependency cppo.1.8.0-37e4299220f8ef357865b20a48fbf90a
activeprep dependency csexp.1.5.2-37e4299220f8ef357865b20a48fbf90a
activeprep dependency dune.3.21.0-e024f97198156aca38c1ffa4a15e7553
activeprep dependency dune-build-info.3.21.0-37e4299220f8ef357865b20a48fbf90a
activeprep dependency dune-configurator.3.21.0-57e97808e6e80cdc4cab0baec651b77d
activeprep dependency fmt.0.11.0-40d66b59e42ac0b98712a7c53dc417dc
activeprep dependency gen.1.1-c4bed9f34c2db7c819746e49ca13be5f
activeprep dependency jane-street-headers.v0.17.0-37e4299220f8ef357865b20a48fbf90a
activeprep dependency js_of_ocaml-compiler.6.2.0-a089a0a8e358a8e6e0672669a21a1db7
activeprep dependency jst-config.v0.17.0-0c7e8a3ab259a3c78d285d6c7715d962
activeprep dependency logs.0.10.0-ae5b4e2e6b90497f019a8d689fcb3953
activeprep dependency lwt.6.1.0-5e0b35c1af8a7c01b8f890b2b2935406
activeprep dependency menhir.20260122-5e2fe9e9a85cad7a20088ef67b5461af
activeprep dependency menhirCST.20260122-37e4299220f8ef357865b20a48fbf90a
activeprep dependency menhirGLR.20260122-37e4299220f8ef357865b20a48fbf90a
activeprep dependency menhirLib.20260122-37e4299220f8ef357865b20a48fbf90a
activeprep dependency menhirSdk.20260122-37e4299220f8ef357865b20a48fbf90a
activeprep dependency num.1.6-24d8a45b73ecf4f375220abed490622c
activeprep dependency ocaml.5.2.1-33dc7449289735d50b43af338d1f909c
activeprep dependency ocaml-base-compiler.5.2.1-0c556d5438933bda409408695b5733e7
activeprep dependency ocaml-compiler-libs.v0.17.0-37e4299220f8ef357865b20a48fbf90a
activeprep dependency ocaml-config.3-645e3af890eb0011d48fed8c291ad8db
activeprep dependency ocaml-syntax-shims.1.0.0-37e4299220f8ef357865b20a48fbf90a
activeprep dependency ocaml_intrinsics_kernel.v0.17.1-37e4299220f8ef357865b20a48fbf90a
activeprep dependency ocamlbuild.0.16.1-24d8a45b73ecf4f375220abed490622c
activeprep dependency ocamlfind.1.9.8-24d8a45b73ecf4f375220abed490622c
activeprep dependency ocplib-endian.1.2-0a4dafff8fa368c3011e1d8229b8c42a
activeprep dependency parsexp.v0.17.0-49d09ab4d2b4552878df9dd872fb1440
activeprep dependency ppx_assert.v0.17.0-f1f94e410351cfeb180c36870e6791a3
activeprep dependency ppx_base.v0.17.0-429226dc3e700924e1ad966000c17aad
activeprep dependency ppx_cold.v0.17.0-5a319c40a28e9d692c05830e55ce5a72
activeprep dependency ppx_compare.v0.17.0-d8a68867218edd08b0915f3fd30ae13b
activeprep dependency ppx_derivers.1.2.1-37e4299220f8ef357865b20a48fbf90a
activeprep dependency ppx_deriving.6.0.3-295f0541d3e3e9d63747dc826553a9ca
activeprep dependency ppx_deriving_yojson.3.9.1-2e86607e9c4f85431e7c9379d595a470
activeprep dependency ppx_enumerate.v0.17.0-d8a68867218edd08b0915f3fd30ae13b
activeprep dependency ppx_globalize.v0.17.0-d8a68867218edd08b0915f3fd30ae13b
activeprep dependency ppx_hash.v0.17.0-19dc45176f8d583f67b0b660a965aa7d
activeprep dependency ppx_here.v0.17.0-5a319c40a28e9d692c05830e55ce5a72
activeprep dependency ppx_import.1.12.0-61061665637144ee52f18eb3b1c54f8e
activeprep dependency ppx_inline_test.v0.17.0-41aae7b367a801b47f19a5f7c562d975
activeprep dependency ppx_optcomp.v0.17.0-e1cb15a87dc33bcb1a5a84eaf2dc6827
activeprep dependency ppx_sexp_conv.v0.17.0-d8a68867218edd08b0915f3fd30ae13b
activeprep dependency ppxlib.0.35.0-b8d230d34791d09142d99fe5a1d2a753
activeprep dependency ppxlib_jane.v0.17.0-61061665637144ee52f18eb3b1c54f8e
activeprep dependency re.1.14.0-37e4299220f8ef357865b20a48fbf90a
activeprep dependency rocq-core.9.0.1-7763a9d1f283ba6a2d73bd116a2756ca
activeprep dependency rocq-prover.9.0.0-9985b5b1b11407d638bde59fcf9df64e
activeprep dependency rocq-runtime.9.0.1-df81cde4e1f619e49297be73d8e7e44b
activeprep dependency rocq-stdlib.9.0.0-bd619be641362eca49ee27a03f5423bb
activeprep dependency sedlex.3.7-c2b1147f7afd088ac596dcb9559ffe11
activeprep dependency seq.base-24d8a45b73ecf4f375220abed490622c
activeprep dependency sexplib.v0.17.0-970407aeffc44d7435d131c4648a612a
activeprep dependency sexplib0.v0.17.0-37e4299220f8ef357865b20a48fbf90a
activeprep dependency stdio.v0.17.0-cab59ee3cd8621036c007df41e0ac84e
activeprep dependency stdlib-shims.0.3.0-37e4299220f8ef357865b20a48fbf90a
activeprep dependency stringext.1.6.0-37e4299220f8ef357865b20a48fbf90a
activeprep dependency time_now.v0.17.0-233e50bcb282081f47e09814ac7fef34
activeprep dependency topkg.1.1.1-4583aec06d38ac96c20ba3fc9766a50c
activeprep dependency tyxml.4.6.0-167c484cde8be081bde5fca845fc05ea
activeprep dependency uri.4.4.0-6463c9d1ec492846e32c64cab2167fdf
activeprep dependency uutf.1.0.4-1331c26b353b333ec366ef0c0c7b7d01
activeprep dependency yojson.3.0.0-37e4299220f8ef357865b20a48fbf90a
activeprep dependency zarith.1.14-4b6af3164219f7ee9e6bde9e2a7688e7
active