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/ocaml/opam-repository/issues |
| Maintainer | https://github.com/ocaml/opam-repository/issues |
| Dependencies |
|
| Source [http] | https://github.com/ocaml/opam-source-archives/raw/main/camlp5-6.15.tgz sha256=2e0e1e31e0537f2179766820dd9bd0a4d424bc5ab9c610e6dbf9145f27747f2b md5=ad79f4b4384109fbb92b1b3bcb105224 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/camlp5/camlp5.6.15/opam |
Required by
- bigbro
- coq!=8.4.6~camlp4 & !=8.5.0~camlp4 & !=8.5.2~camlp4 & <8.10.0
- coq-serapi<8.9.0+0.6.0
- coqide<8.10.0
- elpi<1.14.3
- frama-clang
- haxebuild & >=4.0.0
- lablgl>=1.06
- lablgtk3dev & >=3.1.3
- ledit<2.05
- logger-p5<0.4.5
- orpiebuild
- ulex-camlp5<1.3
Optionally used by
- elpi=1.15.0
