#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