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. Personally I'd rather have COQ 8 and OCaml 3.07 in Sarge since COQ 8 is 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. Samuel. Forwarded message: On: Fri, 16 Jul 2004 18:22:58 +0200 (MET DST) From: Hugo Herbelin <[EMAIL PROTECTED]> To: [EMAIL PROTECTED] (Samuel Mimram) Cc: [EMAIL PROTECTED], [EMAIL PROTECTED] (Claudio Sacerdoti Coen) Subject: Re: [Coqdev] Re: Commentaires sur bug Coq 708 Bonjour, > Si tout se passe comme pr�vu, la nouvelle version stable de Debian > (sarge) devrait sortir tout d�but septembre, ce qui signifie qu'il > reste relativement peu de temps pour y int�grer COQ 8. Il faut prendre > compte le temps de faire le package -- des paquets pr�liminaires sont > d�j� pr�ts cependant -- et �ventuellement de le modifier apr�s son > upload en unstable pour qu'il soit bon. Nous pensons �tre pr�ts � distribuer une version V8.0pl1 (ou V8.0.1) pour lundi. Se pose toutefois un nouveau probl�me, � savoir la sortie r�cente de ocaml 3.08 et l'incompatiblit� actuelle des sources Coq avec cette nouvelle version d'ocaml. Qu'en sera-t-il pour la sarge ? Est-ce ocaml 3.08 qui sera int�gr� ? Notre portage en 3.08 est presque pr�t, mais la localisation des tokens par le lexeur �tant diff�rente en 3.08 nous ne sommes pas absolument s�r qu'il n'y ait pas des incompatibilit�s s�mantiques (notamment en raison de l'utilisation intensive des locations faite par le traducteur de syntaxe v7). Du moins nous devons faire quelques tests suppl�mentaires pour cela. Hugo Herbelin -- Samuel Mimram [EMAIL PROTECTED] BEWARE! People acting under the influence of human nature.
pgpNvq1nml2qI.pgp
Description: PGP signature
