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: riscv64
Version: 4.8.12-3
Distribution: lunar-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@riscv64-qemu-lgw01-085.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:
 dd2201d6b67796bd0489b00a1359e5fa07e88985 118721818 libz3-4-dbgsym_4.8.12-3_riscv64.ddeb
 7195d09e1ee2e6e2961e015026704b2723685b14 7553834 libz3-4_4.8.12-3_riscv64.deb
 4550efc38d109c677901e0254faf72c7bc74495d 72212 libz3-dev_4.8.12-3_riscv64.deb
 a55640d0824f77c1954836d42eb747cfbe9abac4 162354 libz3-java_4.8.12-3_riscv64.deb
 0ecddf5cef5f5a230dbc53e2101b0c0a8869031b 164350 libz3-jni-dbgsym_4.8.12-3_riscv64.ddeb
 a025ea2dad52d12765e3b1f64d04933491636dd6 35714 libz3-jni_4.8.12-3_riscv64.deb
 e96f760f3adc6e02d9fc37ff435983aa122566de 79778 python3-z3_4.8.12-3_riscv64.deb
 d27e384401ae5fa43426de12c466b9b16601535f 120501292 z3-dbgsym_4.8.12-3_riscv64.ddeb
 2c5f0d053bb56c96ec4653133c929ff5ff418748 14197 z3_4.8.12-3_riscv64.buildinfo
 61fe34807bc7ecc83fc9eae079e2714d7256e32e 7582408 z3_4.8.12-3_riscv64.deb
Checksums-Sha256:
 c67241e78771ee92769bb166d65ccb2f80fe9f05dd2304d852b49cd26cc343e9 118721818 libz3-4-dbgsym_4.8.12-3_riscv64.ddeb
 0c37a342dbaf3ec8bd33e0217af04c05bd64ea1d66eeb1e69bc43c3e7205a480 7553834 libz3-4_4.8.12-3_riscv64.deb
 4bcd3eb502fa5d1cf846e7de1ea3e72a026cd5cd90bfb2cfdc2a8460ec987256 72212 libz3-dev_4.8.12-3_riscv64.deb
 6eedbac2b35bb98351a749f8f30d6a1163870806b48a36df43aa194bee8835ac 162354 libz3-java_4.8.12-3_riscv64.deb
 e069ff1adda9b430c6db004c2d40c9e81799cb9204807aaf1c5d565ffd7e7ac5 164350 libz3-jni-dbgsym_4.8.12-3_riscv64.ddeb
 7d5d3b537d7c8619debf42ac32f74072fdeab981f0aaf2174b2b77b33abd1257 35714 libz3-jni_4.8.12-3_riscv64.deb
 6fbabd5117937a2ff3e2eae57c345430d0d487c4371ef4a0b39251c76d845838 79778 python3-z3_4.8.12-3_riscv64.deb
 01cfc3130bfb096c667e6a24beda7dc1bdc20039fc8377f833b55b99725c87c5 120501292 z3-dbgsym_4.8.12-3_riscv64.ddeb
 36ef814bb3e23cec82e1049472e8aa0b5b682a9f4914a857fe8a8e036f101f62 14197 z3_4.8.12-3_riscv64.buildinfo
 086f2ff1314287ddbde3cea7afc21262c9a8ff5191eefbe80ae53b8a5750adde 7582408 z3_4.8.12-3_riscv64.deb
Files:
 ba93b4996a6fa7ea6512b0a616c38288 118721818 debug optional libz3-4-dbgsym_4.8.12-3_riscv64.ddeb
 0df090356cc6f6d3d0d303485e946abe 7553834 libs optional libz3-4_4.8.12-3_riscv64.deb
 6ca8bea7b007907d1754fa96d3863f3c 72212 libdevel optional libz3-dev_4.8.12-3_riscv64.deb
 5ee98fc51e5ce519a035dc4007b3200d 162354 java optional libz3-java_4.8.12-3_riscv64.deb
 d14200750928839815cd2e7708c69bf9 164350 debug optional libz3-jni-dbgsym_4.8.12-3_riscv64.ddeb
 cdf04785d6e87c6e52c3f402143585a1 35714 java optional libz3-jni_4.8.12-3_riscv64.deb
 328158a85d593f7c9754a671c6d86b8b 79778 python optional python3-z3_4.8.12-3_riscv64.deb
 2eca00f35878ec2d0832eff2ec86433b 120501292 debug optional z3-dbgsym_4.8.12-3_riscv64.ddeb
 29e7bbc39bd6e85a1e0d80b4156caf10 14197 science optional z3_4.8.12-3_riscv64.buildinfo
 15611c7d54161460f27813a73c5e9e30 7582408 science optional z3_4.8.12-3_riscv64.deb