ppx_importversion
A syntax extension for importing declarations from interface files
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.9.0/ppx_import-1.9.0.tbz sha256=ed09f06d52d53cb30997f600bac534fc4f7e5fe3996bae6a4ff8d63a6d2688dc sha512=f312b4589ec06d4db94665352ea7d8f1d5afeab76aa5cbea26f53dcfebb8405451e586a14a28f5856cd32f138773eb4c1d5521f44f15d8fab7db1211c2b68bd3 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/ppx_import/ppx_import.1.9.0/opam |
Required by
- coq-serapibuild & <8.20.0+0.20.0
- 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