[MacPorts] #30620: [Coq] Build failure
MacPorts
noreply at macports.org
Fri Dec 28 15:20:46 PST 2012
#30620: [Coq] Build failure
-----------------------+-----------------------
Reporter: mt1882@… | Owner: reilles@…
Type: defect | Status: new
Priority: Normal | Milestone:
Component: ports | Version: 2.0.1
Resolution: | Keywords:
Port: coq |
-----------------------+-----------------------
Comment (by ryandesign@…):
Any news? Is this still a problem?
--
Ticket URL: <https://trac.macports.org/ticket/30620#comment:3>
MacPorts <http://www.macports.org/>
Ports system for Mac OS
More information about the macports-tickets
mailing list