[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:  closed                               
  Priority:  Normal         |   Milestone:  Port Bugs                            
 Component:  ports          |     Version:  1.2                                  
Resolution:  fixed          |    Keywords:                                       
----------------------------+-----------------------------------------------
Changes (by jmr at macports.org):

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

Comment:

 Reporter mailed me privately and indicated that the problem no longer
 occurs. Marking fixed.

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