[MacPorts] #50505: Mistakes in Portfile regarding the variant coqide
MacPorts
noreply at macports.org
Mon Feb 1 08:03:55 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 |
------------------------------------+---------------------
Changes (by mf2k@…):
* keywords: coqide, lablgtk2, gtksourceview2 =>
* cc: perry@…, hippallium-macports@… (removed)
* owner: macports-tickets@… => perry@…
Comment:
As reporter, you do not need to Cc yourself.
--
Ticket URL: <https://trac.macports.org/ticket/50505#comment:4>
MacPorts <https://www.macports.org/>
Ports system for OS X
More information about the macports-tickets
mailing list