Package: coq-doc Version: 8.0pl1.0-2 Severity: serious Justification: license not DFSG-free
The coq documentation is currently not free (we don't even have the sources of it excepting for the documentation of the library which is generated by coq-doc). I'm dealing this issue with upstream (it should be released under GPL) but it should not be released with sarge if this issue has been solved in the meantime which is why I'm filling this RC bug. -- System Information: Debian Release: 3.1 APT prefers unstable APT policy: (500, 'unstable'), (500, 'testing'), (1, 'experimental') Architecture: i386 (i686) Kernel: Linux 2.6.10 Locale: LANG=en_US, LC_CTYPE=en_US (charmap=ISO-8859-1) -- no debconf information -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
