[MacPorts] #42122: coq: cannot start coqide
MacPorts
noreply at macports.org
Sun Aug 3 17:59:40 PDT 2014
#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
More information about the macports-tickets
mailing list