Thank you for your contribution to Debian.
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Mon, 04 Nov 2024 22:19:18 +0100
Source: z3
Binary: libz3-4 libz3-4-dbgsym libz3-dev python3-z3 z3 z3-dbgsym
Architecture: loong64
Version: 4.13.3-1
Distribution: unstable
Urgency: medium
Maintainer: John Paul Adrian Glaubitz <glaubitz@physik.fu-berlin.de>
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
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:
63ee4f83cfd604c8ce3f8bc53447e26928949c08 173380944 libz3-4-dbgsym_4.13.3-1_loong64.deb
d2f16b231bd0ee8e9ff97edce8ac446835bc7292 8110400 libz3-4_4.13.3-1_loong64.deb
89b70458aec5b407b67d10a6649c143a37f05fd6 106540 libz3-dev_4.13.3-1_loong64.deb
fae322fcefe49837fbe0a2f54eb666385eb141d6 83520 python3-z3_4.13.3-1_loong64.deb
bde37b37afc1fa236fc68795e0cde58aa28d6f43 175163732 z3-dbgsym_4.13.3-1_loong64.deb
1580437f868861e31171da71830f78792be334f2 14185 z3_4.13.3-1_loong64.buildinfo
f5f7205068b156736224f56c0e8004892e9eeb95 8107088 z3_4.13.3-1_loong64.deb
Checksums-Sha256:
da1d755f464b11fab913b6c90a7599d6f4f75505821f81bea6c65c075efdfca1 173380944 libz3-4-dbgsym_4.13.3-1_loong64.deb
54df7fca26d819a0caabf93234420a84b4375c27e8a5bb93ce2c93fc3575b5fa 8110400 libz3-4_4.13.3-1_loong64.deb
04243177bb9204d3d32e0e21a63cd4a3bec426dd92178d51021f97d5740991c3 106540 libz3-dev_4.13.3-1_loong64.deb
2f740f02097d50182c5c7e6582bfe4667d082d38dd10110935791304e6e06a98 83520 python3-z3_4.13.3-1_loong64.deb
beb55fb924fa3220e3051ca753170deddd312b074f8cb26d2a0fce5a2fc64121 175163732 z3-dbgsym_4.13.3-1_loong64.deb
69b926fc809e42c148b72406b595a863398efc4ab70d34714348e68e3bee1522 14185 z3_4.13.3-1_loong64.buildinfo
40553c73beaabb5ff1ffcec96971b8a3c4f6415375b67298ad4a83b4cdec1fe6 8107088 z3_4.13.3-1_loong64.deb
Files:
2875b750eb38c57d8a8be84e05a34f81 173380944 debug optional libz3-4-dbgsym_4.13.3-1_loong64.deb
24eb517779fe42bdb2552f41de87e5c6 8110400 libs optional libz3-4_4.13.3-1_loong64.deb
93c961e34fb405e10978cd443e0a40b1 106540 libdevel optional libz3-dev_4.13.3-1_loong64.deb
f4979025fdf1eddf8e52a8b5c52a8426 83520 python optional python3-z3_4.13.3-1_loong64.deb
1d5612355ac489512865c0913281da12 175163732 debug optional z3-dbgsym_4.13.3-1_loong64.deb
7b7a6df0ee72e75ae953ff65b7465854 14185 science optional z3_4.13.3-1_loong64.buildinfo
2a4c6b4273c730da8c815ce869064d71 8107088 science optional z3_4.13.3-1_loong64.deb
-----BEGIN PGP SIGNATURE-----
iQJPBAEBCAA5FiEESo6Sp1ScbLflCes0cWwWftNRQXIFAmlJzLYbFIAAAAAABAAO
bWFudTIsMi41KzEuMTEsMiwyAAoJEHFsFn7TUUFyDjgQAI5Kdwf24Tz224wqzOIp
EM1jNTZY4o2Mymgtf+9buuYIR64PAM6gn8uVbMPCK9MVVsxgaWId2B3Ej+uRHRQg
qu0svmbOq90ithMQ0W2wkmPucOAL3Zcgn0YqCea3zA0DQwCjOpTQ7f/gNGiG+wS1
/r3D35tD8u525dEfo7kdmhR47IljXurdw/7Yjch6kgjx3MJDbMxv1ue7Ey8Y1fR/
OtG03et+RfPM8Fb1ZIGwcPBOeUa+3AOqrV7H5w48c1nUt3LtiBPGS0VuTH6gSw62
sh0eFCxEDP55PL+zn1Wkd82HNAsI1Ydh3tx1czYE7RvhYF7LjWB2ZxwOxKdv0Tq/
F2y6TF23bX5+yKKVYke9pwpoY3Zj0Vq3ebgGfw2VhTF9mkwXaeiFWPYXaaNgiNtR
szcKS3rCcnWgEZFx3g49/koNq0eTPqnI/bAMDFjdwkG3LRcirkdzIrZ90gbwSFdK
6aHXNUlKzK49PoY8Mu7yZWVOxVS4CkdZqDGo6r11dtycSwcVUKJGWeI1bvci43VS
zxfz6Dn3dVDK5fCf6SOq3chQ2d+/BKGPGXBEWTQc4rp+/byEeY44Eg3WNrSUzOqU
8bjSCnx82XkZW/xpeEYfEQKvuyinfbbfl4nJUeaE0+obNSYGI5rv4lGWoraGJ5AC
oj6imNXvXvWFR5t9DVLMG0ES
=gaUh
-----END PGP SIGNATURE-----
Attachment:
pgpayMVWuBTc0.pgp
Description: PGP signature