[MacPorts] #13940: RFE: coq 8.1pl3

[MacPorts]

#13940: RFE: coq 8.1pl3
-------------------------------+--------------------------------------------
 Reporter:  wss at cs.nott.ac.uk  |       Owner:  macports-tickets at lists.macosforge.org
     Type:  defect             |      Status:  new                                  
 Priority:  Normal             |   Milestone:  MacPorts base enhancements           
Component:  ports              |     Version:  1.6.0                                
 Keywords:  coq                |  
-------------------------------+--------------------------------------------
 There's a new version of the coq theorem proving tool out. I've attached a
 patch that managed to build on my machine.

-- 
Ticket URL: <http://trac.macosforge.org/projects/macports/ticket/13940>
MacPorts </projects/macports>
Ports system for Mac OS