Format: 1.8
Date: Mon, 04 Nov 2024 22:19:18 +0100
Source: z3
Binary: libz3-4 libz3-4-dbgsym libz3-dev libz3-java libz3-jni libz3-jni-dbgsym python3-z3 z3 z3-dbgsym
Architecture: arm64
Version: 4.13.3-1
Distribution: sid
Urgency: medium
Maintainer: LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
Changed-By: Sylvestre Ledru <sylvestre@debian.org>
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: 1086731
Changes:
 z3 (4.13.3-1) unstable; urgency=medium
 .
   * Non-maintainer upload.
   * New upstream release
 .
   [ Helmut Grohne ]
   * Improve cross building. (Closes: #1086731)
     + Multiarchify python3 dependency.
   * Add nopython build profile.
     + Conditionalize debhelper addons via Build-Depends.
     + Let debhelper conditionalize --link-doc based on profiles.
     + Unconditional python3-setuptools dependency needed even with <!nopython>.
   * Tighten libz3-java -> libz3-dev dependency for doc linking.
Checksums-Sha1:
 b9c63f42acfa2d25dd3d51d756f9c7989c17352f 171717164 libz3-4-dbgsym_4.13.3-1_arm64.deb
 9e2f9ad127db834d80df467507c52424db02eee8 7506868 libz3-4_4.13.3-1_arm64.deb
 acf11564200118350181ef63833a02541adf57af 106528 libz3-dev_4.13.3-1_arm64.deb
 aa74e14e8ef8819cf3775ab15df82cad07dd0ddd 182208 libz3-java_4.13.3-1_arm64.deb
 a4f0471b5d6c93744c80718056d2d99ea2bbdbf2 183952 libz3-jni-dbgsym_4.13.3-1_arm64.deb
 2bc76a0cc5246b8bc35e783c9dfb37f5cae2d44c 35476 libz3-jni_4.13.3-1_arm64.deb
 860040f2c5e6b7fccaca5d8bcf11d8650b9968a2 83500 python3-z3_4.13.3-1_arm64.deb
 42190e77e25522d8c887f1d8ddfd9a740c617636 173621280 z3-dbgsym_4.13.3-1_arm64.deb
 c6a19eb1bf24af70f2b57044e48f718ec6cd755a 14720 z3_4.13.3-1_arm64.buildinfo
 6cb3849ac1a1fdeb05243d5a95f706ceaabc3b2e 7503940 z3_4.13.3-1_arm64.deb
Checksums-Sha256:
 da51c8a6bdcdbf0358cbf384c6cd172589e550d580b2e6783089b37b1f4021ae 171717164 libz3-4-dbgsym_4.13.3-1_arm64.deb
 29a7b924a5a38c9ac4e2a64aa11586a9c54f26b579b18e4f75adf8f7c1106e45 7506868 libz3-4_4.13.3-1_arm64.deb
 e35389f0b02e020d6714c5ef349eef4a1f514d0293c05fd28bb90c1fe4f3f2b7 106528 libz3-dev_4.13.3-1_arm64.deb
 bd8e91d89ba1b8b94b679facf0f2868416a100f7531b30a98d7b760e1ae1ef54 182208 libz3-java_4.13.3-1_arm64.deb
 0d55ea5f1900b12265327f8146163af92ad33534b6cd36548ef680f5a937d0cd 183952 libz3-jni-dbgsym_4.13.3-1_arm64.deb
 48cc066fe4f158d94010a3cb368b474c23a6e983e20da80360ecfbca9f16ec27 35476 libz3-jni_4.13.3-1_arm64.deb
 f9cf909578dc36ca349c83ab3b6225050226d10e4299f88a69805e359ace437e 83500 python3-z3_4.13.3-1_arm64.deb
 ee2d49166a293b7a02c1277393378b0d2e69291cae26d0aa45ea0c2027d47014 173621280 z3-dbgsym_4.13.3-1_arm64.deb
 f9c96a9d558ae69fd3191e86ac709d1a007bdc084e2912f9771d9646130585a3 14720 z3_4.13.3-1_arm64.buildinfo
 615af7fe9efd494201d3978fe7b9106a609476cc2c1d0a8abe88395db352b6cc 7503940 z3_4.13.3-1_arm64.deb
Files:
 543fcd3c7ea0e1802745cb76466e5ad8 171717164 debug optional libz3-4-dbgsym_4.13.3-1_arm64.deb
 484bf18daaeb4fab0c8a1d7d53d6714f 7506868 libs optional libz3-4_4.13.3-1_arm64.deb
 b252dd38c2e8dcd9f1a5ab754d1ba021 106528 libdevel optional libz3-dev_4.13.3-1_arm64.deb
 60ccdb982acd28db0481d3344c66ca95 182208 java optional libz3-java_4.13.3-1_arm64.deb
 98648ad165867978cd8913e5ce79b2d7 183952 debug optional libz3-jni-dbgsym_4.13.3-1_arm64.deb
 ba1549b1b046cab3f0fe5198a806f859 35476 java optional libz3-jni_4.13.3-1_arm64.deb
 adb338d4bccc17261a3ce063b8582dcf 83500 python optional python3-z3_4.13.3-1_arm64.deb
 9b24c74624b168e536006370b22f044e 173621280 debug optional z3-dbgsym_4.13.3-1_arm64.deb
 d88efa8068c535df09911a73566aa31e 14720 science optional z3_4.13.3-1_arm64.buildinfo
 97ee65d72c874f7357209a703631984b 7503940 science optional z3_4.13.3-1_arm64.deb