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 |
| Documentation | https://ocaml-ppx.github.io/ppx_import/ |
| Maintainer | whitequark <whitequark@whitequark.org> |
| Dependencies |
|
| Source [http] | https://github.com/ocaml-ppx/ppx_import/releases/download/v1.13.0/ppx_import-1.13.0.tar.gz md5=c141cff0a506234838236bda6fee2b74 sha512=6f0a48da14c1573829e09e975a68f71499cdbe7680113f868e72e23fd57e675d67029bf7134cae2afb69efc3f6f5da57bcbb19b391641d819751aa937fefc053 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/ppx_import/ppx_import.1.13.0/opam |
Required by
- coq-lsp>=0.1.9+8.17
- coq-serapi
- frama-c>=25.0~beta & <29.0~beta
- pa_ppxwith-test & =0.14
- ppx_deriving_cmdlinerwith-test & <0.6.0
- salto-analyzerbuild
- satyrographos>=0.0.2.13
- systemverilog<0.0.2
- uwtwith-test & <0.3.3
- vscoq-language-server<2.3.3
- vsrocq-language-server
- wikitextwith-test
