#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