Accepted z3 4.8.4-1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 27 Aug 2019 14:30:11 +0200
Source: z3
Binary: z3 libz3-4 libz3-dev python-z3 libz3-cil libz3-ocaml-dev libz3-java libz3-jni
Architecture: source
Version: 4.8.4-1
Distribution: unstable
Urgency: medium
Maintainer: LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
Changed-By: Fabian Wolff <fabi.wolff@arcor.de>
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: 909494 934048
Changes:
z3 (4.8.4-1) unstable; urgency=medium
.
[ Gianfranco Costamagna ]
* Team upload.
* Honour nocheck option to not run testsuite
.
[ Fabian Wolff ]
* New upstream release (Closes: #909494).
* Add debian/gbp.conf.
* Update and reorganize patches.
* Upgrade to debhelper compat level 12.
* Upgrade to Standards-Version 4.4.0 (no changes).
* Remove trailing whitespace from debian/control.
* Build-Depend on libnum-ocaml-dev (Closes: #934048).
Checksums-Sha1:
d7ddf9ac0acfeec8d4261b5b3db54f52853f3926 3020 z3_4.8.4-1.dsc
171be55f306966a6968fef5e8ecb65846fb3b734 4117081 z3_4.8.4.orig.tar.gz
5d070070e8355f358dda318ffea0a9d7b2c76adc 9480 z3_4.8.4-1.debian.tar.xz
58478b90fa565cdb5f534ddfa6a3bca1faf15c08 22026 z3_4.8.4-1_source.buildinfo
Checksums-Sha256:
37928289d925c64464f68e0733ab43a07673e9a2f4cb24a356909d26d4ae95c3 3020 z3_4.8.4-1.dsc
5a18fe616c2a30b56e5b2f5b9f03f405cdf2435711517ff70b076a01396ef601 4117081 z3_4.8.4.orig.tar.gz
6805e4953eb6586135709857e61f1fb03872333082a903132d257be740f3bfcc 9480 z3_4.8.4-1.debian.tar.xz
0a1264033edb71b2142b8564907ff72a8ffad47b4dc509beb0ab00aa159f82a4 22026 z3_4.8.4-1_source.buildinfo
Files:
1e25841516835cfaeaa06110db30f142 3020 science optional z3_4.8.4-1.dsc
b74bbb04e90c034125fe9e01988add95 4117081 science optional z3_4.8.4.orig.tar.gz
b7cc674b3e022700cabb461fc4889c45 9480 science optional z3_4.8.4-1.debian.tar.xz
6ed67d022779e99e809eecf960d6bd62 22026 science optional z3_4.8.4-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl1vjwgACgkQ808JdE6f
XdlnCA//e1LH7dOfxuqpXRwPas2AmLXZI3bNHwOkG5gnnWPUvsiCFzqWPNaCUeYE
vQ2Rf97fFkUwkasi46BlMqLc/kgS/zC35vnYTL288DzGoJyb4jKA7qa9gJZFBDg7
1Hc8MIRPYkWaPcSsOaL197pGfDxia4D56frJFhhyeVuL73pTPgEvzVsH+Qsrirs3
59YGyOmt3oockKCVARiFbMXiM7fC4ZH1TEN1vispdSkT4WhnDRLCTeXL+iepgzSs
sn7lakJFUaRCAALVLx3jMDD081AOC6Ku5zrp2dpnrcXDmSlTpD+zUUaHfh23DZyh
73Eevc4yIiR33ARaZIYLauKAMqCQZlgzUb6uRktLM9Ilt4txJaUN1Lo5xS2E15bh
4bKKj/+vEUCdJ3ArtIpR+0EjtXUd/KDBU/xN9cerg6Tj2ZCbE9fIrC2L+CIA7VNI
8zopdlBcG/If+luG1A9xeYV5ImvDb77AuwZnXYOHC5mJipsoCYFm36Ch3YdmV+ws
b9R6s7FZh9O03L2Dhkbj6v+ft256jECsvHIGXp5W8F4OX5azQG/8NerLMnxyG1o1
s+YChaoH3onVauQ+vNyRNNcoWnJkpUvZGHD+YATYaoHhdwZehNbYiYpT0LK+vRrp
nt/DengCjEjlx/IcqySOvj/7Jgbd9JBdvEQoBmANcpBKYimpakQ=
=w01Y
-----END PGP SIGNATURE-----