[MacPorts] #18536: Upgrade to Coq 8.2

[MacPorts]

#18536: Upgrade to Coq 8.2
-------------------------------+--------------------------------------------
 Reporter:  wss@…              |       Owner:  macports-tickets@…                   
     Type:  enhancement        |      Status:  new                                  
 Priority:  Normal             |   Milestone:  Port Updates                         
Component:  ports              |     Version:  1.7.0                                
 Keywords:                     |        Port:                                       
-------------------------------+--------------------------------------------
 coq version 8.2 has been released recently:

 http://coq.inria.fr/distrib-eng.html

 Upgrading the Portfile should be straightforward. I've attached an
 (untested) patch that should do the trick.

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