[MacPorts] #30287: coq @8.2pl1 - Build Failure
MacPorts
noreply at macports.org
Thu Jul 21 13:53:31 PDT 2011
#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 richardosborn@…):
I just retried with the 2.0RC1 and received the same error message.
--
Ticket URL: <https://trac.macports.org/ticket/30287#comment:2>
MacPorts <http://www.macports.org/>
Ports system for Mac OS
More information about the macports-tickets
mailing list