Accepted z3 4.4.1-1~deb10u1 (source) into proposed-updates->stable-new, proposed-updates
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sat, 24 Aug 2019 12:18:35 +0200
Source: z3
Architecture: source
Version: 4.4.1-1~deb10u1
Distribution: buster
Urgency: medium
Maintainer: LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
Changed-By: Andreas Beckmann <anbe@debian.org>
Closes: 842892 926939
Changes:
z3 (4.4.1-1~deb10u1) buster; urgency=medium
.
* Non-maintainer upload.
* Rebuild for buster.
.
z3 (4.4.1-1) unstable; urgency=medium
.
[ Gianfranco Costamagna ]
* Team Upload
* Upload to unstable
.
[ Andreas Beckmann ]
* Do not set the SONAME of libz3java.so to libz3.so.4. (Closes: #842892)
.
z3 (4.4.1-0.5~exp1) experimental; urgency=medium
.
* Package moved to salsa (Closes: #926939)
* Standards-Version updated to 4.2.1
* Fix priority-extra-is-replaced-by-priority-optional warning
* Moved under the llvm umbrella
Checksums-Sha1:
688787d5afaccd7c30b9a63012a50416c6c114aa 3055 z3_4.4.1-1~deb10u1.dsc
ab83a33d32ef56c3907bf3571e53a5817d717b66 14716 z3_4.4.1-1~deb10u1.debian.tar.xz
e68afa1a134d925431437782818c0857b978773d 19930 z3_4.4.1-1~deb10u1_source.buildinfo
Checksums-Sha256:
f9255527c446de49228c37ad209bdf622e3f08cc25b1da25ff65d6c17e672d52 3055 z3_4.4.1-1~deb10u1.dsc
970648b0924b4fea16dce08d3f2f95048c8ef5175bfefd27c4101386898cb218 14716 z3_4.4.1-1~deb10u1.debian.tar.xz
32ea1e6254ed6f6cdc61e69b867d103e9e2ab36fd24ac5c6176200383b79af10 19930 z3_4.4.1-1~deb10u1_source.buildinfo
Files:
bc0e5c4032a44e440193dea14f857aac 3055 science optional z3_4.4.1-1~deb10u1.dsc
ba2cf970d031bd52cf4b759d66363263 14716 science optional z3_4.4.1-1~deb10u1.debian.tar.xz
70e83641cf047fe36c9d70376f77f298 19930 science optional z3_4.4.1-1~deb10u1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJEBAEBCAAuFiEE6/MKMKjZxjvaRMaUX7M/k1np7QgFAl1hFEsQHGFuYmVAZGVi
aWFuLm9yZwAKCRBfsz+TWentCDXwEACmno+i53f+GjmaTOTV5VTagEGfv6Gzkbu2
IfkKD1LJQPMX5IRx9DfE1VG5l8q1qEtXlVljkYinxh7RzEfx9zxFz18RSleeyRZ4
zqNEPaoxS2G/Bnfql6R4LsABoDtJqFj13u9xKerAnAS+pIk3EBrJPHplpCGOYsFO
xW8ytfeOVgcvMA5jTpvs8CHI5aOw3ZhgAe+gaEQOKyKqOT78XfWni2gDeyExVuFk
GhJ5I6x9XanqDQ7kxOgdReMgJhJ3CzMP7GcoUpt8m18z/jBwcXOXiVCZpBViHCdN
CX+yyb8TCyK1C8zYtbbaAV4bQ9ABaqaay2Zx7rRkGAuNR9QN9os0fwAsQTHiCA0/
r8QMJ2Aw186umK3E2QFLn5lyzoHERcm41ZqOIjjB5V+BnmDuUNgDc5SzlUUkAglb
i4cqErhhMK0smusb7qIDb/xzzMp3NLf4kMnJFtGuzeonwWvlHPkgRRfY9aJHrgaQ
4rzxGKr6ZR+xDXU+7qOwDrBCSxA/XTCUlzWdNFwTyFLTLL3uJ+59WxrLy0tTwK2e
SUkn/Rqc0FvAiBHSKOzjI1JIe6/YicyATIoIWRhWWijMFwFdlyVvHrsYYDhWIsXY
s/6JUMvH2i6/41z+02jH8/LBgDk45Mmew9w00novPjuANZEzewElaFrspPcf1Qvv
MKf0a6v7SA==
=8IKE
-----END PGP SIGNATURE-----