[MacPorts] #38696: Please update coq to 8.4pl2
MacPorts
noreply at macports.org
Sat Apr 6 10:18:33 PDT 2013
#38696: Please update coq to 8.4pl2
----------------------+--------------------------------
Reporter: perry@… | Owner: macports-tickets@…
Type: update | Status: closed
Priority: Normal | Milestone:
Component: ports | Version: 2.1.3
Resolution: fixed | Keywords:
Port: coq |
----------------------+--------------------------------
Changes (by cal@…):
* status: new => closed
* resolution: => fixed
Comment:
r104985. I guess 8 weeks is enough of a maintainer timeout.
--
Ticket URL: <https://trac.macports.org/ticket/38696#comment:1>
MacPorts <http://www.macports.org/>
Ports system for OS X
More information about the macports-tickets
mailing list