[MacPorts] #41877: coq @8.4pl2_1: update to 8.4pl3 (was: Upgrade coq to 8.4pl3)
MacPorts
noreply at macports.org
Sat Dec 21 21:44:42 PST 2013
#41877: coq @8.4pl2_1: update to 8.4pl3
----------------------+----------------------
Reporter: perry@… | Owner: larryv@…
Type: update | Status: assigned
Priority: Normal | Milestone:
Component: ports | Version:
Resolution: | Keywords: haspatch
Port: coq |
----------------------+----------------------
Changes (by larryv@…):
* owner: macports-tickets@… => larryv@…
* status: new => assigned
* version: 2.2.1 =>
* keywords: haspatch maintainer => haspatch
Comment:
Thanks. This port doesn’t currently have a maintainer; would you be
interested in volunteering?
--
Ticket URL: <https://trac.macports.org/ticket/41877#comment:1>
MacPorts <http://www.macports.org/>
Ports system for OS X
More information about the macports-tickets
mailing list