Format: 1.8
Date: Mon, 21 Sep 2020 12:55:45 +0200
Source: z3
Binary: libz3-4 libz3-dev libz3-java libz3-jni python3-z3 z3
Architecture: armhf
Version: 4.8.9-1
Distribution: hirsute
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-arm64-036.buildd>
Changed-By: Fabian Wolff <fabi.wolff@arcor.de>
Description:
 libz3-4    - theorem prover from Microsoft Research - runtime libraries
 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
 python3-z3 - theorem prover from Microsoft Research - Python 3 bindings
 z3         - theorem prover from Microsoft Research
Changes:
 z3 (4.8.9-1) unstable; urgency=medium
 .
   * New upstream release.
   * Upgrade to debhelper compat level 13.
   * Update patches:
      - Refresh 00-intrinsics.patch.
      - Drop 01-reproducibility.patch (fixed upstream).
      - Refresh 02-soname.patch and rename it to 01-soname.patch.
      - Drop 03-pthread.patch (fixed upstream).
      - Add 02-pkgconfig.patch to correct the new z3.pc file.
   * Add the superficial pkg-config-test autopkgtest to check whether
     the new z3.pc file is installed properly and usable.
Checksums-Sha1:
 c304e7933317ea360982d0bd85957ea41f51e9ae 123569744 libz3-4-dbgsym_4.8.9-1_armhf.ddeb
 e20604097ed7d1492653a619fa4caea3dfc7b678 5787396 libz3-4_4.8.9-1_armhf.deb
 e03f9abd0b20a1197600bc5daa6ebe99755e6cbc 70080 libz3-dev_4.8.9-1_armhf.deb
 0b2819700ffdcd354fba687fd53e912bea3d4244 154620 libz3-java_4.8.9-1_armhf.deb
 31f1502cd5646a6869c5d8a5114d3ea0474e30cf 187016 libz3-jni-dbgsym_4.8.9-1_armhf.ddeb
 3d4708536c22c1c6694b826acb8f087f873d235d 30504 libz3-jni_4.8.9-1_armhf.deb
 56acf7d4e3c1bcd34d38311c69f5fddcec4c1d9b 78248 python3-z3_4.8.9-1_armhf.deb
 a68dfc2edc0bc761acc5b10cef501ca2b12bae78 125158688 z3-dbgsym_4.8.9-1_armhf.ddeb
 90ab82a0184715ea0b356b585ad2426694ad66d4 13147 z3_4.8.9-1_armhf.buildinfo
 58a0d9365195b9a93b913ddd52a3dbff9f0e5717 5812456 z3_4.8.9-1_armhf.deb
Checksums-Sha256:
 a51724c6d1687852672ee3a33ca317d2fe1a25fdce1c8fa0e2bca58db0b6c6e3 123569744 libz3-4-dbgsym_4.8.9-1_armhf.ddeb
 6b6a9ddc01c550e357831b966ba23884ce18b6da199651255ca5adb72227a24d 5787396 libz3-4_4.8.9-1_armhf.deb
 9b4bc091035a07b03acfa08736437469caa9d0af8958a62b2d371d6e1b7ee674 70080 libz3-dev_4.8.9-1_armhf.deb
 02aeca76e4ca64e97f11190c04468b98662fa609131be0cb2c19902fae90d935 154620 libz3-java_4.8.9-1_armhf.deb
 ef371d5d50b95204629a9a91c8ac48e2b8d65b8875ec0cea90fb4e58b0afa683 187016 libz3-jni-dbgsym_4.8.9-1_armhf.ddeb
 afb3d6930a5aca6feef13735227a0673aafc9d768116e241ab1f0beb77f32e98 30504 libz3-jni_4.8.9-1_armhf.deb
 6004d21779f9a71b394968ed39d0c4958ce714f79a15339ec1a14f170ae8b3e6 78248 python3-z3_4.8.9-1_armhf.deb
 6e5f0701121e693bbb2dfd624b66650c7884778228b9a8b8d44e99f75563a75e 125158688 z3-dbgsym_4.8.9-1_armhf.ddeb
 ba58c81798696adc573aad2352fad51cea97074f1dfca06a269e9c29752e5a34 13147 z3_4.8.9-1_armhf.buildinfo
 09c7a6786a6e878ddac7d4f0ec73dd35e6169f72afc20fca36499908b4c2c60c 5812456 z3_4.8.9-1_armhf.deb
Files:
 c3daa449f941b77a5e9bf825058725c2 123569744 debug optional libz3-4-dbgsym_4.8.9-1_armhf.ddeb
 8394f4130fb1bd2f10ab3a37dd634c92 5787396 libs optional libz3-4_4.8.9-1_armhf.deb
 38e980f4c8c535d0e3334224eb86abbc 70080 libdevel optional libz3-dev_4.8.9-1_armhf.deb
 575dcbe3a29e3c859de14a6cd72ff8e9 154620 java optional libz3-java_4.8.9-1_armhf.deb
 81404df3fb2e475c0fc8d0b29bdbd6dc 187016 debug optional libz3-jni-dbgsym_4.8.9-1_armhf.ddeb
 919e20e964f149c367293fd2a8933620 30504 java optional libz3-jni_4.8.9-1_armhf.deb
 d0e2def8d69448310df1e07ec49b777c 78248 python optional python3-z3_4.8.9-1_armhf.deb
 efa88c5a4e7f9182c356865658ca4cae 125158688 debug optional z3-dbgsym_4.8.9-1_armhf.ddeb
 d92d97cb918bd0dbb3e61a9774b68c8f 13147 science optional z3_4.8.9-1_armhf.buildinfo
 4ddb13f23577a0ef035dab50fad65d57 5812456 science optional z3_4.8.9-1_armhf.deb