-----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@lists.alioth.debian.org> Changed-By: Gábor Németh <homar@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-----
