[MacPorts] #18536: Upgrade to Coq 8.2
MacPorts
noreply at macports.org
Mon Feb 23 11:45:35 PST 2009
#18536: Upgrade to Coq 8.2
--------------------------------+-------------------------------------------
Reporter: wss@… | Owner: alakazam@…
Type: enhancement | Status: closed
Priority: Normal | Milestone: Port Updates
Component: ports | Version: 1.7.0
Resolution: fixed | Keywords:
Port: coq |
--------------------------------+-------------------------------------------
Changes (by alakazam@…):
* status: assigned => closed
* resolution: => fixed
Comment:
Updated in r47219 (maintainer timeout).
--
Ticket URL: <http://trac.macports.org/ticket/18536#comment:4>
MacPorts <http://www.macports.org/>
Ports system for Mac OS
More information about the macports-tickets
mailing list