bitwuzla_0.8.2-2_source.changes ACCEPTED into unstable

[Debian FTP Masters]

Thank you for your contribution to Debian.



Accepted:

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Mon, 02 Mar 2026 15:27:15 +0100
Source: bitwuzla
Architecture: source
Version: 0.8.2-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers at lists.alioth.debian.org>
Changed-By: Gábor Németh <homar at riseup.net>
Closes: 1129345
Changes:
 bitwuzla (0.8.2-2) unstable; urgency=medium
 .
   * Fix d/watch
   * Update Standards-Version to 4.7.3: drop default Priority in d/ctrl
   * Drop B-D on quilt (Closes: #1129345)
   * Implement multiarch hints
Checksums-Sha1:
 6c92aa91a39d57d3aff014bf21a8539dfd75f753 2518 bitwuzla_0.8.2-2.dsc
 39f2534c773206cf1cc3211f048d3239b2d88af0 4364 bitwuzla_0.8.2-2.debian.tar.xz
 5fb6d44be06a0f20c43413f38ec2c2878cab2e1f 12686 bitwuzla_0.8.2-2_amd64.buildinfo
Checksums-Sha256:
 1d6764680c33bdbbb29d7500a9d35ff5558d73de1f10cde3bd8108079766fbc4 2518 bitwuzla_0.8.2-2.dsc
 e1e30ff2c99b0297554e8db33835bc733d4ab416bd5f5ba21f85ecfaef574774 4364 bitwuzla_0.8.2-2.debian.tar.xz
 00627fe188ccce0757c25e08df43d63f02e6809036cccdc621ef4654b2a26efd 12686 bitwuzla_0.8.2-2_amd64.buildinfo
Files:
 c41b80a2193e1560b3f5f8810761bc3f 2518 science optional bitwuzla_0.8.2-2.dsc
 ea0a95b19a621622987070a4d85862f7 4364 science optional bitwuzla_0.8.2-2.debian.tar.xz
 c7d400ab0685ec6fae5fc737376ab8d3 12686 science optional bitwuzla_0.8.2-2_amd64.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJFBAEBCgAvFiEE8fAHMgoDVUHwpmPKV4oElNHGRtEFAmmltLoRHHRpbGxlQGRl
Ymlhbi5vcmcACgkQV4oElNHGRtEEsA/+PYY3y+U2PePVDrK1JnZzP7VvqrGgna/9
WrDpgWmL5vEC1Iu7obMuWW5lqu/pgCXbE84gimv10RQP5fXjwKX9BcDk8tz+dUEm
hETYCPjInWKH7Mki79nfKcg11ec3smcZIugMiiVckR7WPRqv8OAe/4exzBOUw8lL
a0o8q4yw6J452MVIbDLB1AY8f3l9JdKnRi+vvC81ebf1+C1XQXo1pf9DW9ZFDEkQ
L4fl8DQBN5Pg9kh0twu2n7ZFkd9tUVvPZY9eVRVwzkjZ0fI9f8EmmQdcHre+w4OS
utbej2BQ0PlO+3t4LX73jcVhTbqAw0BgBN03ThjGCjSNJFey2Da6QmiM7mfreXvJ
+wwrCunjYU4gVrIMxKiXbI+6NJiisviFE4ZtOHFpq3ztWJg4VF181ws+pn9+3ccP
AjY92QtNysCabO3yCNeauE2+f2dpR6MtmHPYbzbNQiffEAJA0Y3CdI9/Zm7kMB/3
D7C33Ug2syNUOCBC2RbZpaRlKw6bsARHs1KGGy+pR//R+4KNZHXlYpydWr9v8ITd
faaPBHqwlJgG7fPGPbsG30AyFhjztagX8jQpJ9x/BJ7KL1JbRVnVE3wYQZdcVUDi
QTYPzSTSXdnPhLfrCJkYlMnUyMkO9hRfW5oPE8rQmV5krPyQKQ8PzqFyIXaA+ofw
ug8GGwJIfEY=
=Oyvi
-----END PGP SIGNATURE-----

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 228 bytes
Desc: not available
URL: <http://alioth-lists.debian.net/pipermail/debian-science-maintainers/attachments/20260302/13ae6409/attachment-0001.sig>