#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@…): I use Mac OS X 10.9.1 with an up-to-date Macports distribution. {{{ $ port MacPorts 2.2.1 }}} {{{ $ ocaml -version The OCaml toplevel, version 4.01.0 }}} Replying to [comment:2 egall@…]:
What is your locale, anyways?
{{{ $ locale LANG= LC_COLLATE="C" LC_CTYPE="UTF-8" LC_MESSAGES="C" LC_MONETARY="C" LC_NUMERIC="C" LC_TIME="C" LC_ALL= }}} Any idea what is going on? -- Ticket URL: <https://trac.macports.org/ticket/42122#comment:4> MacPorts <http://www.macports.org/> Ports system for OS X