On Fri, Jul 16, 2004 at 06:49:48PM +0200, Samuel Mimram wrote: > Ok so (for non-french speakers), Hugo Herbelin says that COQ 8.0.1 > should be out monday. > > He wonders what we're going to do since -- as Claudio already mentioned > it to us -- this new version still won't compile with OCaml 3.08.
Arg, ... > Personally I'd rather have COQ 8 and OCaml 3.07 in Sarge since COQ 8 is Me not. > a major release (the syntax has completely changed, etc), whereas the > changelog for OCaml is rather "small". What is the opinion of other > debian-ocaml-maintainers on that? > > Hugo also mentions that the port to OCaml 3.08 is almost ready but still > needs testing. So there is still hope to have both COQ 8 and OCaml 3.08 > in sarge. Well, almost ready sounds nice. I understand they mention testing, but we can do the testing together with ocaml 3.08 in the debian framework. So i would propose once the release is done, you get those 'almost ready' patches and apply it to the package, and upload that. Friendly, Sven Luther -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
