Package: gnat-gps-doc Severity: serious Justification: license issue The file docs/users_guide/license.rst in the pristine upstream tarball contains the GFDL. It is included by docs/users_guide/index.rst, which mentions no invariant parts or cover texts, so the documentation complies to the DFSG. However..
Upstream authors used to claim that all the whole archive was licensed under the GPL, though some obsolete boilerplates were telling a different story. The Debian .orig archive used to be repackaged to clarify this issue. A recent statement [1] by upstream authors makes it explicit that the documentation *is* licensed under the GFDL. [1] https://lists.debian.org/debian-ada/2014/10/msg00023.html It seems that gnat-gps must be repackaged again with the correct licensing. Maybe this is the opportunity to also remove the embedded copy of libgnatcoll lying in the gnatlib/ subdirectory (see debian/TODO). -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
