camlp5version
Preprocessor-pretty-printer of OCaml
| Author | Daniel de Rauglaudre |
|---|---|
| License | BSD-3-Clause |
| Published | |
| Homepage | https://camlp5.github.io |
| Issue Tracker | https://github.com/camlp5/camlp5/issues |
| Maintainer | https://github.com/ocaml/opam-repository/issues |
| Dependencies |
|
| Conflicts |
|
| Source [http] | https://github.com/camlp5/camlp5/archive/rel617.tar.gz md5=572e0fa053715e40a40415ea3ca5d4ea |
| Statistics | Installed 27 times last month. |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/camlp5/camlp5.6.17/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
