Accepted z3 4.4.0-5 (source i386 all) into unstable, unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 04 Oct 2015 10:57:27 +0100
Source: z3
Binary: z3 libz3-dev python-z3 libz3-cil libz3-ocaml-dev libz3-java libz3-jni
Architecture: source i386 all
Version: 4.4.0-5
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <mt@debian.org>
Changed-By: Michael Tautschnig <mt@debian.org>
Description:
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
Changes:
z3 (4.4.0-5) unstable; urgency=low
.
* Add fixes for tests previously failing on ARM, PowerPC
Checksums-Sha1:
9f14825a8149b1a1bb3e868065f571b34f68f67f 2122 z3_4.4.0-5.dsc
ab8b8907f9fc48e4230101b7c4a426deaeb52f58 11420 z3_4.4.0-5.debian.tar.xz
05cd8da783b3b279372bd66d4b987df3abdf882e 40116 libz3-cil_4.4.0-5_i386.deb
60c5e3e7313b9c9dd0b9ae48c2835b26e17daf3e 5691792 libz3-dev_4.4.0-5_i386.deb
9f48d279931072a6fd93d40304cc25d3e83c31a6 137442 libz3-java_4.4.0-5_all.deb
d8628651039b927807af895bf80868d348d6975b 40688 libz3-jni_4.4.0-5_i386.deb
71b1c28766df0c27062b614518f4d61497c351a7 419780 libz3-ocaml-dev_4.4.0-5_i386.deb
09aa95c247f1a59a8aa54be5b0049306d3409064 66256 python-z3_4.4.0-5_i386.deb
38ff67cdd6d6e01aed06ddcab8819ae8545fd807 5645968 z3_4.4.0-5_i386.deb
Checksums-Sha256:
cd6ba4a30027f2d6ba1842602cbdcff78ab4c6693a061d7df0cef6f6e46e3d84 2122 z3_4.4.0-5.dsc
dbdaa34c974f6dbaafa2a2c7c764bb174cfbc8658a960dbd987c0adb236dc134 11420 z3_4.4.0-5.debian.tar.xz
c36c5152b6d76fc598fff3daaf3b0959787111077fe08cff8429ce39fb6eeeaa 40116 libz3-cil_4.4.0-5_i386.deb
4d7805264e2cc30db97eb6567bd5432ee13c8bc3d89ae9755a05aa656ad4197e 5691792 libz3-dev_4.4.0-5_i386.deb
8448339956ec974a62fc398bcaf7309f610d02c12dd566b3473cc8a84530180d 137442 libz3-java_4.4.0-5_all.deb
0ac278507e4072f75cff8cdcf0633129e988e4dc9d6598063a0dd30972a83c43 40688 libz3-jni_4.4.0-5_i386.deb
f9ddef8f8b81fbfd03617618d31eb3deadb3ac60e5f6997ed14b0d5cadde85ae 419780 libz3-ocaml-dev_4.4.0-5_i386.deb
7434e5406d6794e9c01bb2fed6a82dbaf6d9ebe75b278f3d5814dcb60d9966c9 66256 python-z3_4.4.0-5_i386.deb
f7c1d338bb9cc32ed83571da93a6a2c2fcb27c806ebb22505b6a7c7fd525f0da 5645968 z3_4.4.0-5_i386.deb
Files:
7cc8a989303bea3a03818e8e02a745a1 2122 science extra z3_4.4.0-5.dsc
1e333de46d8dd9215d4089ac784d5ad8 11420 science extra z3_4.4.0-5.debian.tar.xz
eba5fedadc292f22c130ce7f7a0c88be 40116 cli-mono extra libz3-cil_4.4.0-5_i386.deb
74c510c3ada0f6a35f4671fcc175ab81 5691792 libdevel extra libz3-dev_4.4.0-5_i386.deb
87c7e746e8883b3418e82841b807afdf 137442 java extra libz3-java_4.4.0-5_all.deb
19ef5330e86799f729989e4e1520cf89 40688 java extra libz3-jni_4.4.0-5_i386.deb
da862e94f0dfc11d2e976d00c5bf119f 419780 libdevel extra libz3-ocaml-dev_4.4.0-5_i386.deb
453c1aefe3c7462ff82d1fa6bb2884e7 66256 python extra python-z3_4.4.0-5_i386.deb
aad69e065dc5f112faa604f34b20d563 5645968 science extra z3_4.4.0-5_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
Comment: GPGTools - http://gpgtools.org
iQIcBAEBCAAGBQJWETM9AAoJEDu/g5M27KkxLDAP/RuwQKo46Si3SFAcY9JyF87V
Ylvp9JzKMIGGUZYi78cQeKXgK/iWeSAjNJiGvj9XZgpiarWFzNMTqgKTL2+++9UL
GKES2EdRyYpPIpQ6SMin/Wsbt8FP1voDLoZjjU3qYb84z1xkqnKTs4JCKrf/oRvi
JgTiCH0JXm5qfGVFE+ACDIjy7HEo+o5/QzNcLeVta6GED7Akx76kMWOPRJJ1wcss
/JTfzeXIYoyKO1yPAqXRFJAktTx6xuCHLS/g94JTLx/OA/y3J5oTrlBuzd89cPeE
bqWmdT/D8ry9dx6/6nSwKUT+FIQabbBG7lS2fvYD+eGr/Hi2ri98UE7azf4m75LP
+DL+Ski3nKUpVtSZgDex694zFirvIaoaEW1P0KNnMHObUNBKTO46iC0KUVpvdL4y
++CHhcT8I8oYKmwhItRp9vLI3szBTce9zbWhhzyIqrmAT8NoepiWUUdhg+/XtufD
gQkaCQtzTHRegLqdITfhZRG4VSvWJR5kgc7cHT0Ae7zOodDQDYCLl9awG3VQp9F4
Vzvfo0Qeky2dIlpz9Q2F8Ar8TL3BtfRR+968M/0TURnguTxIN41soKMh2VifvIsP
vODP/lE244H26m6BG0KyEgBwyBR58InjybNvLQeKhBmBf/U4iOsuad2w0imKjzi8
MaT05jaxKLdlr7s7IeDa
=6vjQ
-----END PGP SIGNATURE-----