On Fri, Jul 16, 2004 at 07:13:24PM +0200, Sven Luther wrote: > 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.
Well, i have been thinking about this last night. I think it is more important to get ocaml 3.08 out as soon as possible. For coq, there is no big problem, because either upstream is going to fix the build, and as said, i don't really care about they taking some time for testing, this is unstable, and we should be able to package this in testing stuff, since the older version would be available in testing. Now, if the ocaml 3.08 version of coq is not available before the sarge release, then no problem also. We simply upload a ocaml-3.07 serie of packages, and build coq with it. It is almost parallel instalable, the only problem would be to have the binaries called coaml-3.07 and such, and i don't know if the coq build system can cope with that. Also, could you tell us what the other coq dependencies are ? Do you need lablgtk or some other such packages ? Friendly, Sven Luther -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
