[MacPorts] #50505: Mistakes in Portfile regarding the variant coqide

[MacPorts]

#50505: Mistakes in Portfile regarding the variant coqide
------------------------------------+---------------------
  Reporter:  hippallium-macports@…  |      Owner:  perry@…
      Type:  defect                 |     Status:  new
  Priority:  Normal                 |  Milestone:
 Component:  ports                  |    Version:  2.3.4
Resolution:                         |   Keywords:
      Port:  coq                    |
------------------------------------+---------------------

Comment (by hippallium-macports@…):

 Indeed, in order to build lablgtk2, you need to downgrade ocaml-camlp4 to
 version 4.02.0.1 (revision 131098 of the Portfile). It has been like that
 for months (Ticket #48672).

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