[NONFREE-DOC:GFDL1.2olfc] contains non-free documentation

Bug #20157 reported by Debian Bug Importer
6
Affects Status Importance Assigned to Milestone
gcc-4.0 (Debian)
Fix Released
Unknown
gcc-4.0 (Ubuntu)
Invalid
High
Unassigned

Bug Description

Automatically imported from Debian bug report #321782 http://bugs.debian.org/321782

Revision history for this message
In , Matthias Klose (doko-cs) wrote : Re: Bug#280803: libgcc1: contains non-free GNU FDL

Brian M. Carlson writes:
> Package: libgcc1
> Version: 1:4.0-0pre0
> Severity: serious
>
> The copyright file includes a copy of the GNU Free Documentation
> License, which has been judged by debian-legal to be non-free. Please
> remove the non-free material from the package or move the package to
> non-free.

I do not want to believe that debian-legal judges such nonsense,
i.e. to distribute a licence file with a non DFSG license. It's
clearly marked which license terms hold for the libgcc_s.so.1.

 Matthias

Revision history for this message
In , Frank Lichtenheld (djpig) wrote :

On Thu, Nov 11, 2004 at 09:18:50PM +0100, Matthias Klose wrote:
> Brian M. Carlson writes:
> > The copyright file includes a copy of the GNU Free Documentation
> > License, which has been judged by debian-legal to be non-free. Please
> > remove the non-free material from the package or move the package to
> > non-free.
>
> I do not want to believe that debian-legal judges such nonsense,
> i.e. to distribute a licence file with a non DFSG license. It's
> clearly marked which license terms hold for the libgcc_s.so.1.

I think what he meant was that the documentation licensed under the GFDL
is considered non-free, which is true. This would be a similar bug to #193787
against gcc-3.3 and sarge-ignore like it.

Gruesse,
--
Frank Lichtenheld <email address hidden>
www: http://www.djpig.de/

Revision history for this message
In , James Troup (james-nocrew) wrote :

Frank Lichtenheld <email address hidden> writes:

> On Thu, Nov 11, 2004 at 09:18:50PM +0100, Matthias Klose wrote:
>> Brian M. Carlson writes:
>> > The copyright file includes a copy of the GNU Free Documentation
>> > License, which has been judged by debian-legal to be non-free. Please
>> > remove the non-free material from the package or move the package to
>> > non-free.
>>
>> I do not want to believe that debian-legal judges such nonsense,
>> i.e. to distribute a licence file with a non DFSG license. It's
>> clearly marked which license terms hold for the libgcc_s.so.1.
>
> I think what he meant was that the documentation licensed under the GFDL
> is considered non-free, which is true. This would be a similar bug to #193787
> against gcc-3.3 and sarge-ignore like it.

What documentation? There is none in the libgcc1 package.

--
James

Revision history for this message
In , Frank Lichtenheld (djpig) wrote :

On Thu, Nov 11, 2004 at 10:00:30PM +0000, James Troup wrote:
>
> What documentation? There is none in the libgcc1 package.

Yeah, the same copyright file is used for the whole source package.
So this bug should probably be reassigned to gcc-3.4-doc or
the source package...

Gruesse,
--
Frank Lichtenheld <email address hidden>
www: http://www.djpig.de/

Revision history for this message
In , Don Armstrong (dondelelcaro) wrote :

On Thu, 11 Nov 2004, Matthias Klose wrote:
> > The copyright file includes a copy of the GNU Free Documentation
> > License, which has been judged by debian-legal to be
> > non-free. Please remove the non-free material from the package or
> > move the package to non-free.
>
> I do not want to believe that debian-legal judges such nonsense,
> i.e. to distribute a licence file with a non DFSG license. It's
> clearly marked which license terms hold for the libgcc_s.so.1.

I think that Brian is getting at the fact that a work under the GFDL
is non-free, not the license itself.

We've never attempted to apply the DFSG to a license text that is
covering works that are actually distributed by Debian, if for no
other reason than the GNU GPL itself would fail in this regard.

If libgcc1 doesn't actually contain anything that is licensed under
the GFDL, this part of the copyright file would ideally be removed.

If it does, then for the purposes of releasing sarge, this bug would
be capable of getting a 'sarge-ignore'... but you'll have to talk to
the RMs for that.

Don Armstrong

--
For a moment, nothing happened. Then, after a second or so, nothing
continued to happen.
 -- Douglas Adams

http://www.donarmstrong.com http://rzlab.ucr.edu

Revision history for this message
In , Brian M. Carlson (sandals) wrote :

reassign 280803 gcc-4.0-doc
thanks, control, and have a nice day

Matthias Klose <email address hidden> writes:

> Brian M. Carlson writes:
>> Package: libgcc1
>> Version: 1:4.0-0pre0
>> Severity: serious
>>
>> The copyright file includes a copy of the GNU Free Documentation
>> License, which has been judged by debian-legal to be
>> non-free. Please remove the non-free material from the package or
>> move the package to non-free.
>
> I do not want to believe that debian-legal judges such nonsense,
> i.e. to distribute a licence file with a non DFSG license. It's
> clearly marked which license terms hold for the libgcc_s.so.1.
>
> Matthias
>

I apologize; I was imprecise. The licenses of license files are
irrelevant, but the licenses of documentation are not, and this bug
should rightly have been filed against gcc-4.0-doc, assuming that the
copyright file which is included in the libgcc1 package applies to
that package as well. Personally, I think only those licenses that
belong to a certain package should be in that package's copyright
file, but that's for someone else to argue. Anyone?

For the record, I did the following:

grep 'Free Documentation License' `find /usr/share/doc/ -name copyright`

and libgcc1 showed up.

Revision history for this message
In , Matthias Klose (doko-cs) wrote : retitle gcc report

retitle 280803 gcc docs considered non-free in terms of the DFSG (licensed under the GNU FDL)
tags 280803 + sarge-ignore
thanks

Revision history for this message
In , Frank Lichtenheld (djpig) wrote : GCC 4.0 non-free docs

clone 280803 -1 -2 -3

reassign -1 libstdc++6-4.0-doc
retitle -1 [NONFREE-DOC:GFDL1.1] contains non-free documentation

reassign 280803 gcc-4.0-doc,gfortran-4.0-doc
retitle 280803 [NONFREE-DOC:GFDL1.2olisfcbc] contains non-free documentation

reassign -2 cpp-4.0-doc
retitle -2 [NONFREE-DOC:GFDL1.1ol] contains non-free documentation

reassign -3 gnat-4.0-doc
retitle -3 [NONFREE-DOC:GFDL1.2olfc] contains non-free documentation

Gruesse,
--
Frank Lichtenheld <email address hidden>
www: http://www.djpig.de/

Revision history for this message
Debian Bug Importer (debzilla) wrote :

Automatically imported from Debian bug report #321782 http://bugs.debian.org/321782

Revision history for this message
Debian Bug Importer (debzilla) wrote :

Message-Id: <email address hidden>
Date: Thu, 11 Nov 2004 19:54:16 +0000
From: "Brian M\. Carlson" <email address hidden>
To: Debian Bug Tracking System <email address hidden>
Subject: libgcc1: contains non-free GNU FDL

Package: libgcc1
Version: 1:4.0-0pre0
Severity: serious

The copyright file includes a copy of the GNU Free Documentation
License, which has been judged by debian-legal to be non-free. Please
remove the non-free material from the package or move the package to
non-free.

-- System Information:
Debian Release: 3.1
  APT prefers experimental
  APT policy: (501, 'experimental'), (501, 'unstable')
Architecture: i386 (i686)
Kernel: Linux 2.6.9-1-k7
Locale: LANG=C, LC_CTYPE=C (charmap=ANSI_X3.4-1968) (ignored: LC_ALL set to C)

Versions of packages libgcc1 depends on:
ii libc6 2.3.2.ds1-18 GNU C Library: Shared libraries an

-- no debconf information

Revision history for this message
Debian Bug Importer (debzilla) wrote :

Message-ID: <email address hidden>
Date: Thu, 11 Nov 2004 21:18:50 +0100
From: Matthias Klose <email address hidden>
To: "Brian M. Carlson" <email address hidden>,
        <email address hidden>
Subject: Re: Bug#280803: libgcc1: contains non-free GNU FDL

Brian M. Carlson writes:
> Package: libgcc1
> Version: 1:4.0-0pre0
> Severity: serious
>
> The copyright file includes a copy of the GNU Free Documentation
> License, which has been judged by debian-legal to be non-free. Please
> remove the non-free material from the package or move the package to
> non-free.

I do not want to believe that debian-legal judges such nonsense,
i.e. to distribute a licence file with a non DFSG license. It's
clearly marked which license terms hold for the libgcc_s.so.1.

 Matthias

Revision history for this message
Debian Bug Importer (debzilla) wrote :

Message-ID: <email address hidden>
Date: Thu, 11 Nov 2004 21:52:38 +0100
From: Frank Lichtenheld <email address hidden>
To: Matthias Klose <email address hidden>, <email address hidden>
Cc: "Brian M. Carlson" <email address hidden>
Subject: Re: Bug#280803: libgcc1: contains non-free GNU FDL

On Thu, Nov 11, 2004 at 09:18:50PM +0100, Matthias Klose wrote:
> Brian M. Carlson writes:
> > The copyright file includes a copy of the GNU Free Documentation
> > License, which has been judged by debian-legal to be non-free. Please
> > remove the non-free material from the package or move the package to
> > non-free.
>
> I do not want to believe that debian-legal judges such nonsense,
> i.e. to distribute a licence file with a non DFSG license. It's
> clearly marked which license terms hold for the libgcc_s.so.1.

I think what he meant was that the documentation licensed under the GFDL
is considered non-free, which is true. This would be a similar bug to #193787
against gcc-3.3 and sarge-ignore like it.

Gruesse,
--
Frank Lichtenheld <email address hidden>
www: http://www.djpig.de/

Revision history for this message
Debian Bug Importer (debzilla) wrote :

Message-ID: <email address hidden>
Date: Thu, 11 Nov 2004 22:00:30 +0000
From: James Troup <email address hidden>
To: Frank Lichtenheld <email address hidden>
Cc: <email address hidden>, Matthias Klose <email address hidden>,
 "Brian M. Carlson" <email address hidden>
Subject: Re: Bug#280803: libgcc1: contains non-free GNU FDL

Frank Lichtenheld <email address hidden> writes:

> On Thu, Nov 11, 2004 at 09:18:50PM +0100, Matthias Klose wrote:
>> Brian M. Carlson writes:
>> > The copyright file includes a copy of the GNU Free Documentation
>> > License, which has been judged by debian-legal to be non-free. Please
>> > remove the non-free material from the package or move the package to
>> > non-free.
>>
>> I do not want to believe that debian-legal judges such nonsense,
>> i.e. to distribute a licence file with a non DFSG license. It's
>> clearly marked which license terms hold for the libgcc_s.so.1.
>
> I think what he meant was that the documentation licensed under the GFDL
> is considered non-free, which is true. This would be a similar bug to #193787
> against gcc-3.3 and sarge-ignore like it.

What documentation? There is none in the libgcc1 package.

--
James

Revision history for this message
Debian Bug Importer (debzilla) wrote :

Message-ID: <email address hidden>
Date: Thu, 11 Nov 2004 23:35:32 +0100
From: Frank Lichtenheld <email address hidden>
To: James Troup <email address hidden>, <email address hidden>
Cc: Matthias Klose <email address hidden>,
 "Brian M. Carlson" <email address hidden>
Subject: Re: Bug#280803: libgcc1: contains non-free GNU FDL

On Thu, Nov 11, 2004 at 10:00:30PM +0000, James Troup wrote:
>
> What documentation? There is none in the libgcc1 package.

Yeah, the same copyright file is used for the whole source package.
So this bug should probably be reassigned to gcc-3.4-doc or
the source package...

Gruesse,
--
Frank Lichtenheld <email address hidden>
www: http://www.djpig.de/

Revision history for this message
Debian Bug Importer (debzilla) wrote :

Message-ID: <email address hidden>
Date: Thu, 11 Nov 2004 14:48:29 -0800
From: Don Armstrong <email address hidden>
To: <email address hidden>
Subject: Re: Bug#280803: libgcc1: contains non-free GNU FDL

On Thu, 11 Nov 2004, Matthias Klose wrote:
> > The copyright file includes a copy of the GNU Free Documentation
> > License, which has been judged by debian-legal to be
> > non-free. Please remove the non-free material from the package or
> > move the package to non-free.
>
> I do not want to believe that debian-legal judges such nonsense,
> i.e. to distribute a licence file with a non DFSG license. It's
> clearly marked which license terms hold for the libgcc_s.so.1.

I think that Brian is getting at the fact that a work under the GFDL
is non-free, not the license itself.

We've never attempted to apply the DFSG to a license text that is
covering works that are actually distributed by Debian, if for no
other reason than the GNU GPL itself would fail in this regard.

If libgcc1 doesn't actually contain anything that is licensed under
the GFDL, this part of the copyright file would ideally be removed.

If it does, then for the purposes of releasing sarge, this bug would
be capable of getting a 'sarge-ignore'... but you'll have to talk to
the RMs for that.

Don Armstrong

--
For a moment, nothing happened. Then, after a second or so, nothing
continued to happen.
 -- Douglas Adams

http://www.donarmstrong.com http://rzlab.ucr.edu

Revision history for this message
Debian Bug Importer (debzilla) wrote :

Message-ID: <email address hidden>
Date: Fri, 12 Nov 2004 04:09:57 +0000
From: <email address hidden> (Brian M. Carlson)
To: Matthias Klose <email address hidden>
Cc: <email address hidden>, "Brian M. Carlson" <email address hidden>,
 <email address hidden>
Subject: Re: Bug#280803: libgcc1: contains non-free GNU FDL

reassign 280803 gcc-4.0-doc
thanks, control, and have a nice day

Matthias Klose <email address hidden> writes:

> Brian M. Carlson writes:
>> Package: libgcc1
>> Version: 1:4.0-0pre0
>> Severity: serious
>>
>> The copyright file includes a copy of the GNU Free Documentation
>> License, which has been judged by debian-legal to be
>> non-free. Please remove the non-free material from the package or
>> move the package to non-free.
>
> I do not want to believe that debian-legal judges such nonsense,
> i.e. to distribute a licence file with a non DFSG license. It's
> clearly marked which license terms hold for the libgcc_s.so.1.
>
> Matthias
>

I apologize; I was imprecise. The licenses of license files are
irrelevant, but the licenses of documentation are not, and this bug
should rightly have been filed against gcc-4.0-doc, assuming that the
copyright file which is included in the libgcc1 package applies to
that package as well. Personally, I think only those licenses that
belong to a certain package should be in that package's copyright
file, but that's for someone else to argue. Anyone?

For the record, I did the following:

grep 'Free Documentation License' `find /usr/share/doc/ -name copyright`

and libgcc1 showed up.

Revision history for this message
Debian Bug Importer (debzilla) wrote :

Message-ID: <email address hidden>
Date: Sun, 21 Nov 2004 10:44:50 +0100
From: Matthias Klose <email address hidden>
To: <email address hidden>
Subject: retitle gcc report

retitle 280803 gcc docs considered non-free in terms of the DFSG (licensed under the GNU FDL)
tags 280803 + sarge-ignore
thanks

Revision history for this message
Debian Bug Importer (debzilla) wrote :

Message-ID: <email address hidden>
Date: Sun, 7 Aug 2005 16:43:54 +0200
From: Frank Lichtenheld <email address hidden>
To: <email address hidden>
Subject: GCC 4.0 non-free docs

clone 280803 -1 -2 -3

reassign -1 libstdc++6-4.0-doc
retitle -1 [NONFREE-DOC:GFDL1.1] contains non-free documentation

reassign 280803 gcc-4.0-doc,gfortran-4.0-doc
retitle 280803 [NONFREE-DOC:GFDL1.2olisfcbc] contains non-free documentation

reassign -2 cpp-4.0-doc
retitle -2 [NONFREE-DOC:GFDL1.1ol] contains non-free documentation

reassign -3 gnat-4.0-doc
retitle -3 [NONFREE-DOC:GFDL1.2olfc] contains non-free documentation

Gruesse,
--
Frank Lichtenheld <email address hidden>
www: http://www.djpig.de/

Revision history for this message
Matt Zimmerman (mdz) wrote :

GFDL is OK for Ubuntu

Revision history for this message
In , Brian M. Carlson (sandals) wrote : minor bug tagging

tag 152473 + sid
tag 152791 + sid
tag 162663 + sid
tag 176415 + sid
tag 180149 + sid
tag 181494 + sid
tag 183463 + sid
tag 189422 + sid
tag 190209 + sid
tag 197726 + sid
tag 203412 + sid
tag 213539 + sid
tag 215677 + sid
tag 215923 + sid
tag 227386 + sid
tag 241394 + sid
tag 256402 + sid
tag 257225 + sid
tag 257231 + sid
tag 265344 + sid
tag 280803 + sid
tag 281639 + sid
tag 318206 + sid
tag 320398 + sid
tag 321780 + sid
tag 321781 + sid
tag 321782 + sid
tag 336511 + sid
tag 338564 + sid
tag 339834 + sid
tag 339835 + sid
tag 354695 + sid
tag 360873 + sid
tag 360874 + sid
tag 364026 + sid
tag 365256 + sid
tag 366073 + sid
tag 366087 + sid
tag 366093 + sid
tag 367045 + sid
Thanks, control, and have a nice day!
# Oops, they fixed the case-insensitivity feature!
stop processing, control!

I am tagging all of my bugs "sid", so they will no longer be relevant
with respect to the release. The release team may untag these bugs if
they desire, as long as the presence or absence of this tag does not
affect its severity (as specified under Debian Policy). It is my policy
from this point on to tag all of my bugs with either the "sid" or
"experimental" tag, as the case may be, to prevent them from affecting
the release. As a consequence, since such bugs are no longer relevant
to the release, they are no longer governed by the release team's
policy, but only by Debian Policy. Bugs that would be serious based on
Debian Policy but merely important based etch RC policy (like those
violating section 2.5) can now be treated as serious, as they will not
affect britney.

The proper solution to this bug is to have an "rc" or
("release-critical" or similar) tag which defines which bugs are RC, or
at least a "not-rc" bug. Alternatively, Debian Policy could again
become the authoritative reference for what is release-critical.

In the event you have a problem with this, feel free to bring it up on
debian-project. I am subscribed, so you need not CC me. *DO NOT* untag
these bugs except as specified above without first bringing the issue up
on -project.

Revision history for this message
In , Matej Vela (vela) wrote : Bug#321782: [NONFREE-DOC:GFDL1.2olfc] contains non-free documentation

# gnat-4.0-doc is no longer built by gcc-4.0 (>= 4.0.3-4).
reassign 321782 gnat-4.1-doc 4.1.1-5
# testing is affected, and docs-in-main is a release blocker.
tags 321782 - sid
thanks

* `GNAT Reference Manual' is licensed under GFDL 1.2 or later with
  Front-Cover Texts.

* `GNAT Coding Style' is licensed under GFDL 1.1 or later with
  Front-Cover Texts.

* `GNAT User's Guide' is licensed under GFDL 1.2 or later with
  Front-Cover Texts.

All of the above list the GFDL as an Invariant Section. However,
since the license requires itself to be included anyway, this can
be considered a no-op [1].

[1] <http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=323099;msg=113>

Thanks,

Matej

Revision history for this message
In , Matthias Klose (doko) wrote : Bug#321782: fixed in gnat-4.1 4.1.1-10
Download full text (4.7 KiB)

Source: gnat-4.1
Source-Version: 4.1.1-10

We believe that the bug you reported is fixed in the latest version of
gnat-4.1, which is due to be installed in the Debian FTP archive:

gnat-4.1-base_4.1.1-10_i386.deb
  to pool/main/g/gnat-4.1/gnat-4.1-base_4.1.1-10_i386.deb
gnat-4.1-base_4.1.1-10_powerpc.deb
  to pool/main/g/gnat-4.1/gnat-4.1-base_4.1.1-10_powerpc.deb
gnat-4.1_4.1.1-10.diff.gz
  to pool/main/g/gnat-4.1/gnat-4.1_4.1.1-10.diff.gz
gnat-4.1_4.1.1-10.dsc
  to pool/main/g/gnat-4.1/gnat-4.1_4.1.1-10.dsc
gnat-4.1_4.1.1-10_i386.deb
  to pool/main/g/gnat-4.1/gnat-4.1_4.1.1-10_i386.deb
gnat-4.1_4.1.1-10_powerpc.deb
  to pool/main/g/gnat-4.1/gnat-4.1_4.1.1-10_powerpc.deb
libgnat-4.1_4.1.1-10_i386.deb
  to pool/main/g/gnat-4.1/libgnat-4.1_4.1.1-10_i386.deb
libgnat-4.1_4.1.1-10_powerpc.deb
  to pool/main/g/gnat-4.1/libgnat-4.1_4.1.1-10_powerpc.deb
libgnatprj-dev_4.1.1-10_i386.deb
  to pool/main/g/gnat-4.1/libgnatprj-dev_4.1.1-10_i386.deb
libgnatprj-dev_4.1.1-10_powerpc.deb
  to pool/main/g/gnat-4.1/libgnatprj-dev_4.1.1-10_powerpc.deb
libgnatprj4.1_4.1.1-10_i386.deb
  to pool/main/g/gnat-4.1/libgnatprj4.1_4.1.1-10_i386.deb
libgnatprj4.1_4.1.1-10_powerpc.deb
  to pool/main/g/gnat-4.1/libgnatprj4.1_4.1.1-10_powerpc.deb
libgnatvsn-dev_4.1.1-10_i386.deb
  to pool/main/g/gnat-4.1/libgnatvsn-dev_4.1.1-10_i386.deb
libgnatvsn-dev_4.1.1-10_powerpc.deb
  to pool/main/g/gnat-4.1/libgnatvsn-dev_4.1.1-10_powerpc.deb
libgnatvsn4.1_4.1.1-10_i386.deb
  to pool/main/g/gnat-4.1/libgnatvsn4.1_4.1.1-10_i386.deb
libgnatvsn4.1_4.1.1-10_powerpc.deb
  to pool/main/g/gnat-4.1/libgnatvsn4.1_4.1.1-10_powerpc.deb

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to <email address hidden>,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Matthias Klose <email address hidden> (supplier of updated gnat-4.1 package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing <email address hidden>)

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.7
Date: Sun, 30 Jul 2006 22:43:39 +0000
Source: gnat-4.1
Binary: libgnatvsn4.1 libgnatprj-dev libgnatvsn-dev libgnat-4.1 libgnatprj4.1 gnat-4.1 gnat-4.1-base
Architecture: i386 powerpc source
Version: 4.1.1-10
Distribution: unstable
Urgency: medium
Maintainer: Debian GCC Maintainers <email address hidden>
Changed-By: Matthias Klose <email address hidden>
Description:
 gnat-4.1 - The GNU Ada compiler
 gnat-4.1-base - The GNU Compiler Collection (gnat base package)
 libgnat-4.1 - Runtime library for GNU Ada applications
 libgnatprj-dev - GNU Ada Project Manager development files
 libgnatprj4.1 - GNU Ada Project Manager
 libgnatvsn-dev - GNU Ada compiler version library - development files
 libgnatvsn4.1 - GNU Ada compiler version library
Closes: 321782
Changes:
 gnat-4.1 (4.1.1-10) unstable; urgency=medium
 .
   * Upload as gnat-4.1.
   * Don't build the gnat-4.1-doc package anymore. Closes: #321782.
Files:
 0e3a0aec6b902e27553...

Read more...

Changed in gcc-4.0:
status: Unconfirmed → Fix Released
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.