[MacPorts] #41877: coq @8.4pl2_1: update to 8.4pl3
MacPorts
noreply at macports.org
Sat Dec 21 22:09:35 PST 2013
#41877: coq @8.4pl2_1: update to 8.4pl3
----------------------+----------------------
Reporter: perry@… | Owner: larryv@…
Type: update | Status: closed
Priority: Normal | Milestone:
Component: ports | Version:
Resolution: fixed | Keywords: haspatch
Port: coq |
----------------------+----------------------
Changes (by larryv@…):
* status: assigned => closed
* resolution: => fixed
Comment:
The checksums in your patch were incorrect.
r115010:115013
--
Ticket URL: <https://trac.macports.org/ticket/41877#comment:2>
MacPorts <http://www.macports.org/>
Ports system for OS X
More information about the macports-tickets
mailing list