Bug#250497: coq 8.0 trickling in?

[Duraid Madina <duraid@octopus.com.au>]

Package: coq
Severity: wishlist

Hi guys,

	Coq 8.0 is starting to trickle in (the last time I grabbed it, some
weeks ago now, it was referred to as a beta but it has seemed reasonably
solid.) Just wondering if it would be possible to have a new coq8 package,
while keeping coq going along as it is. Well, that's my wish for today..


-- System Information:
Debian Release: testing/unstable
  APT prefers unstable
  APT policy: (500, 'unstable')
Architecture: ia64
Kernel: Linux 2.6.5-rc2
Locale: LANG=C, LC_CTYPE=C