#30287: coq @8.2pl1 - Build Failure -----------------------------------+---------------------------------------- Reporter: richardosborn@… | Owner: reilles@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 1.9.2 Keywords: | Port: coq -----------------------------------+---------------------------------------- Changes (by jmr@…): * owner: macports-tickets@… => reilles@… Comment: Please remember to cc the maintainer. Are you really using 1.9.2 on Lion? If so, you should install a newer version. -- Ticket URL: <https://trac.macports.org/ticket/30287#comment:1> MacPorts <http://www.macports.org/> Ports system for Mac OS