[MacPorts] #48155: coq coq-8.4pl6_0 build fails
MacPorts
noreply at macports.org
Wed Jun 24 08:03:33 PDT 2015
#48155: coq coq-8.4pl6_0 build fails
---------------------+---------------------
Reporter: lord@… | Owner: perry@…
Type: defect | Status: new
Priority: Normal | Milestone:
Component: ports | Version: 2.3.3
Resolution: | Keywords:
Port: coq |
---------------------+---------------------
Comment (by lord@…):
I have attached the full log file. Let me me know if anything else I can
provide.
--
Ticket URL: <https://trac.macports.org/ticket/48155#comment:2>
MacPorts <https://www.macports.org/>
Ports system for OS X
More information about the macports-tickets
mailing list