#42122: coq: cannot start coqide ------------------------------------+-------------------------------- Reporter: hippallium-macports@… | Owner: macports-tickets@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.2.1 Resolution: | Keywords: Port: coq | ------------------------------------+-------------------------------- Comment (by hippallium-macports@…): The problem was solved by installing XQuartz. The pre-installed X11.app in Applications/Utilities was a fake that said I should install XQuartz. Unfortunately, I was not getting this message when starting coqide. -- Ticket URL: <https://trac.macports.org/ticket/42122#comment:5> MacPorts <http://www.macports.org/> Ports system for OS X