#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 -----------------------------------+---------------------------------------- Comment(by hentzlx-cadastro@…): In last version of Macports 2.0.3 the coq port it was updated to 8.3. With this update build work perfectly. The test versions are: Macports 2.0.3 Port coq8.3pl1 XCode 4.1 Mac OS 10.7.1 -- Ticket URL: <https://trac.macports.org/ticket/30287#comment:5> MacPorts <http://www.macports.org/> Ports system for Mac OS