[MacPorts] #18536: Upgrade to Coq 8.2

[MacPorts]

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

  * owner:  reilles@… => alakazam@…
  * status:  new => assigned


Comment:

 Per wss' request, I'll commit this update. Since he's provided patches for
 the recent coq Portfile updates, I've suggested he contact the current
 maintainer regarding a possible transfer of maintainership.

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