Package: libgsl0-dev
Version: 1.8-2
Severity: serious
Justification: Policy 2.2.1, GR 2006-001

Hi,

The documentation shipped with libgsl [1] is licensed under the GNU Free
Documentation License with invariant sections. This is a conflict with
the DFSG [2], point 3 (Derived Works), and thus must not be shipped in
Debian main. This position has been confirmed in GR 2006-001 [3]. For
further information see Manoj's Draft Debian Position Statement about
the GNU Free Documentation License (GFDL) [4].

The documentation is a valid candidate for non-free though. For example,
see the gcc-4.3-doc-non-dfsg and gcc-4.3 packages.

Cheers,
Sebastian

[1] License of the GSL Reference Manual:

     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 the
  Invariant Sections being "GNU General Public License" and "Free Software
  Needs Free Documentation", the Front-Cover text being "A GNU Manual",
  and with the Back-Cover Text being (a) (see below).  A copy of the
  license is included in the section entitled "GNU Free Documentation
  License".

     (a) The Back-Cover Text is: "You have freedom to copy and modify this
  GNU Manual, like GNU software."

[2] http://www.debian.org/social_contract

[3] http://www.debian.org/vote/2006/vote_001

[4] http://people.debian.org/~srivasta/Position_Statement.xhtml

-- 
Sebastian "tokkee" Harl +++ GnuPG-ID: 0x8501C7FC +++ http://tokkee.org/

Those who would give up Essential Liberty to purchase a little Temporary
Safety, deserve neither Liberty nor Safety.         -- Benjamin Franklin

Attachment: signature.asc
Description: Digital signature

Reply via email to