id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,port
30287,coq @8.2pl1 - Build Failure,richardosborn@…,reilles@loria.fr,"{{{
: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
}}}",defect,closed,Normal,,ports,1.9.2,fixed,,hentzlx-cadastro@…,coq