[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:  new                                  
 Priority:  Normal                    |   Milestone:                                       
Component:  ports                     |     Version:  1.8.2                                
 Keywords:                            |        Port:  camlp5                               
--------------------------------------+-------------------------------------

Comment(by kiyoshi.coquser@…):

 This report seems to be a duplicate of #23521 .

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