coq-doc: Please package the documentation of COQ 8.0

[Samuel Mimram <samuel.mimram@ens-lyon.org>(by way of Samuel Mimram <samuel.mimram@ens-lyon.fr>)]

Package: coq-doc
Version: 7.2-1
Severity: wishlist

Hello,

The packages of the 8.0 version of coq have been uploaded and are waiting in
the NEW queue. This means that coq 8 should be (hopefully) soon in sid.

Could you package the corresponding doc? It would be nice if you could do that
quite quickly because of the imminent release of sarge.

Thanks in advance.

Regards,

Samuel.


-- System Information:
Debian Release: 3.1
  APT prefers unstable
  APT policy: (500, 'unstable'), (500, 'testing'), (1, 'experimental')
Architecture: i386 (i686)
Kernel: Linux 2.6.6
Locale: LANG=en_US, LC_CTYPE=en_US

-- no debconf information