[MacPorts] #22205: coq-8.2pl1 +coqide build failure.

[MacPorts]

#22205: coq-8.2pl1 +coqide build failure.
-----------------------------------+----------------------------------------
  Reporter:  aran@…                |       Owner:  reilles@…       
      Type:  defect                |      Status:  closed          
  Priority:  Normal                |   Milestone:                  
 Component:  ports                 |     Version:  1.8.1           
Resolution:  fixed                 |    Keywords:  coqide          
      Port:  coq                   |  
-----------------------------------+----------------------------------------
Changes (by avsm@…):

  * status:  new => closed
  * resolution:  => fixed


Comment:

 confirmed fixed in -current macports with the lablgtk2 change

-- 
Ticket URL: <http://trac.macports.org/ticket/22205#comment:8>
MacPorts <http://www.macports.org/>
Ports system for Mac OS