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. --
