Coq & ocaml 3.08
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: sacerdot@cs.unibo.it
http://www.cs.unibo.it/~sacerdot
----------------------------------------------------------------
Reply to: