#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