[MacPorts] #50505: Mistakes in Portfile regarding the variant coqide
MacPorts
noreply at macports.org
Fri Feb 5 07:28:53 PST 2016
#50505: Mistakes in Portfile regarding the variant coqide
------------------------------------+---------------------
Reporter: hippallium-macports@… | Owner: perry@…
Type: defect | Status: new
Priority: Normal | Milestone:
Component: ports | Version: 2.3.4
Resolution: | Keywords:
Port: coq |
------------------------------------+---------------------
Comment (by perry@…):
Precisely the issues. I think fixing ticket #48672 without a downgrade is
a prerequisite here, and I'm unsure how to specify a dependency on a port
variant.
--
Ticket URL: <https://trac.macports.org/ticket/50505#comment:10>
MacPorts <https://www.macports.org/>
Ports system for OS X
More information about the macports-tickets
mailing list