[MacPorts] #37100: coq 8.4 +coqide
MacPorts
noreply at macports.org
Wed Jan 7 12:18:34 PST 2015
#37100: coq 8.4 +coqide
----------------------+---------------------
Reporter: joerg@… | Owner: perry@…
Type: defect | Status: new
Priority: Normal | Milestone:
Component: ports | Version: 2.1.2
Resolution: | Keywords: coqide
Port: coq |
----------------------+---------------------
Changes (by jmr@…):
* owner: reilles@… => perry@…
--
Ticket URL: <https://trac.macports.org/ticket/37100#comment:4>
MacPorts <https://www.macports.org/>
Ports system for OS X
More information about the macports-tickets
mailing list