> La compilation de coq ne passe plus avec ocaml 3.08.1, sans doute � > cause des modifications de camlp4 (camlp4 parsing of patterns now > conforms to normal parsing (PR#3015) ?).
Thankfully, that release was supposed to be a bugfix release. In my mind, this would mean that the new software is supposed to avoid breaking anything..... Looks like ocaml developers and I do not share the same views on stable releases.... Of course, I deeply fear what will happen for the geneweb compilation. I just avoided it to be dropped out from sarge because it didn't compile anymore with 3.08�: I don't want this to happen again. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
