[MacPorts] #32074: coq: update to 8.3pl2 (was: Please upgrade Coq to 8.3pl2)

Tue Nov 15 12:48:43 PST 2011

#32074: coq: update to 8.3pl2
--------------------------------+-------------------------------------------
 Reporter:  perry@…             |       Owner:  reilles@…       
     Type:  update              |      Status:  new             
 Priority:  Normal              |   Milestone:                  
Component:  ports               |     Version:                  
 Keywords:                      |        Port:  coq             
--------------------------------+-------------------------------------------
Changes (by ryandesign@…):

 * cc: perry@… (removed)
  * owner:  macports-tickets@… => reilles@…
  * version:  2.0.3 =>
  * port:  Coq => coq


-- 
Ticket URL: <https://trac.macports.org/ticket/32074#comment:2>
MacPorts <http://www.macports.org/>
Ports system for Mac OS