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
