Re: [MacPorts] #18536: Upgrade to Coq 8.2

18 Feb 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