[MacPorts] #19255: coq-8.2 new variant for coqide

[MacPorts]

#19255: coq-8.2 new variant for coqide
----------------------------------------------+-----------------------------
Reporter:  thomas.hutchinson@…                |       Owner:  reilles@…       
    Type:  enhancement                        |      Status:  new             
Priority:  Normal                             |   Component:  ports           
 Version:  1.7.1                              |    Keywords:                  
    Port:  coq                                |  
----------------------------------------------+-----------------------------

Comment(by thomas.hutchinson@…):

 This patch was applied to the Coq port. Please close ticket.

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