Bug#230356: coq: New upstream release
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
Reply to: