Your message dated Mon, 14 Oct 2019 23:49:15 +0000
with message-id <e1ika5t-0001sl...@fasolo.debian.org>
and subject line Bug#942154: fixed in z3 4.8.6-2
has caused the Debian Bug report #942154,
regarding z3: Incomplete debian/copyright?
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.)
--
942154: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=942154
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: z3
Version: 4.8.6-1
Severity: serious
Justication: Policy ยง12.5
X-Debbugs-CC: Fabian Wolff <fabi.wo...@arcor.de>, ftpmas...@debian.org
Hi,
I just ACCEPTed z3 from NEW but noticed it was missing attribution in
debian/copyright for at least Arie Gurfinkel and Saint-Petersburg State
University.
This is in no way exhaustive so please check over the entire package
carefully and address these on your next upload.
Regards,
--
,''`.
: :' : Chris Lamb
`. `'` la...@debian.org / chris-lamb.co.uk
`-
--- End Message ---
--- Begin Message ---
Source: z3
Source-Version: 4.8.6-2
We believe that the bug you reported is fixed in the latest version of
z3, 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 942...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Fabian Wolff <fabi.wo...@arcor.de> (supplier of updated z3 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: SHA512
Format: 1.8
Date: Tue, 15 Oct 2019 00:29:22 +0200
Source: z3
Architecture: source
Version: 4.8.6-2
Distribution: unstable
Urgency: medium
Maintainer: LLVM Packaging Team <pkg-llvm-t...@lists.alioth.debian.org>
Changed-By: Fabian Wolff <fabi.wo...@arcor.de>
Closes: 942154
Changes:
z3 (4.8.6-2) unstable; urgency=medium
.
* Source-only reupload after the package has been in the NEW queue
(due to python3-z3).
* Update debian/copyright (Closes: #942154).
* Upgrade to Standards-Version 4.4.1 (no changes).
Checksums-Sha1:
a20ba7e686e4d3bc02e1a0ff708e6450eaa0fb85 2659 z3_4.8.6-2.dsc
d192d9cdb34cd232bbb0ca26b4a4c792b9c9f6b1 10908 z3_4.8.6-2.debian.tar.xz
644ca51696c6e2649399d7c900dbca2305fb059a 13307 z3_4.8.6-2_amd64.buildinfo
Checksums-Sha256:
ccc611fa95e14444f4b5d5225c5ce956f47be5614661e3f6747d5474978a756e 2659
z3_4.8.6-2.dsc
5fec1a189af524bf19ad2ea8aa6e74f7aa8592d79d9c9b09d8f162c5de5afb47 10908
z3_4.8.6-2.debian.tar.xz
74860028e37934659261f1c1aaa937363641102eb70666f84637be3b81cc6909 13307
z3_4.8.6-2_amd64.buildinfo
Files:
63876212a3afff31559bd1d56314041f 2659 science optional z3_4.8.6-2.dsc
87a25445d84cd65411864de0b30c02d9 10908 science optional
z3_4.8.6-2.debian.tar.xz
f03b97dbf8afc9e63f60606275445180 13307 science optional
z3_4.8.6-2_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEGKeQdgwAi1CfzfenilOItk1pK0kFAl2lBA0ACgkQilOItk1p
K0lLsQ//bZ94Ex3BZgAROvc76YaOT+hMRUESDzzvRzDvUoSQSoXuFrQdwW5LJh1g
vwUQNxpTttA1uq+H0LOybclYknFWcdTaYOLu/CN1Pl9mnsrhOFj0fqCMWSDh2hrS
ivEcQfsAuGlwNmeU/3z+UuKK9Z+/MTb6QK10CuqDu03Nr0aAMWBUXRVc0nIwFqMb
9r6iqJ+7SK/xPDNa3cbitZaWW1ACoKZKTGjzL124s2rakwKpJf5piiwi1IO5HW5I
ajZh6JoS8pt3J0E0zFli91k6NTTmYhiq1gc5Bmkq0C5hkaIUb0cuGKaSmSN+gkj3
SRMkX43hjDU67l69bcv4m4tIvU/euPl+ox6RyUtjwSFGAxpuND2WlIDIMegDN+I/
acuXg0XWpj+z47ttzEWS0xHn4SAEc1n1Ds7YoLCQNOO7YNiNFkryylF5SELDYD9i
7Tgms4H81KCyyV2NuXlv+dUwJphrXmhv8whY4LFHVRSsEuat1JK8y2RcMxmOcurQ
cfrZ3As2Wu8cQcP+UVlqbOs8G6MrJl1pkva6y+/LYTejPgfMPwGzzPEGfNCOnDFo
618dVzGc4c8BUjpHg5Td96o1d4+1aLedp8r4Vd4eI5/xg3jaFqruPL25HANQZcc9
rnaLHmiTSOUvxkrFhNbQt+4f3GqxEgCawZfWNDHhzeGw+9Gw57o=
=9fjV
-----END PGP SIGNATURE-----
--- End Message ---
