Format: 1.8
Date: Fri, 21 Oct 2022 19:24:40 +0200
Source: z3
Binary: libz3-4 libz3-dev libz3-java libz3-jni python3-z3 z3
Built-For-Profiles: noudeb
Architecture: ppc64el
Version: 4.8.12-3
Distribution: lunar-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-ppc64el-005.buildd>
Changed-By: Karo Gyoker <karogyoker2+debbug@gmail.com>
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
Closes: 1016658 1020516 1020802 1021926
Changes:
 z3 (4.8.12-3) unstable; urgency=medium
 .
   * Do not use SSE2 unconditionally on i386
     (Closes: #1020802, #1020516, #1016658, #1021926)
Checksums-Sha1:
 54a75c8f64237e193c5e40d5ee27cc1b0e6faecd 107488516 libz3-4-dbgsym_4.8.12-3_ppc64el.ddeb
 a3481a3a9e65f3010bfde01510321f85923ad437 5981700 libz3-4_4.8.12-3_ppc64el.deb
 7dfe858ba730578ae65b068d0dd2e2b89e3812b3 72220 libz3-dev_4.8.12-3_ppc64el.deb
 8366df4f5cba8533b97a5ef4da03d13c971bd482 162354 libz3-java_4.8.12-3_ppc64el.deb
 9e198df6091a3a51b829530d1d31de20b36fa676 200122 libz3-jni-dbgsym_4.8.12-3_ppc64el.ddeb
 949b9885bcd18383c99e2d3bb058693a5b911641 40078 libz3-jni_4.8.12-3_ppc64el.deb
 cc676de96d379e1657c817c16d62c2511e154ea4 79778 python3-z3_4.8.12-3_ppc64el.deb
 221e7cb2674605cd8b506601e89abf24a61c928d 109599502 z3-dbgsym_4.8.12-3_ppc64el.ddeb
 9a3a4aea612b0446f9d063efb9cdff29f837231e 14397 z3_4.8.12-3_ppc64el.buildinfo
 66517b2d83421faa2ed46e2245ee18e0846003ee 6062712 z3_4.8.12-3_ppc64el.deb
Checksums-Sha256:
 008c503ae9de9ca664657329c6d08dbbc68cddd087ccdf9b33bfeca08bd07f4c 107488516 libz3-4-dbgsym_4.8.12-3_ppc64el.ddeb
 5afd449a2ec9217b1cfa4fab31d8689d7a995d6be066c1635dea680192653068 5981700 libz3-4_4.8.12-3_ppc64el.deb
 51b68be291a2bfab24094d8fe9e4cf66df5c00def7ebfb24579583de92c0b0d9 72220 libz3-dev_4.8.12-3_ppc64el.deb
 c4e08c8f230c0047c5d402b0de15e9c39e72886c01f918d859e0b9e2f299c2b4 162354 libz3-java_4.8.12-3_ppc64el.deb
 20cdc90bc8789eee9b5e8f2c55d8910874f151ce5bffce32f3ba7178b2796b38 200122 libz3-jni-dbgsym_4.8.12-3_ppc64el.ddeb
 cb6fcb17f90ffcf6f8e58c701942f8f1ca7eea8da58a17f4830b9e303870b1ab 40078 libz3-jni_4.8.12-3_ppc64el.deb
 cef615fc69f18e642207c5564ce29c5eef122f8e46299f3f472c1584563ab19b 79778 python3-z3_4.8.12-3_ppc64el.deb
 580e2b2ca48532ad20a573b43fa7b11b81618a932f171817192e1c8a6f96e6ad 109599502 z3-dbgsym_4.8.12-3_ppc64el.ddeb
 23e040ea5ec28fa2d482dfd0c4f822a36f10ee83c461f9c50f1cf2efbb35f4e8 14397 z3_4.8.12-3_ppc64el.buildinfo
 5d59842723be27bcc59e624e190cf526f12fc3673f110ec26edf28abfc2495f5 6062712 z3_4.8.12-3_ppc64el.deb
Files:
 88ace669df1c14dde59e5c0a61bb301e 107488516 debug optional libz3-4-dbgsym_4.8.12-3_ppc64el.ddeb
 6ba1bfd78363bdafa84ed8ad27921932 5981700 libs optional libz3-4_4.8.12-3_ppc64el.deb
 fbaea7086c1843c3ee584ae9814c9b93 72220 libdevel optional libz3-dev_4.8.12-3_ppc64el.deb
 f44f7eb71e6299bde0dc687644f3ede6 162354 java optional libz3-java_4.8.12-3_ppc64el.deb
 cc0194f29675be5ccf853991b540ae48 200122 debug optional libz3-jni-dbgsym_4.8.12-3_ppc64el.ddeb
 1e45f161f58bbff05212e2f9c96e13ab 40078 java optional libz3-jni_4.8.12-3_ppc64el.deb
 6e0a6d72b6d7716d5617259e0f4d182c 79778 python optional python3-z3_4.8.12-3_ppc64el.deb
 0e20420294ef48193b3a8fc1580abd00 109599502 debug optional z3-dbgsym_4.8.12-3_ppc64el.ddeb
 42779e37dc55abac6d83cd13c1e155ec 14397 science optional z3_4.8.12-3_ppc64el.buildinfo
 2c83584b72ab22785cb15e48e42911d6 6062712 science optional z3_4.8.12-3_ppc64el.deb