Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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 Archives:
Bug reports: FAQ:
Beginner's list: