[MacPorts] #42121: coq: building with the variant +doc fails (was: The building of the port coq with the variant +doc fails)
MacPorts
noreply at macports.org
Tue Jan 14 08:15:47 PST 2014
#42121: coq: building with the variant +doc fails
------------------------------------+--------------------------------
Reporter: hippallium-macports@… | Owner: macports-tickets@…
Type: defect | Status: new
Priority: Normal | Milestone:
Component: ports | Version: 2.2.1
Resolution: | Keywords:
Port: coq |
------------------------------------+--------------------------------
Changes (by macsforever2000@…):
* keywords: doc =>
--
Ticket URL: <https://trac.macports.org/ticket/42121#comment:1>
MacPorts <http://www.macports.org/>
Ports system for OS X
More information about the macports-tickets
mailing list