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

[MacPorts]

#21415: coq-8.2 Upgrade to coq8.2pl1
---------------------------------------+------------------------------------
 Reporter:  kiyoshi.coquser@…          |       Owner:  macports-tickets@…                   
     Type:  update                     |      Status:  new                                  
 Priority:  Normal                     |   Milestone:                                       
Component:  ports                      |     Version:  1.8.0                                
 Keywords:                             |        Port:  coq                                  
---------------------------------------+------------------------------------
 Coq 8.2pl1 has been released:
 http://coq.inria.fr/coq-82pl1-is-out

 I have attached a Portfile patch.

 This includes variants proposed in the Ticket #19255.

 To avoid doc-variant build error, latex_fliter patch is required.

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