Package coq-lsp

do-deps
active
do-compile
active

All universes

807ca67a651a85fe60c11123aa0c4a7c

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

Package coq-lsp

do-deps

do-compile

All universes

807ca67a651a85fe60c11123aa0c4a7c

prep

prep coq-lsp.0.2.5+9.1-807ca67a651a85fe60c11123aa0c4a7c

prep dependency angstrom.0.16.1-21de8140928bee878995da89e9ebafb1

prep dependency base.v0.17.3-f702a69734228d2bf9d16a172a6bd407

prep dependency base-bytes.base-02dd50b499536cc84ff4023100e10606

prep dependency base-threads.base-0c556d5438933bda409408695b5733e7

prep dependency base-unix.base-0c556d5438933bda409408695b5733e7

prep dependency bigstringaf.0.10.0-efe110297d84933ab2f624d5d53b3c2a

prep dependency cmdliner.2.1.0-24d8a45b73ecf4f375220abed490622c

prep dependency conf-gmp.5-9a668c7fa9112a3f1e23ef4159d44fb7

prep dependency conf-linux-libc-dev.0-0c556d5438933bda409408695b5733e7

prep dependency conf-pkg-config.4-0c556d5438933bda409408695b5733e7

prep dependency cppo.1.8.0-37e4299220f8ef357865b20a48fbf90a

prep dependency csexp.1.5.2-37e4299220f8ef357865b20a48fbf90a

prep dependency dune.3.21.0-e024f97198156aca38c1ffa4a15e7553

prep dependency dune-build-info.3.21.0-37e4299220f8ef357865b20a48fbf90a

prep dependency dune-configurator.3.21.0-57e97808e6e80cdc4cab0baec651b77d

prep dependency fmt.0.11.0-40d66b59e42ac0b98712a7c53dc417dc

prep dependency gen.1.1-c4bed9f34c2db7c819746e49ca13be5f

prep dependency jane-street-headers.v0.17.0-37e4299220f8ef357865b20a48fbf90a

prep dependency js_of_ocaml-compiler.6.2.0-a089a0a8e358a8e6e0672669a21a1db7

prep dependency jst-config.v0.17.0-0c7e8a3ab259a3c78d285d6c7715d962

prep dependency logs.0.10.0-ae5b4e2e6b90497f019a8d689fcb3953

prep dependency lwt.6.1.0-5e0b35c1af8a7c01b8f890b2b2935406

prep dependency menhir.20260122-5e2fe9e9a85cad7a20088ef67b5461af

prep dependency menhirCST.20260122-37e4299220f8ef357865b20a48fbf90a

prep dependency menhirGLR.20260122-37e4299220f8ef357865b20a48fbf90a

prep dependency menhirLib.20260122-37e4299220f8ef357865b20a48fbf90a

prep dependency menhirSdk.20260122-37e4299220f8ef357865b20a48fbf90a

prep dependency num.1.6-24d8a45b73ecf4f375220abed490622c

prep dependency ocaml.5.2.1-33dc7449289735d50b43af338d1f909c

prep dependency ocaml-base-compiler.5.2.1-0c556d5438933bda409408695b5733e7

prep dependency ocaml-compiler-libs.v0.17.0-37e4299220f8ef357865b20a48fbf90a

prep dependency ocaml-config.3-645e3af890eb0011d48fed8c291ad8db

prep dependency ocaml-syntax-shims.1.0.0-37e4299220f8ef357865b20a48fbf90a

prep dependency ocaml_intrinsics_kernel.v0.17.1-37e4299220f8ef357865b20a48fbf90a

prep dependency ocamlbuild.0.16.1-24d8a45b73ecf4f375220abed490622c

prep dependency ocamlfind.1.9.8-24d8a45b73ecf4f375220abed490622c

prep dependency ocplib-endian.1.2-0a4dafff8fa368c3011e1d8229b8c42a

prep dependency parsexp.v0.17.0-49d09ab4d2b4552878df9dd872fb1440

prep dependency ppx_assert.v0.17.0-f1f94e410351cfeb180c36870e6791a3

prep dependency ppx_base.v0.17.0-429226dc3e700924e1ad966000c17aad

prep dependency ppx_cold.v0.17.0-5a319c40a28e9d692c05830e55ce5a72

prep dependency ppx_compare.v0.17.0-d8a68867218edd08b0915f3fd30ae13b

prep dependency ppx_derivers.1.2.1-37e4299220f8ef357865b20a48fbf90a

prep dependency ppx_deriving.6.0.3-295f0541d3e3e9d63747dc826553a9ca

prep dependency ppx_deriving_yojson.3.9.1-2e86607e9c4f85431e7c9379d595a470

prep dependency ppx_enumerate.v0.17.0-d8a68867218edd08b0915f3fd30ae13b

prep dependency ppx_globalize.v0.17.0-d8a68867218edd08b0915f3fd30ae13b

prep dependency ppx_hash.v0.17.0-19dc45176f8d583f67b0b660a965aa7d

prep dependency ppx_here.v0.17.0-5a319c40a28e9d692c05830e55ce5a72

prep dependency ppx_import.1.12.0-61061665637144ee52f18eb3b1c54f8e

prep dependency ppx_inline_test.v0.17.0-41aae7b367a801b47f19a5f7c562d975

prep dependency ppx_optcomp.v0.17.0-e1cb15a87dc33bcb1a5a84eaf2dc6827

prep dependency ppx_sexp_conv.v0.17.0-d8a68867218edd08b0915f3fd30ae13b

prep dependency ppxlib.0.35.0-b8d230d34791d09142d99fe5a1d2a753

prep dependency ppxlib_jane.v0.17.0-61061665637144ee52f18eb3b1c54f8e

prep dependency re.1.14.0-37e4299220f8ef357865b20a48fbf90a

prep dependency rocq-core.9.1.0-22c34cbfb34b8c3b60f4ed5a7ba37631

prep dependency rocq-runtime.9.1.0-df81cde4e1f619e49297be73d8e7e44b

prep dependency sedlex.3.7-c2b1147f7afd088ac596dcb9559ffe11

prep dependency seq.base-24d8a45b73ecf4f375220abed490622c

prep dependency sexplib.v0.17.0-970407aeffc44d7435d131c4648a612a

prep dependency sexplib0.v0.17.0-37e4299220f8ef357865b20a48fbf90a

prep dependency stdio.v0.17.0-cab59ee3cd8621036c007df41e0ac84e

prep dependency stdlib-shims.0.3.0-37e4299220f8ef357865b20a48fbf90a

prep dependency stringext.1.6.0-37e4299220f8ef357865b20a48fbf90a

prep dependency time_now.v0.17.0-233e50bcb282081f47e09814ac7fef34

prep dependency topkg.1.1.1-4583aec06d38ac96c20ba3fc9766a50c

prep dependency tyxml.4.6.0-167c484cde8be081bde5fca845fc05ea

prep dependency uri.4.4.0-6463c9d1ec492846e32c64cab2167fdf

prep dependency uutf.1.0.4-1331c26b353b333ec366ef0c0c7b7d01

prep dependency yojson.3.0.0-37e4299220f8ef357865b20a48fbf90a

prep dependency zarith.1.14-4b6af3164219f7ee9e6bde9e2a7688e7