#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