[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                             |   Milestone:  Port Enhancements
Component:  ports                              |     Version:  1.7.1            
 Keywords:                                     |        Port:  coq              
-----------------------------------------------+----------------------------
Changes (by macsforever2000@…):

 * cc: reilles@… (removed)
  * owner:  macports-tickets@… => reilles@…


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