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=631302 StÃphane Glondu <steph@xxxxxxxxxx> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |steph@xxxxxxxxxx --- Comment #8 from StÃphane Glondu <steph@xxxxxxxxxx> 2010-11-04 08:26:07 EDT --- FYI, Coq 8.3 should build with make 3.82 + the following patch: https://gforge.inria.fr/scm/viewvc.php?view=rev&root=coq&revision=13566 -- 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