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 <hugo.herbelin@inria.fr> To: samuel.mimram@ens-lyon.fr (Samuel Mimram) Cc: barras@pauillac.inria.fr, sacerdot@pauillac.inria.fr (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 samuel.mimram@ens-lyon.fr BEWARE! People acting under the influence of human nature.
Attachment:
pgp3xVVR7W0ZM.pgp
Description: PGP signature