Dear packagers, ocaml 3.08 is great news. And the new version of Coq that fixes the licence problems (and a few other bugs) is about to be released. However, I think that the Coq package that is in testing right now, the stable release of Coq and --- up to now --- the forthcoming bug/licence fix release won't compile with ocaml 3.08 (due to changes in camlp4).
Cheers, C.S.C. -- ---------------------------------------------------------------- Real name: Claudio Sacerdoti Coen Doctor in Computer Science, University of Bologna E-mail: [EMAIL PROTECTED] http://www.cs.unibo.it/~sacerdot ---------------------------------------------------------------- -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]