Accepted z3 4.8.6-2 (source) into unstable
-----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-team@lists.alioth.debian.org>
Changed-By: Fabian Wolff <fabi.wolff@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-----