Thank you for your contribution to Debian.
Accepted: -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 17 Aug 2026 14:45:22 +0200 Source: bitwuzla Architecture: source Version: 0.8.2-4 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers <[email protected]> Changed-By: Gábor Németh <[email protected]> Closes: 1143940 Changes: bitwuzla (0.8.2-4) unstable; urgency=medium . * Allow tests more time on some archs (Closes: #1143940) with thanks to Adrian Bunk for the patch Checksums-Sha1: b5d8a1605ca1dbf2fd3ba40478320d9b4617a909 2535 bitwuzla_0.8.2-4.dsc e5d4e76066292915540eee65dc0369ac6597c145 4724 bitwuzla_0.8.2-4.debian.tar.xz 9436c28e93455adfa891bcce1d684b630c1a284b 12837 bitwuzla_0.8.2-4_amd64.buildinfo Checksums-Sha256: 345da80c3bc6b2793cde878c3d1a3064fd0b38600bb738b39a5c46ca670bc056 2535 bitwuzla_0.8.2-4.dsc 7f15db2f6b1b0fab51104187f9c86c99ef34f9b8cbd02906183d7b5ed0ceb90b 4724 bitwuzla_0.8.2-4.debian.tar.xz c3355ae16dde6366f7e74188e478dc5f7184f403b7492173b41930279812ee35 12837 bitwuzla_0.8.2-4_amd64.buildinfo Files: 1bdf7c560da386f11e8b0727bab7f69f 2535 science optional bitwuzla_0.8.2-4.dsc 8b4b4c54a570411e01bfcfc06a83551f 4724 science optional bitwuzla_0.8.2-4.debian.tar.xz 831dfc560538d3e01dc176a7e3aaa89e 12837 science optional bitwuzla_0.8.2-4_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJFBAEBCgAvFiEE8fAHMgoDVUHwpmPKV4oElNHGRtEFAmqRWDYRHHRpbGxlQGRl Ymlhbi5vcmcACgkQV4oElNHGRtEmVA//S3XbxjK190ZUtlZV3jJeprHeE/nZAwec SG2LehbN8vxvXuwX5GTk7moEcPx95BNHmk9HnrbN4h2mJKdvC+u388AL4J670XaC jNdftUS63y+/jNRQtqmASMttzbxo47qg1E/7NGSxNcfZ/ewuHyXuwHolbKrSUzwH nSE1WbJX3laEZ9u7U7f23SImArk1ZQzdhBnJANe8QVwX/BI3qh16zFqoikWcR1Os imyvBzX5YgBF9SanLjETbUZ7QhjLoIDXdVnbE+LCm9wV9fthDgpMMEgaGa/arGNa XIzGwZ4Dn4Dw2kwLN/iH2Pap3XrPZ3+WqqepYn9qHeVnt/RUi6lB7OXmLYB/QxR7 MV/9PXMaQQFJ4vYHBNQhcRM4gMfcbvdkdN/jvRRQt09RwbJZmyYrH7xPv1oIKcPH LHaFu2gFFUoeNNBnLFwW1ugZjbN43u7kgRBwmUjLfAaP56W93rX/QcWwYMmkUlIs fvlaIXJ1unY6N7TSshK6wm4m2Nlq5L+sXFvu2GaPDC2lcbJ//aSvcjcarw6tPsNg ux8MMkQgVNFXI+HGepajb3BhPwQUBV4fZWSCDL4Ly1ip3Xv6fC2kSrRcO4rcbszq fkbLSNPzYJIw3iHgR4JRbIoHhA8Qnvassl7ZDetSwxpALDVBG+eiFuI1kFHCWASD NAQYRiB3hEU= =dEU2 -----END PGP SIGNATURE-----
pgplhYJMiXzNM.pgp
Description: PGP signature
-- debian-science-maintainers mailing list [email protected] https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers
