package camlp5

  1. Overview
  2. No Docs
Preprocessor-pretty-printer of OCaml

Install

Dune Dependency

camlp5.github.io Edit opam file Versions (38)

Authors

  1. D
    Daniel de Rauglaudre

Maintainers

  1. H
    https://github.com/ocaml/opam-repository/issues

Sources

rel617.tar.gz
md5=572e0fa053715e40a40415ea3ca5d4ea

Description

Published: 10 Dec 2016

Dependencies (1)

  1. ocaml >= "1.07" & <= "4.04.1"

Dev Dependencies

None

Used by (13)

  1. bigbro
  2. coq != "8.4.6~camlp4" & != "8.5.0~camlp4" & != "8.5.2~camlp4" & < "8.10.0"
  3. coq-serapi < "8.9.0+0.6.0"
  4. coqide < "8.10.0"
  5. elpi < "1.14.3"
  6. frama-clang
  7. haxe >= "4.0.0"
  8. lablgl >= "1.06"
  9. lablgtk3 >= "3.1.3"
  10. ledit < "2.05"
  11. logger-p5 < "0.4.5"
  12. orpie
  13. ulex-camlp5 < "1.3"

Conflicts

None