Your message dated Thu, 13 Nov 2014 23:03:49 +0000 with message-id <e1xp3qb-0003uc...@franck.debian.org> and subject line Bug#768547: fixed in gnat-gps 5.3dfsg-1 has caused the Debian Bug report #768547, regarding gnat-gps-doc: wrong license for user guide (GPL instead of GFDL) to be marked as done.
This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 768547: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=768547 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
--- Begin Message ---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).
--- End Message ---
--- Begin Message ---Source: gnat-gps Source-Version: 5.3dfsg-1 We believe that the bug you reported is fixed in the latest version of gnat-gps, which is due to be installed in the Debian FTP archive. 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 768...@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Nicolas Boulenguez <nico...@debian.org> (supplier of updated gnat-gps 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 ftpmas...@ftp-master.debian.org) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sun, 09 Nov 2014 21:34:18 +0100 Source: gnat-gps Binary: gnat-gps gnat-gps-dbg gnat-gps-doc gnat-gps-common Architecture: source all Version: 5.3dfsg-1 Distribution: unstable Urgency: medium Maintainer: Ludovic Brenta <lbre...@debian.org> Changed-By: Nicolas Boulenguez <nico...@debian.org> Description: gnat-gps - integrated development environment for C and Ada gnat-gps-common - integrated development environment for C and Ada (common files) gnat-gps-dbg - integrated development environment for C and Ada (debugging symbo gnat-gps-doc - integrated development environment for C and Ada (documentation) Closes: 768547 Changes: gnat-gps (5.3dfsg-1) unstable; urgency=medium . * Repackage with correct licensing for documentation. Closes: #768547. copyright: the user's guide is licensed under GFDL-1.1+. README.source: archive now compressed with xz instead of bz2 (-33%). Remove obsolete lintian-overrides and separate doc copyright. Checksums-Sha1: e273df612fc6d675d6281a045176cd9e8d569488 2595 gnat-gps_5.3dfsg-1.dsc 7ee88886c037305d92c10ff6c23065013b004d67 8971448 gnat-gps_5.3dfsg.orig.tar.xz 9be32a815df8a47332fbf8174b44fc43027d7775 29356 gnat-gps_5.3dfsg-1.debian.tar.xz 52888627db6e36a40e1e6ad1897773819f78dcf8 9104574 gnat-gps-doc_5.3dfsg-1_all.deb ee3c0653afd826c834966e3c3512e83f5621de48 1421060 gnat-gps-common_5.3dfsg-1_all.deb Checksums-Sha256: c9d8e523289f8d1f3af57598102cdeaaa628aa5bcbbd3e83e6106c18f78a3c27 2595 gnat-gps_5.3dfsg-1.dsc 602c6e1c6fcf179732474e6230b2a361675ce7ae4ac36993efab533f45fcf922 8971448 gnat-gps_5.3dfsg.orig.tar.xz 5e490fe510f30fa7bf5e211934c9ad45e104509ab4a923362a55fa44e8c8b311 29356 gnat-gps_5.3dfsg-1.debian.tar.xz 853dd0d76272b9c4f5cb5c9d91827c79f77834803f80a99db41bdfe1aba67cf5 9104574 gnat-gps-doc_5.3dfsg-1_all.deb 17af7887a3b19448c2e4fa3b4e03bf9a7e8a445d6242cedd5b1f36c23d1e308d 1421060 gnat-gps-common_5.3dfsg-1_all.deb Files: c1e0284507bce65294a93b8538626d54 2595 devel optional gnat-gps_5.3dfsg-1.dsc 149fdd2dc20f798c5e9298fe739f6709 8971448 devel optional gnat-gps_5.3dfsg.orig.tar.xz f71f22a58c81bbd5c7b295a8d64d3e27 29356 devel optional gnat-gps_5.3dfsg-1.debian.tar.xz 80d23455fbd25e6ce251b9fba8efc3d6 9104574 doc optional gnat-gps-doc_5.3dfsg-1_all.deb 873a40178e2dd03558ad5665e465cccd 1421060 devel optional gnat-gps-common_5.3dfsg-1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJUZTVxAAoJELUqnPRJDfyNKWcP/iCjEvBUWCvxma2pYhO5FDzH gE9FQb0jOijJTfPDjJ5iVzznpn/iu5wP4Uwuemp7xSCckzS7esYYdutJX+6OKJ9F iEXonKXLG5rlQ5KATMQzddKgNeQqWlRdQJlXKqnjOtuPj7tHHMasgXve1bzOBxlB PizzZc0uFIXDauPMGJ5LboMuPc7ztkik0wfV3i5614Ir1vXHRqrxQ19Vl0KKYrqb uJ3JWo0rYASs8ojacEfgrmLjWOJNkXUTv2BeEb3P1XIxrOtczEK3E08TG0BKnFvO LEI9RWwy9nBU8/1yn28tv5QzcKO1MkLOx05u97CZsqNfcV7c3/b4c9D7ZJ2pUYQ+ ZVji4bbNXk+HNdm91oM+ToS0XCBjvFqdeSYVh+Vaey/rQ+uILo4T47m+3iQvTkE4 6u5IX62h9ybjyBnHwIKUJgPI4rxcCSynsxKZC3k5To1Lx7G/bgLcm0Bgg1hwcqy7 wGV+NUCCRXTWwEtww163z/gmL53n+sHJ6SSxuhKGCiI08SKM/xjW4Offy4gJA+Fo rC+aqGHZMWBooLHv34eKEMd8a2Rofon6DhoN3g25ml452viKpx3JEfSJjYQpaOhV 8vVOujPR0C7f5Poj6PmXTRUZf3hUxcPpI0kgFyoJEdSNs2POn7kCVcaffYsw0xTa b3Q5sCxkl2haa2qWwKz3 =5lH8 -----END PGP SIGNATURE-----
--- End Message ---
