Accepted z3 4.4.1-0.4~deb9u1 (source) into proposed-updates->stable-new, proposed-updates
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 16 Sep 2018 20:46:04 +0300
Source: z3
Binary: z3 libz3-4 libz3-dev python-z3 libz3-cil libz3-ocaml-dev libz3-java libz3-jni
Architecture: source
Version: 4.4.1-0.4~deb9u1
Distribution: stretch
Urgency: medium
Maintainer: Michael Tautschnig <mt@debian.org>
Changed-By: Adrian Bunk <bunk@debian.org>
Description:
libz3-4 - theorem prover from Microsoft Research - runtime libraries
libz3-cil - theorem prover from Microsoft Research - CLI bindings
libz3-dev - theorem prover from Microsoft Research - development files
libz3-java - theorem prover from Microsoft Research - java bindings
libz3-jni - theorem prover from Microsoft Research - JNI library
libz3-ocaml-dev - theorem prover from Microsoft Research - OCaml bindings
python-z3 - theorem prover from Microsoft Research - Python bindings
z3 - theorem prover from Microsoft Research
Closes: 874237
Changes:
z3 (4.4.1-0.4~deb9u1) stretch; urgency=medium
.
* Non-maintainer upload.
* Rebuild for stretch.
.
z3 (4.4.1-0.4) unstable; urgency=medium
.
* Non-maintainer upload.
* Remove the incorrect Multi-Arch: same of python-z3,
thanks to Helmut Grohne. (Closes: #874237)
Checksums-Sha1:
1253bc0d103babcc55d9eee06144740d03b66a0d 2829 z3_4.4.1-0.4~deb9u1.dsc
c6cd1182c89458879a59dcec233c03748888c4dc 14404 z3_4.4.1-0.4~deb9u1.debian.tar.xz
Checksums-Sha256:
dd4e97d97de6aa42a6aa6b3387c3bae37aeb5365f3c0d6ee326624ebe935dfee 2829 z3_4.4.1-0.4~deb9u1.dsc
884d944c8076ef4f58ccb1cdc677ffeaa4c9a655a41d08746ded10b6a5a0d5b3 14404 z3_4.4.1-0.4~deb9u1.debian.tar.xz
Files:
d262f9541f76803cb80689d6cf475b1d 2829 science extra z3_4.4.1-0.4~deb9u1.dsc
aaf2b7890ec9a264abbc13488d049bc0 14404 science extra z3_4.4.1-0.4~deb9u1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEOvp1f6xuoR0v9F3wiNJCh6LYmLEFAluenUoACgkQiNJCh6LY
mLHPxRAAtFWpZFpzcs83gCzw5OSlMUzmYZncLtO4Z77NvwsKQOSUAHXssfWvq5xF
8gOP3SKsRHEt4QmkewbsXzxrS/FE/dfU3Bm9IH5zQVQDLUd8CxeEiemcPVuZymaQ
fw/SV229TE5lSiVZwoFPG7isOe56slaF5T6WE0ON8pD9NnpXjv8EJEhmYZxChrGs
uBRmsae7MhwBpN+hblyaUU5EgAS9TrYjUVULpT0E9lDYu6jCLNIrTYGMT/BAR5dy
8zBHqTqQdm3W5NX4cbuzRQIvsB93Ojgdl25H7bD9WUYNmY4C9IT3srBlJlAzZCd7
9uCr8CcoNEWbZgk8XohK+kbfdH6lffVsLbxZgttMQ0UWz03M59oj/f0+ip9bkvkk
BtFIzZlzKyjaB0YVp9+8zL9fmb5738xAm9b92U7O+3o9D7MigudlRJkBLcPfCgWA
V8ow4OAhWBoKyntr25jp95SYEC0njf/BTu2XMpuATyLg9HF2c4Xvlu3TlMsLqfUl
H+F7L/N+AouiyR6EWUljL5o2XyZO/iy5i3DATyEKPreJmDXgmzr3dobn8hSdnBlx
SttAMV2d4RvZKilwqWngnJYmUx2jUcNipRqoxsEdClRhXEfVX9bfFXOXIQOtthUM
zIWx0oFrRMuQyJu3naR7VrcpJQP69YC31dtejMF061LTNA+gnbw=
=yu5b
-----END PGP SIGNATURE-----