camlp5

Author Daniel de Rauglaudre
License BSD-3-Clause
Homepage https://camlp5.github.io
Issue Tracker https://github.com/camlp5/camlp5/issues
Maintainer Justus Matthiesen <justus.matthiesen@cl.cam.ac.uk>
Available ocaml-version >= "1.07" & ocaml-version <= "4.04.1"
Published Dec 9, 2016
Source [http] http://github.com/camlp5/camlp5/archive/rel617.tar.gz
572e0fa053715e40a40415ea3ca5d4ea
Statistics Installed 1832 times in last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/camlp5/camlp5.6.17/opam

Preprocessor-pretty-printer of OCaml

Necessary for
bigbro
coq
| 8.4.6~camlp4
>= 8.5.2
& >= 8.5.0
8.5.2~camlp4
& >= 8.4.6
8.5.0~camlp4
coqide
ledit