-----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-----