[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             
---------------------------------------+------------------------------------

Comment(by kiyoshi.coquser@…):

 Replying to [comment:3 jann@…]:
 > I can't apply the patch, I get patch: **** malformed patch at line 54

 Oh, sorry.
 I have revised Portfile.diff.
 Please try it.

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