camlp5

Preprocessor-pretty-printer of OCaml
Description
Install
Published
10 Dec 2016
Authors
Maintainers
Sources
rel617.tar.gz
md5=572e0fa053715e40a40415ea3ca5d4ea
Dependencies
ocaml >= "1.07" & <= "4.04.1"
Reverse Dependencies
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"
haxe >= "4.0.0"
lablgtk3 >= "3.1.3"
ledit < "2.05"
logger-p5 < "0.4.5"