ppx_importversion
A syntax extension for importing declarations from interface files
| Tags | syntax |
|---|---|
| Author | whitequark <whitequark@whitequark.org> |
| License | MIT |
| Published | |
| Homepage | https://github.com/ocaml-ppx/ppx_import |
| Issue Tracker | https://github.com/ocaml-ppx/ppx_import/issues |
| Maintainer | whitequark <whitequark@whitequark.org> |
| Dependencies |
|
| Source [http] | https://github.com/ocaml-ppx/ppx_import/releases/download/v1.11.0/ppx_import-1.11.0.tbz sha256=2667efd48910a1a4e4cb1a31a7d148d0284d112a826a80ec03b0f86546ceac1a sha512=5259faf2c2d6e617b6ebd67aaec2258859d2438a98007dc7e672325b8bce0303946f781370fb385597e5a8c12f3e5b5f57f8f853fb90aa69fcc8e2111c97347d |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/ppx_import/ppx_import.1.11.0/opam |
Required by
- coq-lsp>=0.1.9+8.17
- coq-serapi
- elpiwith-test & >=1.10.0 & <1.11.0
- frama-c>=25.0~beta & <29.0~beta
- goblint<1.1.1
- modelica_ml>=0.2.0
- octez-l2-libs
- pa_ppxwith-test & (<0.07 | >=0.10)
- ppx_deriving_cmdlinerwith-test & <0.6.0
- ppx_deriving_morphismwith-test
- satyrographos>=0.0.2.13
- systemverilog<0.0.2
- tezos-scoru-wasm-helpers
- uwtwith-test & <0.3.3
- vscoq-language-server
- wikitextwith-test
