Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] CamlP4 bug, 3.08.0
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Xavier Leroy <Xavier.Leroy@i...>
Subject: Re: [Caml-list] CamlP4 bug, 3.08.0
>  Can I see this code ASAP? I'm a maintainer of a set of the OCaml
> packages in the ALT Linux distribution, and this changes blocked
> some of the very urgent packages (e.g. Coq 8.0)...

I've heard through the grapevine that the development version of Coq
has already been adapted to work with OCaml 3.08 and the new Camp4
locations.  Maybe it's easier to ask the Coq developers for a set of
patches, or extract them through the Coq anonymous CVS.

- Xavier Leroy

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners