package ppx_import
Build not yet checked sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page
A syntax extension for importing declarations from interface files
Install
dune-project
Dependency
Authors
Maintainers
Sources
ppx_import-1.13.0.tar.gz
md5=c141cff0a506234838236bda6fee2b74
sha512=6f0a48da14c1573829e09e975a68f71499cdbe7680113f868e72e23fd57e675d67029bf7134cae2afb69efc3f6f5da57bcbb19b391641d819751aa937fefc053
Description
Dependencies (4)
Dev Dependencies (3)
-
ppx_deriving
with-test & >= "4.2.1" -
ounit
with-test -
ppx_sexp_conv
with-test & >= "v0.13.0"
Optional Dependencies
None
Used by (12)
-
coq-lsp
>= "0.1.9+8.17" - coq-serapi
-
frama-c
>= "25.0~beta" & < "29.0~beta" -
pa_ppx
= "0.14" -
ppx_deriving_cmdliner
< "0.6.0" - salto-analyzer
-
satyrographos
>= "0.0.2.13" -
systemverilog
< "0.0.2" -
uwt
< "0.3.3" -
vscoq-language-server
< "2.3.3" - vsrocq-language-server
- wikitext
Conflicts
None
Build status
Results of building ppx_import with each compiler on check.ci.ocaml.org, run of against opam-repository 8a77e58. All results for this package.
Each result links to its build log. To keep crawlers from overloading the site, build logs require a GitHub sign-in (see ocurrent/opam-health-check). On your first log, GitHub asks you to “Authorize opam-health-check”, the OCurrent app that runs these checks; it sees only your public profile, not your repositories. The sign-in lasts 30 days.
This version is not in the latest run; the versions below are.
- good Package successfully built
- partial One of the dependencies failed to build
- bad Package failed to build
- n/a Package is not available in this environment
- internal Internal failure
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page