z3_4.8.12-3.1_riscv64.changes ACCEPTED into unstable
Thank you for your contribution to Debian.
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 01 Feb 2023 13:06:03 +0100
Source: z3
Binary: libz3-4 libz3-4-dbgsym libz3-dev libz3-java libz3-jni libz3-jni-dbgsym python3-z3 z3 z3-dbgsym
Architecture: riscv64
Version: 4.8.12-3.1
Distribution: unstable
Urgency: medium
Maintainer: Aurelien Jarno <aurel32@debian.org>
Changed-By: Manuel A. Fernandez Montecelo <mafm@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: 1025343
Changes:
z3 (4.8.12-3.1) unstable; urgency=medium
.
* Non-maintainer upload.
* riscv64: link against -latomic (Closes: #1025343)
Checksums-Sha1:
1cb1ad6ec3b6b1185723796f0ce125426b9d41af 119238248 libz3-4-dbgsym_4.8.12-3.1_riscv64.deb
580d4e1a4adaa0ac2483052af469f9d0f4e0c1b5 7397780 libz3-4_4.8.12-3.1_riscv64.deb
ed151feeb861190fc9fe71f25129b36642814a73 90556 libz3-dev_4.8.12-3.1_riscv64.deb
c38fb6a3387fc8d6dfddeea7866317160c6dacda 163140 libz3-java_4.8.12-3.1_riscv64.deb
67b60e5b5a5804a6a95c6eaaf602e5f9a625a091 165312 libz3-jni-dbgsym_4.8.12-3.1_riscv64.deb
76bce5afcc186fbfada3baa70de51c4227c15ad2 31668 libz3-jni_4.8.12-3.1_riscv64.deb
c1cd582a52a44e4c3e7a9ea01d5860da5a0a01bb 78308 python3-z3_4.8.12-3.1_riscv64.deb
82cedc98af37cab4dec4b0eed2990c951a2c4de0 120991280 z3-dbgsym_4.8.12-3.1_riscv64.deb
1d9d238422b75f6006a60bd5b8a47b27f47da51b 14001 z3_4.8.12-3.1_riscv64.buildinfo
e77b96d4d392685b17e0e097ae35459a84a49f5b 7419824 z3_4.8.12-3.1_riscv64.deb
Checksums-Sha256:
433ae76844291bd3270e6e6fd9348ac2dbd4884924359de0516c30c7a3928eeb 119238248 libz3-4-dbgsym_4.8.12-3.1_riscv64.deb
573f4b96a7ed38cbec788a7221fd94a04150e583e5352dd684efbe65d30e69e8 7397780 libz3-4_4.8.12-3.1_riscv64.deb
d1d6c1fdb182597fc6d9889f7ca7579a44a3ea4859a581df13fc4335ecf170cf 90556 libz3-dev_4.8.12-3.1_riscv64.deb
fd4eac6a574d313b243246ef7235a0ca6229260d8335a2b658c99bc2e9cd2904 163140 libz3-java_4.8.12-3.1_riscv64.deb
6b213801f1d058032268e20415e484c23af95b1da8df45fe8bdaeece5d5cee1d 165312 libz3-jni-dbgsym_4.8.12-3.1_riscv64.deb
81bb66ec5622a8e3bed74cca505c601b9c9d3aa53007f67bcace02b08f9309e3 31668 libz3-jni_4.8.12-3.1_riscv64.deb
286b4b08bc2a9336eca4832990c0df837fe451abcd53a2a8f3f762af96c0b712 78308 python3-z3_4.8.12-3.1_riscv64.deb
8e147c1c3660b3822aac14158d0216dd50a9a8b88505d54bb1486abfa743293f 120991280 z3-dbgsym_4.8.12-3.1_riscv64.deb
6872c89836c766cfa28b89cb8835c1bf4f46a88deb83ccf763135cd04f1a26c4 14001 z3_4.8.12-3.1_riscv64.buildinfo
ca4d2202d77950da75e9b55a91fdf131c6e6804ff8baefd55d9e344a01fbe2e6 7419824 z3_4.8.12-3.1_riscv64.deb
Files:
e08157aafe9c0d27059e35bd9ad1995b 119238248 debug optional libz3-4-dbgsym_4.8.12-3.1_riscv64.deb
02c121784334318b19ce31276c85ab58 7397780 libs optional libz3-4_4.8.12-3.1_riscv64.deb
5607f23afc6cc8fc50cdae531a64452e 90556 libdevel optional libz3-dev_4.8.12-3.1_riscv64.deb
4913257c3655793eecb15be9942cc506 163140 java optional libz3-java_4.8.12-3.1_riscv64.deb
024f8a0dcfb42251fd4f75d98b3138c0 165312 debug optional libz3-jni-dbgsym_4.8.12-3.1_riscv64.deb
1c00d2a05a3db23900961b5c19360578 31668 java optional libz3-jni_4.8.12-3.1_riscv64.deb
fa506bf304fec14a004dac56e3be4d89 78308 python optional python3-z3_4.8.12-3.1_riscv64.deb
eea6ac0c4a2585fd6715ade979ed460d 120991280 debug optional z3-dbgsym_4.8.12-3.1_riscv64.deb
56160e34d26f0572630df5f308fe63db 14001 science optional z3_4.8.12-3.1_riscv64.buildinfo
8946c7b5c7f1ea5500d191a4be4fd59f 7419824 science optional z3_4.8.12-3.1_riscv64.deb
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEE5Ew3vJhTqgZXKPOrFdkYWoTz+bwFAmTMKboACgkQFdkYWoTz
+by1lQ/8DxdLv8nlBJZ0pR1M71Ms8KsRSjYknN3CeqKijhhcTJDSztapInUo7c6c
FWuE5hJVc497UxYboOdAvQCAxPkLsx8m436Sxitbs/9f6qiCWiPoEoBygmRY68qA
dGo8jfB6b+WbLc+4QlGRQX0CuyOl5Eg54ta9BMgttX229zeKPCe4bxMgaaYjFY6a
dfa+iq8wDcF3A4viM4eOwyN9Sf2rKWcvmLpsDtoLJoiU2XF4erOhUx3b4xCHnUfD
a8q37C/jcjYo95pAV6yr10S4HAkxWDZpphi+pHpYolydAUidC4cYJo1XsiyGPnFH
ZDcPlflItf6u3e0sxUYUGq7cD6xtD/tmhT1i/JSuHGM6mCyFnltAQUi/uT0M/TVk
SZRoi0tldoukM2OgYihKcve64StJBu1mdDsYxlmSWUIFtz+ZOuvSpUp/mA/Igzc1
1iedwXwB2fmK7ALNVafMfPcj8JETpvK1IPeqDLz2j1TU/PWhXGLk565kqYUIqWxl
YZ/6gTM8oe+DOZvLbNsiucUQLS9TmZJE6P37fc5pNQzIVI6Mibr52BuyLEfcrT7v
jkjl+dnAWGqYWqnmbMuGQdpBLdzFmLoDjJNVpSAHtCa+UBRn2BDgdKV1Opm6+yqo
CO88T3LB/DRoxDicZT7WoQeByRjCEXi1lLebmub2QmasYWoQZQk=
=vjOR
-----END PGP SIGNATURE-----
Reply to: