camlp5
| Author | Daniel de Rauglaudre |
|---|---|
| License | BSD-3-Clause |
| Homepage | https://camlp5.github.io |
| Issue Tracker | https://github.com/camlp5/camlp5/issues |
| Maintainer | https://github.com/ocaml/opam-repository/issues |
| Available | ocaml-version >= "4.02" & ocaml-version <= "4.07.0" |
| Published | Jul 5, 2018 |
| Source [http] | https://github.com/camlp5/camlp5/archive/rel706.tar.gz 7e5bc8a04fd701f1942d5b7aac170667 |
| Statistics | Installed 1131 times last month. |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/camlp5/camlp5.7.06/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 | ||
| elpi | ||
| ledit | ||
