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
|
