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: ppc64el
Version: 4.8.9-1
Distribution: hirsute
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-ppc64el-006.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:
 fed0b91c3e4ed8c41c950138dc07c7844cf3bec9 126898816 libz3-4-dbgsym_4.8.9-1_ppc64el.ddeb
 94f291103a50276f13cd105fe890a6d01c7d5595 6872744 libz3-4_4.8.9-1_ppc64el.deb
 1d7ef230f6a387c610885c0174c8aee8048376e4 70088 libz3-dev_4.8.9-1_ppc64el.deb
 f24e753054906904b10d9d7857d240d384208a04 154624 libz3-java_4.8.9-1_ppc64el.deb
 949aa5f336ba7a0ff37545b5bb05028c51a52ced 188732 libz3-jni-dbgsym_4.8.9-1_ppc64el.ddeb
 d7e98ccd67f9f2d1ec5479ec3a1fbd1cf3995316 35520 libz3-jni_4.8.9-1_ppc64el.deb
 7b99fa319bacba50946370a4980b53d3aac9e5b0 78248 python3-z3_4.8.9-1_ppc64el.deb
 64cdd1c55bca1570e5a04f6f8c4a4ff6087a0434 128485004 z3-dbgsym_4.8.9-1_ppc64el.ddeb
 9cc6b094761233f6476997a080a1a5fb4b4c7976 13344 z3_4.8.9-1_ppc64el.buildinfo
 a493204219abc11a8165388908a3740c383cb7e1 6892856 z3_4.8.9-1_ppc64el.deb
Checksums-Sha256:
 179e9d9bcbd862ead6245147fd542ab85594d2fa2cbe386b60c7ce8900e1f79b 126898816 libz3-4-dbgsym_4.8.9-1_ppc64el.ddeb
 f12c37c3d31334431cc8a1dd081f316e11792d499b1863825b731eb20d90ffe6 6872744 libz3-4_4.8.9-1_ppc64el.deb
 719820fdcf43ebb7b13aac205543514ba1c4c9de668073b59000fae458fe0f37 70088 libz3-dev_4.8.9-1_ppc64el.deb
 b5ec0949b9bfaca16dac1dd0473195e7a3026464ea42e96a64755fda3b5a774b 154624 libz3-java_4.8.9-1_ppc64el.deb
 c1e28d99a5a1724f004e8dc577d678282a6a1850b433b0ca020cee3c4ae64992 188732 libz3-jni-dbgsym_4.8.9-1_ppc64el.ddeb
 2470653fc0305f8f72613d65a90570ab17af82ee4dc15e110081aef97e9fee5d 35520 libz3-jni_4.8.9-1_ppc64el.deb
 cbc750207cc2f27e23d85f171240537b0a318a0cdb4d7837c7817a73a6dac9b7 78248 python3-z3_4.8.9-1_ppc64el.deb
 0de79452f2b914175cc44e78f1b24e198a7858b3217dd12c0b835bd876439cf4 128485004 z3-dbgsym_4.8.9-1_ppc64el.ddeb
 99f03dfd62a8eb849f44b20a2a34969d7508dd6d5cbfc7dfbb43eaf498444a84 13344 z3_4.8.9-1_ppc64el.buildinfo
 385c7a048cb88d1a5e2b46d9b9b52db4d401115be82f88f15debcadd0143c6c7 6892856 z3_4.8.9-1_ppc64el.deb
Files:
 be1339ec4981b5388cc30368bf563ecb 126898816 debug optional libz3-4-dbgsym_4.8.9-1_ppc64el.ddeb
 fd54d8a9a6537193fc5d8c87316b986d 6872744 libs optional libz3-4_4.8.9-1_ppc64el.deb
 9c91c281676e6fbdff0507c3bafd5eff 70088 libdevel optional libz3-dev_4.8.9-1_ppc64el.deb
 db770bda199c3ba385e0f8e61f06a9d8 154624 java optional libz3-java_4.8.9-1_ppc64el.deb
 0b513808437febc1290bbc7d28cfa659 188732 debug optional libz3-jni-dbgsym_4.8.9-1_ppc64el.ddeb
 c4db8d2078661cfb24fe1b680e9da526 35520 java optional libz3-jni_4.8.9-1_ppc64el.deb
 a34fcf870b728bb02fb296a9207cdffa 78248 python optional python3-z3_4.8.9-1_ppc64el.deb
 ba265f46e28437d32a88618c6ae5b839 128485004 debug optional z3-dbgsym_4.8.9-1_ppc64el.ddeb
 41b3371f9be08372842cbdc9befb206a 13344 science optional z3_4.8.9-1_ppc64el.buildinfo
 ee9914a2196366004866b1ed04f2c1d8 6892856 science optional z3_4.8.9-1_ppc64el.deb