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

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


Comment:

 Looks like r58228.

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