Bug#695718: ecl: includes non-free documentation (GFDL with unmodifiable sections)

Jakub Wilk jwilk at debian.org
Tue Dec 11 22:33:29 UTC 2012

Source: ecl
Version: 11.1.1-4
Severity: serious
Justification: Policy 2.2.1
Usertags: gfdl

src/gmp/doc/gmp.texi contains the GNU MP library documentation, with the 
following license:

Permission is granted to copy, distribute and/or modify this document 
under the terms of the GNU Free Documentation License, Version 1.2 or 
any later version published by the Free Software Foundation; with no 
Invariant Sections, with the Front-Cover Texts being ``A GNU Manual'', 
and with the Back-Cover Texts being ``You have freedom to copy and 
modify this GNU Manual, like GNU software''.

As per GR 2006-001, works licensed under GFDL with unmodifiable sections 
are not suitable for main:

Jakub Wilk

More information about the pkg-common-lisp-devel mailing list