To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
A syntax extension for importing declarations from interface files
Install
Authors
Maintainers
Sources
ppx_import-1.10.0.tbz
sha256=300f2c7f417b0a1d702432fc13ce3bd2e90ac7b2a2796ca35899c942ca81556f
sha512=835d5abff0f1eba28313f5925beaeb8c27a4458c91cf395fdd28b984b0745aad8725b4a8a921517ad09ed567ff8586f48a4afa4127eab6c2f773efc5d50c40fb
Description
Dependencies (4)
Dev Dependencies (3)
-
ppx_deriving
with-test & >= "4.2.1" -
ounit
with-test -
ppx_sexp_conv
with-test & >= "v0.13.0"
Used by (12)
- coq-serapi
-
elpi
>= "1.10.0" & < "1.11.0" -
frama-c
>= "25.0~beta" -
goblint
< "1.1.1" -
modelica_ml
>= "0.2.0" -
pa_ppx
< "0.07" | >= "0.10" -
ppx_deriving_cmdliner
< "0.6.0" - ppx_deriving_morphism
-
systemverilog
< "0.0.2" - tezos-scoru-wasm-helpers
-
uwt
< "0.3.3" - wikitext
Conflicts
On This Page