Bug#250497: coq 8.0 trickling in?

[Samuel Mimram <samuel.mimram@ens-lyon.fr>]

Hello,

There were some licensing problems with the 8.0 version of COQ.
The COQ team said that this should be fixed and that they would make a 
new release soon with those problems corrected.
COQ 8.0 cannot be packaged before that.

Regards,

Samuel.


Duraid Madina wrote:
> 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