#30287: coq @8.2pl1 - Build Failure ------------------------------------+--------------------------------------- Reporter: richardosborn@… | Owner: reilles@… Type: defect | Status: closed Priority: Normal | Milestone: Component: ports | Version: 1.9.2 Resolution: fixed | Keywords: Port: coq | ------------------------------------+--------------------------------------- Changes (by jmr@…): * status: new => closed * resolution: => fixed Comment: Closing as per comment:5. -- Ticket URL: <https://trac.macports.org/ticket/30287#comment:6> MacPorts <http://www.macports.org/> Ports system for Mac OS