package ppx_import

1. ppxlib >= "0.26.0"
2. dune >= "1.11.0"
3. ocaml >= "4.10.0"
4. ocaml >= "4.05.0" & < "4.10.0"

1. ppx_deriving with-test & >= "4.2.1"
2. ounit with-test
3. ppx_sexp_conv with-test & >= "v0.13.0"

1. coq-lsp >= "0.1.9+8.17"
2. coq-serapi
3. elpi >= "1.10.0" & < "1.11.0"
4. frama-c >= "25.0~beta" & < "29.0~beta"
5. goblint < "1.1.1"
6. modelica_ml >= "0.2.0"
7. octez-l2-libs
8. pa_ppx < "0.07" | >= "0.10"
9. ppx_deriving_cmdliner < "0.6.0"
10. ppx_deriving_morphism
11. satyrographos >= "0.0.2.13"
12. systemverilog < "0.0.2"
13. tezos-scoru-wasm-helpers
14. uwt < "0.3.3"
15. vscoq-language-server
16. wikitext

None