changes_fields:
Architecture: arm64
Binary: libz3-4 libz3-4-dbgsym libz3-dev libz3-java libz3-jni libz3-jni-dbgsym python3-z3
z3 z3-dbgsym
Changed-By: Sylvestre Ledru <sylvestre@debian.org>
Changes: |2-
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:
- name: libz3-4-dbgsym_4.13.3-1_arm64.deb
sha1: b9c63f42acfa2d25dd3d51d756f9c7989c17352f
size: '171717164'
- name: libz3-4_4.13.3-1_arm64.deb
sha1: 9e2f9ad127db834d80df467507c52424db02eee8
size: '7506868'
- name: libz3-dev_4.13.3-1_arm64.deb
sha1: acf11564200118350181ef63833a02541adf57af
size: '106528'
- name: libz3-java_4.13.3-1_arm64.deb
sha1: aa74e14e8ef8819cf3775ab15df82cad07dd0ddd
size: '182208'
- name: libz3-jni-dbgsym_4.13.3-1_arm64.deb
sha1: a4f0471b5d6c93744c80718056d2d99ea2bbdbf2
size: '183952'
- name: libz3-jni_4.13.3-1_arm64.deb
sha1: 2bc76a0cc5246b8bc35e783c9dfb37f5cae2d44c
size: '35476'
- name: python3-z3_4.13.3-1_arm64.deb
sha1: 860040f2c5e6b7fccaca5d8bcf11d8650b9968a2
size: '83500'
- name: z3-dbgsym_4.13.3-1_arm64.deb
sha1: 42190e77e25522d8c887f1d8ddfd9a740c617636
size: '173621280'
- name: z3_4.13.3-1_arm64.buildinfo
sha1: c6a19eb1bf24af70f2b57044e48f718ec6cd755a
size: '14720'
- name: z3_4.13.3-1_arm64.deb
sha1: 6cb3849ac1a1fdeb05243d5a95f706ceaabc3b2e
size: '7503940'
Checksums-Sha256:
- name: libz3-4-dbgsym_4.13.3-1_arm64.deb
sha256: da51c8a6bdcdbf0358cbf384c6cd172589e550d580b2e6783089b37b1f4021ae
size: '171717164'
- name: libz3-4_4.13.3-1_arm64.deb
sha256: 29a7b924a5a38c9ac4e2a64aa11586a9c54f26b579b18e4f75adf8f7c1106e45
size: '7506868'
- name: libz3-dev_4.13.3-1_arm64.deb
sha256: e35389f0b02e020d6714c5ef349eef4a1f514d0293c05fd28bb90c1fe4f3f2b7
size: '106528'
- name: libz3-java_4.13.3-1_arm64.deb
sha256: bd8e91d89ba1b8b94b679facf0f2868416a100f7531b30a98d7b760e1ae1ef54
size: '182208'
- name: libz3-jni-dbgsym_4.13.3-1_arm64.deb
sha256: 0d55ea5f1900b12265327f8146163af92ad33534b6cd36548ef680f5a937d0cd
size: '183952'
- name: libz3-jni_4.13.3-1_arm64.deb
sha256: 48cc066fe4f158d94010a3cb368b474c23a6e983e20da80360ecfbca9f16ec27
size: '35476'
- name: python3-z3_4.13.3-1_arm64.deb
sha256: f9cf909578dc36ca349c83ab3b6225050226d10e4299f88a69805e359ace437e
size: '83500'
- name: z3-dbgsym_4.13.3-1_arm64.deb
sha256: ee2d49166a293b7a02c1277393378b0d2e69291cae26d0aa45ea0c2027d47014
size: '173621280'
- name: z3_4.13.3-1_arm64.buildinfo
sha256: f9c96a9d558ae69fd3191e86ac709d1a007bdc084e2912f9771d9646130585a3
size: '14720'
- name: z3_4.13.3-1_arm64.deb
sha256: 615af7fe9efd494201d3978fe7b9106a609476cc2c1d0a8abe88395db352b6cc
size: '7503940'
Closes: '1086731'
Date: Mon, 04 Nov 2024 22:19:18 +0100
Description: |2-
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
Distribution: sid
Files:
- md5sum: 543fcd3c7ea0e1802745cb76466e5ad8
name: libz3-4-dbgsym_4.13.3-1_arm64.deb
priority: optional
section: debug
size: '171717164'
- md5sum: 484bf18daaeb4fab0c8a1d7d53d6714f
name: libz3-4_4.13.3-1_arm64.deb
priority: optional
section: libs
size: '7506868'
- md5sum: b252dd38c2e8dcd9f1a5ab754d1ba021
name: libz3-dev_4.13.3-1_arm64.deb
priority: optional
section: libdevel
size: '106528'
- md5sum: 60ccdb982acd28db0481d3344c66ca95
name: libz3-java_4.13.3-1_arm64.deb
priority: optional
section: java
size: '182208'
- md5sum: 98648ad165867978cd8913e5ce79b2d7
name: libz3-jni-dbgsym_4.13.3-1_arm64.deb
priority: optional
section: debug
size: '183952'
- md5sum: ba1549b1b046cab3f0fe5198a806f859
name: libz3-jni_4.13.3-1_arm64.deb
priority: optional
section: java
size: '35476'
- md5sum: adb338d4bccc17261a3ce063b8582dcf
name: python3-z3_4.13.3-1_arm64.deb
priority: optional
section: python
size: '83500'
- md5sum: 9b24c74624b168e536006370b22f044e
name: z3-dbgsym_4.13.3-1_arm64.deb
priority: optional
section: debug
size: '173621280'
- md5sum: d88efa8068c535df09911a73566aa31e
name: z3_4.13.3-1_arm64.buildinfo
priority: optional
section: science
size: '14720'
- md5sum: 97ee65d72c874f7357209a703631984b
name: z3_4.13.3-1_arm64.deb
priority: optional
section: science
size: '7503940'
Format: '1.8'
Maintainer: LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
Source: z3
Urgency: medium
Version: 4.13.3-1
type: dpkg