camlp5version
Preprocessor-pretty-printer of OCaml
Author | Daniel de Rauglaudre |
---|---|
License | BSD-3-Clause |
Published | |
Homepage | http://pauillac.inria.fr/~ddr/camlp5 |
Issue Tracker | mailto:daniel.de_rauglaudre@inria.fr |
Maintainer | Gabriel Scherer <gabriel.scherer@gmail.com> |
Dependencies |
|
Conflicts |
|
Source [http] | http://camlp5.gforge.inria.fr/distrib/src/camlp5-6.14.tgz md5=f603baad3d742048889911e2d4795ac9 |
Statistics | Installed 49 times last month. |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/camlp5/camlp5.6.14/opam |
Required by
- bigbro
- coq!=8.4.6~camlp4 & !=8.5.0~camlp4 & !=8.5.2~camlp4
- coq-serapi<8.9.0+0.6.0
- coqide
- elpi
- ledit
- orpiebuild
- ulex-camlp5