-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 15 Dec 2025 10:53:05 +0100 Source: bitwuzla Binary: bitwuzla bitwuzla-dev bitwuzla-doc libbitwuzla0 python3-bitwuzla Architecture: source amd64 all Version: 0.8.2-1 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> Changed-By: Gábor Németh <homar@riseup.net> Description: bitwuzla - SMT solver for bit vectors and arrays bitwuzla-dev - SMT solver for bit vectors and arrays (development files) bitwuzla-doc - Documentation for Bitwuzla libbitwuzla0 - SMT solver for bit vectors and arrays (runtime libraries) python3-bitwuzla - SMT solver for bit vectors and arrays (Python bindings) Closes: 1121763 Changes: bitwuzla (0.8.2-1) unstable; urgency=medium . * Initial release. (Closes: #1121763) Checksums-Sha1: 54f4b0d59b6309396e74f58276bc7265d1741701 2525 bitwuzla_0.8.2-1.dsc c61eaaf71c42f2b9d5319e4e95e6156417483b1d 2080406 bitwuzla_0.8.2.orig.tar.gz 0aa6c6b0042b791daa2d9865242d3f6d3e5a79b1 4244 bitwuzla_0.8.2-1.debian.tar.xz 12ed61bb1fa8141005e5cf5765e25a42f6aad620 25160 bitwuzla-dev_0.8.2-1_amd64.deb 80317196dcf5194060fbff7ea81b974d565b507b 204752 bitwuzla-doc_0.8.2-1_all.deb f7a77ade8a521323681e1e2bd2c294d765ad4222 12767 bitwuzla_0.8.2-1_amd64.buildinfo 09599112d5e5beb3ba579d5d29d491bac32fa079 37484 bitwuzla_0.8.2-1_amd64.deb 2b13c9e3079b5129a19737c3adb881fd0f4a7c7c 1507048 libbitwuzla0_0.8.2-1_amd64.deb 15e50c5b066dab08e92dd3baeaba4794f2eac174 141784 python3-bitwuzla_0.8.2-1_amd64.deb Checksums-Sha256: f916f284c3d0354221d5e1cce86c0a8c288f2a499f2ece26008679aa79b030fa 2525 bitwuzla_0.8.2-1.dsc 637ed0b8d43291004089543b8c7bb744d325231113cab9bfa07f7bb7a154eeb5 2080406 bitwuzla_0.8.2.orig.tar.gz 0896d638b21c0a77ade76af3e7e84002c880ede67b3e157326798dcace750fa4 4244 bitwuzla_0.8.2-1.debian.tar.xz 6fcf1ce8aafdbbcbcfbe452bb76dd6d9bfc4b80ae447e7da7bbef3f60b7a2d59 25160 bitwuzla-dev_0.8.2-1_amd64.deb 9076b6c9f9705592b0eef1113bbd958b81ac39d91525b773f4d7530d960d0d78 204752 bitwuzla-doc_0.8.2-1_all.deb d4bc717fad08ca651acb7796e980e1fd3321d3d8c69d435883112021aad980f5 12767 bitwuzla_0.8.2-1_amd64.buildinfo dbc2e9fc2acab057afc357416177d8aeb41cb5af2439543dda2322aa99e7855c 37484 bitwuzla_0.8.2-1_amd64.deb af252363d25f74be985e1048fcd604f1fc5087711936ca77e6f63c0a67839dc8 1507048 libbitwuzla0_0.8.2-1_amd64.deb 2abd087e8915ed92e9053fc13071729b6b0c7a31d01972b2e75bb4d11648a58f 141784 python3-bitwuzla_0.8.2-1_amd64.deb Files: 272e651f242a17d0ad3ad7c15ebed598 2525 science optional bitwuzla_0.8.2-1.dsc 71171801c3e31351367eddf6c1acf183 2080406 science optional bitwuzla_0.8.2.orig.tar.gz c0cf8aab39aceb39137e13289687259b 4244 science optional bitwuzla_0.8.2-1.debian.tar.xz 7306d7b1d434312e675894631e84710b 25160 science optional bitwuzla-dev_0.8.2-1_amd64.deb 0c27e24df4b99e50657ba57208d6843d 204752 doc optional bitwuzla-doc_0.8.2-1_all.deb a561a296b5fd597440acc2d67ce244da 12767 science optional bitwuzla_0.8.2-1_amd64.buildinfo 9298b84cc666a73b3f1a116c2b531deb 37484 science optional bitwuzla_0.8.2-1_amd64.deb a5848dae23c294fe936d9768b34f7fed 1507048 libs optional libbitwuzla0_0.8.2-1_amd64.deb 7dbb4cbae22da7528b04ba0ddb2dc4cb 141784 python optional python3-bitwuzla_0.8.2-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQJFBAEBCgAvFiEE8fAHMgoDVUHwpmPKV4oElNHGRtEFAmmccJMRHHRpbGxlQGRl Ymlhbi5vcmcACgkQV4oElNHGRtFT6A/+P3V6F2/mIKU2cES/+l6i8C+TNd03j+Wb v9tdpJQ9NSBQbT/jGdGzUtoN9WCRiCSI114EY9T5wYgJjkUKnfvvlNfw0lxfNOF6 97uqb+Z/1YbrZo76B4MQAw/65T09n8aBGcgxeja4D3rTK7QfNdPbAgHAhIaH3xVH 2Ou5sPNOZ9ENAjjyVIxShbmmTSHSE9AaYsTOSF05Pcm9YH6DAwCzxS71mmO0jK6C 1+GKXLoY6QtlNDK0oSOKP3Y8sDMWfYNyc+aQPl9aa1F6yKdhJF4aC3mZ31y1Ge9b QFOaThBreWcC6D1v4RPODSTDIVrAkMSH7yKKKnbxFVxl0DZiwWs1XBQUCUKfXzwT aWpHYP4GjoT/Pili5homnLk8Hkol8MFhwBChw4f+xu9aom7mtsPLD/avAa24BGDz QwYSEQkiBt1wkERBiQ2pRQEtd1SsDAi5OIgE4tzoqkxPta8u+rSwriVHYafNOQe+ kwY+e3ItUawgCjmvCXjr0V7DRePDpr4QQZKH9JOHMZqDTU9+HSOtH3lcUwglYK81 nFEkWiu+UsDjZXEvq+HLiEmaL/OCVZFyo3rachp5PNDdEFA2YMsXQ4L7zTziYa8n xUb0MRV8TQc/XtnREQl76/2OCqfaxXrHuioj6w0rteKnh0mcX0ZBZOGID7DHVFbR aZNZ4Qpo1Rc= =IP7e -----END PGP SIGNATURE-----
