[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:  closed          
  Priority:  Normal                     |   Milestone:                  
 Component:  ports                      |     Version:  1.8.0           
Resolution:  fixed                      |    Keywords:                  
      Port:  coq                        |  
----------------------------------------+-----------------------------------
Changes (by jann@…):

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


Comment:

 Committed in r58218 . Thnaks. What was wrong with the patch file ?

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