#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