ppx_importversion Documentation on ocaml.org
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.12.0/ppx_import-1.12.0.tbz sha256=d6fa581c5974ac4746de113ee810a95a67cbbdd2efa04c7e271ab40c5ad17497 sha512=ee2970cbcf0cbfe7fe494ef8ed371c4f13f08e1f0dd360a66836d0103bcaac5ae82df2e485ed1533724dc5db17e7ff1485e6389b97c49ce8c2d8f63eb2ee8ea4 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/ppx_import/ppx_import.1.12.0/opam |
Required by
- coq-lsp>=0.1.9+8.17
- coq-serapi
- frama-c>=25.0~beta & <29.0~beta
- octez-l2-libs
- pa_ppxwith-test & =0.14
- ppx_deriving_cmdlinerwith-test & <0.6.0
- salto-analyzerbuild
- satyrographos>=0.0.2.13
- systemverilog<0.0.2
- tezos-scoru-wasm-helpers
- uwtwith-test & <0.3.3
- vscoq-language-server
- vsrocq-language-server
- wikitextwith-test
