Bug#230356: coq: New upstream release

[Lionel Elie Mamane <lionel@mamane.lu>]

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: LANG=fr_LU@euro, LC_CTYPE=fr_LU@euro

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