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