-----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 <m...@debian.org> Changed-By: Michael Tautschnig <m...@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-----
