#42122: coq: cannot start coqide ------------------------------------+-------------------------------- Reporter: hippallium-macports@… | Owner: macports-tickets@… Type: defect | Status: closed Priority: Normal | Milestone: Component: ports | Version: 2.2.1 Resolution: worksforme | Keywords: Port: coq | ------------------------------------+-------------------------------- Changes (by khindenburg@…): * status: new => closed * resolution: => worksforme Comment: closing per comment5 and works for me -- Ticket URL: <https://trac.macports.org/ticket/42122#comment:7> MacPorts <http://www.macports.org/> Ports system for OS X