On Thu, 15 Jul 2004 17:17:31 +0200 Sven Luther <sven.luther@wanadoo.fr> wrote: > On Thu, Jul 15, 2004 at 04:56:39PM +0200, Samuel Mimram wrote: > > > > When will be the release of the new coq ? Any time schedule ? > > > > > > No time schedule has been decided officially, but the next week > > > has been given indicated to me. (There are still a few bugs open > > > in the bug tracking system that deserves a fix.) > > > > > > > I guess they were waiting for the ocaml 3.08 release to make > > > > such an announcement ? > > > > > > No, they were not (I have joined the team and I share the office > > > with the guy that makes the releases --- and that is now on > > > vacation). Indeed I think that work is needed to port it to 3.08. > > > > I think that the only main change of camlp4 is that locations are > > now handled in OCaml (using Lexing.position instead of int). Do you > > really think it would take so much time to have COQ compiling with > > 3.08? > > > > > The suggestion for Samuel was to start packagint the current 3.08 > > > stable release since the new upstream tarball will be almost > > > equal to the old one (but for the release change and the few bug > > > fixes). However, I think that the 3.08 debian package would break > > > this suggestion ;-( > > > > In fact, I already have a package ready for COQ. I can import it > > into the svn if you want. > > Yes, please. Ok I've done that. I guess I should not put the .orig (because of the licensing problems). > BTW, you are not a DD, right ? Did you apply to become one ? And how > is your application going if so. I've been waiting for DAM approval for a few monthes... Sam.
Attachment:
pgp0l68MfTdgw.pgp
Description: PGP signature