Bug#230356: coq: New upstream release
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.)
Compiling with ocaml-3.07 isn't the problem, already for coq 7.3.1
it was necessary to apply a patch for compiling with ocaml-3.07.
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.
Right now coq.inria.fr is down so I cannot check. If coq-7.4 is
still considered unstable by upstream I will upload a package
to experimental only.
-Ralf.
--
Reply to: