package coq-lsp

1. ppx_hash >= "v0.15.0" & < "v0.18"
2. ppx_compare >= "v0.15.0" & < "v0.18"
3. ppx_sexp_conv >= "v0.15.0" & < "v0.18"
4. sexplib >= "v0.15.0" & < "v0.18"
5. ppx_import >= "1.11.0"
6. ppx_deriving_yojson >= "3.7.0"
7. ppx_deriving >= "5.2"
8. zarith >= "1.13"
9. ocamlfind >= "1.9.1" & (>= "1.9.8" | os != "windows")
10. rocq-prover >= "9.0" & < "9.1"
11. ppx_inline_test >= "v0.15.0"
12. menhir >= "20220210"
13. dune-build-info >= "3.2.0"
14. uri >= "4.2.0"
15. yojson >= "1.7.0"
16. cmdliner >= "1.1.0"
17. dune >= "3.13.0"
18. memprof-limits >= "0.2.1"
19. ocaml <= "5.0"
20. ocaml >= "5.0"

None

None

1. result < "1.5"