[MacPorts] #22205: coq-8.2pl1 +coqide build failure.

[MacPorts]

#22205: coq-8.2pl1 +coqide build failure.
----------------------------------+-----------------------------------------
 Reporter:  aran@…                |       Owner:  reilles@…       
     Type:  defect                |      Status:  new             
 Priority:  Normal                |   Milestone:                  
Component:  ports                 |     Version:  1.8.1           
 Keywords:  coqide                |        Port:  coq             
----------------------------------+-----------------------------------------
Changes (by macsforever2000@…):

  * keywords:  coq coqide => coqide
  * owner:  macports-tickets@… => reilles@…


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