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(a)glondu.net> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |steph(a)glondu.net
--- Comment #8 from Stéphane Glondu <steph(a)glondu.net> 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...
--
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.