camlp5
| Author | Daniel de Rauglaudre |
|---|---|
| License | BSD-3-Clause |
| Homepage | http://pauillac.inria.fr/~ddr/camlp5 |
| Issue Tracker | mailto:daniel.de_rauglaudre@inria.fr |
| Maintainer | Gabriel Scherer <gabriel.scherer@gmail.com> |
| Available | ocaml-version < "4.02.4" |
| Published | Jul 30, 2015 |
| Source [http] | http://camlp5.gforge.inria.fr/distrib/src/camlp5-6.14.tgz f603baad3d742048889911e2d4795ac9 |
| Statistics | Installed 3282 times last month. |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/camlp5/camlp5.6.14/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 | ||
| coq-serapi | ||
| coqide | ||
| ledit | ||
