-----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-----
