#9339: BUG: problems installing port coq when lablgtk2 port is present ----------------------------+----------------------------------------------- Reporter: diem@cs.vu.nl | Owner: macports-tickets@lists.macosforge.org Type: defect | Status: closed Priority: Normal | Milestone: Port Bugs Component: ports | Version: 1.2 Resolution: fixed | Keywords: ----------------------------+----------------------------------------------- Changes (by jmr@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