[MacPorts] #48155: coq coq-8.4pl6_0 build fails

[MacPorts]

#48155: coq coq-8.4pl6_0 build fails
---------------------+---------------------
  Reporter:  lord@…  |      Owner:  perry@…
      Type:  defect  |     Status:  new
  Priority:  Normal  |  Milestone:
 Component:  ports   |    Version:  2.3.3
Resolution:          |   Keywords:
      Port:  coq     |
---------------------+---------------------

Comment (by ryandesign@…):

 ocaml was updated to 4.02.2 in r137807. camlp5 and ocaml-camlp4 must be
 updated simultaneously with every ocaml update (see the comment at the top
 of the ocaml portfile), but this was not done with ocaml 4.02.2, so caml
 6.12 would fail to build thereafter. So I updated camlp5 to version 6.13
 in r137976 which does build with ocaml 4.02.2.

-- 
Ticket URL: <https://trac.macports.org/ticket/48155#comment:8>
MacPorts <https://www.macports.org/>
Ports system for OS X