package camlp5
Preprocessor-pretty-printer of OCaml
Install
Dune Dependency
Authors
Maintainers
Sources
rel617.tar.gz
sha256=8fa2a46a7030b1194862650cbb71ab52a10a0174890560a8b6edf236f8937414
md5=572e0fa053715e40a40415ea3ca5d4ea
Description
Published: 10 Dec 2016
Dependencies (1)
-
ocaml
>= "1.07" & <= "4.04.1"
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
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page