[MacPorts] #23736: coq port install failure (camlp5 dependency failure)

[MacPorts]

#23736: coq port install failure (camlp5 dependency failure)
---------------------------------------+------------------------------------
  Reporter:  ykouskoulas@…             |       Owner:  macports-tickets@…                   
      Type:  defect                    |      Status:  closed                               
  Priority:  Normal                    |   Milestone:                                       
 Component:  ports                     |     Version:  1.8.2                                
Resolution:  duplicate                 |    Keywords:                                       
      Port:  camlp5                    |  
---------------------------------------+------------------------------------
Changes (by macsforever2000@…):

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


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