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.) -- System Information: Debian Release: testing/unstable Architecture: i386 Kernel: Linux linzen 2.4.22 #6 ven déc 5 18:57:31 CET 2003 i686 Locale: [EMAIL PROTECTED], [EMAIL PROTECTED] Versions of packages coq depends on: ii libc6 2.3.2.ds1-11 GNU C Library: Shared libraries an ii libncurses5 5.3.20030719-5 Shared libraries for terminal hand -- no debconf information
