[MacPorts] #18536: Upgrade to Coq 8.2

[MacPorts]

#18536: Upgrade to Coq 8.2
--------------------------------+-------------------------------------------
  Reporter:  wss@…              |       Owner:  alakazam@…           
      Type:  enhancement        |      Status:  closed               
  Priority:  Normal             |   Milestone:  Port Updates         
 Component:  ports              |     Version:  1.7.0                
Resolution:  fixed              |    Keywords:                       
      Port:  coq                |  
--------------------------------+-------------------------------------------
Changes (by alakazam@…):

  * status:  assigned => closed
  * resolution:  => fixed


Comment:

 Updated in r47219 (maintainer timeout).

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