[MacPorts] #32074: Please upgrade Coq to 8.3pl2

MacPorts noreply at macports.org
Tue Nov 15 10:07:59 PST 2011

#32074: Please upgrade Coq to 8.3pl2
 Reporter:  perry@…             |       Owner:  macports-tickets@…                   
     Type:  update              |      Status:  new                                  
 Priority:  Normal              |   Milestone:                                       
Component:  ports               |     Version:  2.0.3                                
 Keywords:                      |        Port:  Coq                                  
 Coq 8.3pl2 has been out for some time -- the port should probably be

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

More information about the macports-tickets mailing list