On Sun, Feb 01, 2004 at 04:17:28PM +0100, Ralf Treinen wrote: > On Fri, Jan 30, 2004 at 02:54:45PM +0100, Lionel Elie Mamane wrote:
>> Package: coq >> Version: 7.3.1-2 >> Severity: wishlist >> Please package the latest upstream release. There is a patch to >> compile with OCaml 3.07 there >> ftp://ftp.inria.fr/INRIA/coq/V7.4/patch-coq-7.4-ocaml-3.07 . >> (You also might want to upload the 8.0 beta to experimental.) > The reason why I stayed with coq 7.3.1 is that, at least last time I > checked, upstream called 7.4 an experimental release. Now that you mention it, I remember something like this, too. I fished the page from my browser's cache, and it doesn't seem to say so any more: <h1>The distribution</h1> <div id="list"> <h3>The current version : Coq 7.4</h3> <dl> <dt class="im"><img src="icons/petit-coq2.gif" alt="Coq 7.4"></dt> <dd> <UL id="ftr"> <LI> <A href="ftp://ftp.inria.fr/INRIA/coq/V7.4/doc/Changes.html";> What's new</A>. </LI> <LI> <A href="ftp://ftp.inria.fr/INRIA/coq/V7.4/coq-7.4.tar.gz"; TARGET=_top>coq-7.4.tar.gz</A> (to be compiled with Objective Caml and Camlp4 version 3.06) <BR> <I>for Objective Caml version 3.07, apply this <A href="ftp://ftp.inria.fr/INRIA/coq/V7.4/patch-coq-7.4-ocaml-3.07";>patch</A> (some <A href="ftp://ftp.inria.fr/INRIA/coq/V7.4/patch.README";>help</A>?)</I>. </LI> --------------- cut -------------------- <h3>Coq V8.0 Beta</h3> <dl> <dt class="im"><img src="images/at_work.gif" alt="Coq 7.4"></dt> <dd> This is the beta version of a new major evolution of the Coq system (see <A href="ANNONCE"> ANNONCE</A>). The documentation is still incomplete. The final version Coq V8.0 is planned for february 2004. > If coq-7.4 is still considered unstable by upstream I will upload a > package to experimental only. Makes sense. -- Lionel
