#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: new Priority: Normal | Milestone: Port Bugs Component: ports | Version: 1.2 Resolution: | Keywords: ----------------------------+----------------------------------------------- Comment (by jmr@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