[MacPorts] #36005: coq: update to 8.4
MacPorts
noreply at macports.org
Mon Oct 1 12:47:10 PDT 2012
#36005: coq: update to 8.4
----------------------+-----------------------
Reporter: perry@… | Owner: reilles@…
Type: update | Status: closed
Priority: Normal | Milestone:
Component: ports | Version: 2.1.2
Resolution: fixed | Keywords: haspatch
Port: coq |
----------------------+-----------------------
Changes (by cal@…):
* cc: cal@… (added)
* status: new => closed
* resolution: => fixed
Comment:
Updated in r98282.
--
Ticket URL: <https://trac.macports.org/ticket/36005#comment:3>
MacPorts <http://www.macports.org/>
Ports system for Mac OS
More information about the macports-tickets
mailing list