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

[MacPorts]

#30287: coq @8.2pl1 - Build Failure
-----------------------------------+----------------------------------------
 Reporter:  richardosborn@…        |       Owner:  macports-tickets@…                   
     Type:  defect                 |      Status:  new                                  
 Priority:  Normal                 |   Milestone:                                       
Component:  ports                  |     Version:  1.9.2                                
 Keywords:                         |        Port:  coq                                  
-----------------------------------+----------------------------------------
 {{{
 :info:build File "parsing/pcoq.ml4", line 749, characters 8-300:
 :info:build Error: The constructor Gramext.Slist1sep expects 3
 argument(s),
 :info:build        but is applied here to 2 argument(s)
 :info:build make[1]: *** [parsing/pcoq.cmo] Error 2
 }}}

 {{{
 Processor: 2.2 GHz Intel Core 2 Duo
 Memory: 2 GB 667 MHz DDR2 SDRAM
 Graphics: NVIDIA GeForce 8600M GT 128 MB
 Software: Mac OS X Lion 10.7 (11A511)
           Xcode 4.1 Build 4B110
 }}}

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