#30620: [Coq] Build failure ------------------------------+--------------------------------------------- Reporter: mt1882@… | Owner: reilles@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.0.1 Keywords: | Port: coq ------------------------------+--------------------------------------------- Comment(by jmr@…): Is this still a problem with 8.3pl2? If so, please attach a complete log (the one currently attached starts with the build phase already partly complete). -- Ticket URL: <https://trac.macports.org/ticket/30620#comment:2> MacPorts <http://www.macports.org/> Ports system for Mac OS