Your message dated Wed, 02 Jan 2013 23:17:40 +0000
with message-id <e1tqxz6-0003u1...@franck.debian.org>
and subject line Bug#695793: fixed in source-highlight 3.1.6-1.1
has caused the Debian Bug report #695793,
regarding source-highlight: includes non-free documentation (GFDL with
unmodifiable sections)
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.)
--
695793: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=695793
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: source-highlight
Version: 3.1.6-1
Severity: serious
Justification: Policy 2.2.1
Usertags: gfdl
doc/source-highlight.* have the following license:
| Permission is granted to copy, distribute and/or modify this document
| under the terms of the GNU Free Documentation License, Version 1.1 or
| any later version published by the Free Software Foundation; with no
| Invariant Sections, with the Front-Cover Texts being ``A GNU Manual,''
| and with the Back-Cover Texts as in (a) below. A copy of the
| license is included in the section entitled ``GNU Free Documentation
| License.''
|
| (a) The FSF's Back-Cover Text is: ``You have freedom to copy and modify
| this GNU Manual, like GNU software. Copies published by the Free
| Software Foundation raise funds for GNU development.''
As per GR 2006-001, works licensed under GFDL with unmodifiable sections
are not suitable for main:
http://www.debian.org/vote/2006/vote_001
--
Jakub Wilk
--- End Message ---
--- Begin Message ---
Source: source-highlight
Source-Version: 3.1.6-1.1
We believe that the bug you reported is fixed in the latest version of
source-highlight, 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 695...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
David Prévot <taf...@debian.org> (supplier of updated source-highlight 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...@debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Mon, 31 Dec 2012 18:02:54 -0400
Source: source-highlight
Binary: source-highlight libsource-highlight-dev libsource-highlight4
libsource-highlight-common
Architecture: source amd64 all
Version: 3.1.6-1.1
Distribution: unstable
Urgency: low
Maintainer: Peter Eisentraut <pet...@debian.org>
Changed-By: David Prévot <taf...@debian.org>
Description:
libsource-highlight-common - architecture-independent files for source
highlighting library
libsource-highlight-dev - development files for source highlighting library
libsource-highlight4 - source highlighting library
source-highlight - convert source code to syntax highlighted document
Closes: 695793
Changes:
source-highlight (3.1.6-1.1) unstable; urgency=low
.
* Non-maintainer upload.
* Changing the documentation license to GFDL without cover texts, thanks to
Lorenzo Bettini, upstream author, for his quick action (closes: #695793)
Checksums-Sha1:
a3f67ecd81dacae9ea1a41461f134a9eec70231b 2103 source-highlight_3.1.6-1.1.dsc
db7cc4a765888297bf9635504410e024b58bcdc0 5554
source-highlight_3.1.6-1.1.debian.tar.gz
7df64b2533669afb93f9bd7c16dde96bf2c7559c 366430
source-highlight_3.1.6-1.1_amd64.deb
154e2456813def8cfcf3bce6ad4f702fa84c2606 873038
libsource-highlight-dev_3.1.6-1.1_amd64.deb
79c664de933b6ad4bc327d4a2ebb287a9904861e 315586
libsource-highlight4_3.1.6-1.1_amd64.deb
6889b9bed06b3e11e88068bd050794e50592343a 71968
libsource-highlight-common_3.1.6-1.1_all.deb
Checksums-Sha256:
3c7723827062515ce211debacbbe025a55b9a19f6722a13469cd93711322097d 2103
source-highlight_3.1.6-1.1.dsc
0be2f1d6e79e5c932d29dc764ba1969fa4b3cfb7652af06778a0e8ae3861b389 5554
source-highlight_3.1.6-1.1.debian.tar.gz
7b4f39709a17b4fcd30ea3d05d857dc53129d35ab6e5c40b933acd85d5b24062 366430
source-highlight_3.1.6-1.1_amd64.deb
a0fab71729fb5c94831f47cf1f4a700d9400ec89b2057c007a5d2c38d9293a4d 873038
libsource-highlight-dev_3.1.6-1.1_amd64.deb
981df28974f1cc4a80ec2359370afdbfb045d5bd4bfb32cc6342339d30b74069 315586
libsource-highlight4_3.1.6-1.1_amd64.deb
ed147fb34b896e9ebbc1fee98fde2571c78bee42135c5e18ac608e391b76e552 71968
libsource-highlight-common_3.1.6-1.1_all.deb
Files:
521892abd99505bf21810ab3759c06e8 2103 devel optional
source-highlight_3.1.6-1.1.dsc
d632604493bfe85db5db005a9f1563d5 5554 devel optional
source-highlight_3.1.6-1.1.debian.tar.gz
995278bcc73525fb91f9aa602b4f754d 366430 devel optional
source-highlight_3.1.6-1.1_amd64.deb
c1c3954a0b7df7fe1851149a4dfc5118 873038 libdevel optional
libsource-highlight-dev_3.1.6-1.1_amd64.deb
0357538e89ce30324e0fb7bbae3e2d68 315586 libs optional
libsource-highlight4_3.1.6-1.1_amd64.deb
321ab66f80d5f955f0c4199d5bfb8330 71968 libs optional
libsource-highlight-common_3.1.6-1.1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCAAGBQJQ4hSvAAoJELgqIXr9/gnyslQP/Aojyh/tPZ4GM2Ma6qhVwXrs
DmBq4hOfJAHPm9AEoy7+eobJkOIX8HYAbzFUGcjpsn4PKCETsZ9DbPinbk8t+4ER
ACTJ52z3ihj2WqPLRngBB7fwOlbsOeSLltgykvJkb/84kp+5A2NgitiFFvNbntNG
G6Eo6kVFsic8Q2msZ/2Wqarz1ZXhX54JRrSZgGwjPsDVl62p3Wyoqtm1C50R63oy
pkxygineu+FEevWO+zsVVnyoDoFH1RmvYTLbzO9D5X0Uzeoq/8eI1cx8b6NkUQFq
DOm2J4wY4Vd+RYD1AwPt1eYFBzkjvY5CBH98OjRbLFXJPQUbSMJ1ypWP9hTYlg0J
oHsv+ljRNYcQ4zXc9NVQkGyi9kIslSbu140VajpdbIAr/XA0Bkjgdyi4tkN9gqrC
wZsGMMJmnqha5+2aDZFaB/vKGWQh1ZOBfQ5xpYUzeXd/n7ISq9Gm/VdFC0sadfjM
0944kT83qffGxoG224nm62qou9aaF+lKC4reM5wH/zqr43/7QFtz2AqPbNXxTax/
tIOIraZg8zo6OZ03lAuJR3nSrypj7BvRyHDvD0mtVfPQgWMhlgc0ilzL5vo0vEf9
yV1BBSaCOxMQW2lF6CjmlS+R00AYALXpkjYl8wb8h7KWIfacocMeKsKfRYJLq+zg
Xg9X7gIVpyqafnS+uWsJ
=uNp2
-----END PGP SIGNATURE-----
--- End Message ---