Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=691913 StÃphane Glondu <steph@xxxxxxxxxx> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |steph@xxxxxxxxxx --- Comment #1 from StÃphane Glondu <steph@xxxxxxxxxx> 2011-03-29 17:15:53 EDT --- FTR, the latest version of Coq (8.3pl1) compiles with the latest version of camlp5 (6.02.2 + the three patches listed on the camlp5 website). I guess you are using camlp5 6.02.1, which needs the matching patches still available from [1]. [1] http://pauillac.inria.fr/~ddr/camlp5/distrib/src/ -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug. _______________________________________________ ocaml-devel mailing list ocaml-devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/ocaml-devel