[MacPorts] #18536: Upgrade to Coq 8.2
MacPorts
noreply at macports.org
Wed Feb 18 12:05:04 PST 2009
#18536: Upgrade to Coq 8.2
-------------------------------+--------------------------------------------
Reporter: wss@… | Owner: reilles@…
Type: enhancement | Status: new
Priority: Normal | Milestone: Port Updates
Component: ports | Version: 1.7.0
Keywords: | Port: coq
-------------------------------+--------------------------------------------
Changes (by macsforever2000@…):
* cc: wss@… (removed)
* owner: macports-tickets@… => reilles@…
* port: => coq
--
Ticket URL: <http://trac.macports.org/ticket/18536#comment:2>
MacPorts <http://www.macports.org/>
Ports system for Mac OS
More information about the macports-tickets
mailing list