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 <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |[email protected] --- Comment #8 from Stéphane Glondu <[email protected]> 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 [email protected] https://admin.fedoraproject.org/mailman/listinfo/ocaml-devel
