[MacPorts] #21415: coq-8.2 Upgrade to coq8.2pl1

[MacPorts]

#21415: coq-8.2 Upgrade to coq8.2pl1
---------------------------------------+------------------------------------
 Reporter:  kiyoshi.coquser@…          |       Owner:  reilles@…       
     Type:  update                     |      Status:  new             
 Priority:  Normal                     |   Milestone:                  
Component:  ports                      |     Version:  1.8.0           
 Keywords:                             |        Port:  coq             
---------------------------------------+------------------------------------
Changes (by blb@…):

  * owner:  macports-tickets@… => reilles@…


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