[MacPorts] #50505: Mistakes in Portfile regarding the variant coqide
MacPorts
noreply at macports.org
Wed Feb 3 06:30:46 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@…):
If the original reporter will supply a patch file, I'll test it and see
about getting it committed. Otherwise it may be a little while until I get
to it.
--
Ticket URL: <https://trac.macports.org/ticket/50505#comment:7>
MacPorts <https://www.macports.org/>
Ports system for OS X
More information about the macports-tickets
mailing list