[MacPorts] #9339: BUG: problems installing port coq when lablgtk2 port is present

[MacPorts]

#9339: BUG: problems installing port coq when lablgtk2 port is present
----------------------------+-----------------------------------------------
  Reporter:  diem at cs.vu.nl  |       Owner:  macports-tickets at lists.macosforge.org
      Type:  defect         |      Status:  new                                  
  Priority:  Normal         |   Milestone:  Port Bugs                            
 Component:  ports          |     Version:  1.2                                  
Resolution:                 |    Keywords:                                       
----------------------------+-----------------------------------------------
Comment (by jmr at macports.org):

 Does this problem still occur?

-- 
Ticket URL: <http://trac.macosforge.org/projects/macports/ticket/9339#comment:6>
MacPorts </projects/macports>
Ports system for Mac OS