[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                               
--------------------------------------+-------------------------------------
Changes (by macsforever2000@…):

  * keywords:  coq install =>
  * port:  coq => camlp5
  * milestone:  MacPorts 1.8.3 =>


Comment:

 Please do not set the Milestone fields. See the
 [http://guide.macports.org/#project.tickets.guidelines Guidelines] for
 more info.

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