[MacPorts] #30620: [Coq] Build failure
MacPorts
noreply at macports.org
Sun May 13 22:33:37 PDT 2012
#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
More information about the macports-tickets
mailing list