package camlp5
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Preprocessor-pretty-printer of OCaml
Install
Dune Dependency
Authors
Maintainers
Sources
camlp5-6.15.tgz
sha256=2e0e1e31e0537f2179766820dd9bd0a4d424bc5ab9c610e6dbf9145f27747f2b
md5=ad79f4b4384109fbb92b1b3bcb105224
Description
Published: 28 Apr 2016
Dependencies (1)
-
ocaml
>= "4.02.0" & <= "4.03.0"
Dev Dependencies
None
Used by (14)
- bigbro
-
coq
!= "8.4.6~camlp4" & != "8.5.0~camlp4" & != "8.5.2~camlp4" & < "8.10.0" -
coq-serapi
< "8.9.0+0.6.0" -
coqide
< "8.10.0" -
elpi
< "1.14.3" - frama-clang
-
haxe
>= "4.0.0" - hol_light
-
lablgl
>= "1.06" -
lablgtk3
>= "3.1.3" -
ledit
< "2.05" -
logger-p5
< "0.4.5" - orpie
-
ulex-camlp5
< "1.3"
Conflicts
None
On This Page