[MacPorts] #30287: coq @8.2pl1 - Build Failure

[MacPorts]

#30287: coq @8.2pl1 - Build Failure
-----------------------------------+----------------------------------------
 Reporter:  richardosborn@…        |       Owner:  reilles@…       
     Type:  defect                 |      Status:  new             
 Priority:  Normal                 |   Milestone:                  
Component:  ports                  |     Version:  1.9.2           
 Keywords:                         |        Port:  coq             
-----------------------------------+----------------------------------------
Changes (by jmr@…):

  * owner:  macports-tickets@… => reilles@…


Comment:

 Please remember to cc the maintainer. Are you really using 1.9.2 on Lion?
 If so, you should install a newer version.

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