-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 30 Jan 2026 15:17:25 +0100 Source: boolector Architecture: source Version: 3.2.4-1 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers <[email protected]> Changed-By: Andreas Tille <[email protected]> Closes: 922877 1043884 1111926 1119363 Changes: boolector (3.2.4-1) unstable; urgency=medium . * New upstream version Closes: #922877, #1043884 * Maintain package in Debian Science team Closes: #1111926 * Update Homepage * Fix watch file, version=5 * debhelper-compat 13 (routine-update) * Remove old boilerplate from debian/rules (routine-update) * Remove trailing whitespace in debian/copyright (routine-update) * Remove trailing whitespace in debian/rules (routine-update) * Trim trailing whitespace. * d/rules: Switch to short dh Closes: #1119363 * d/copyright: DEP5 * Make sure package builds with CMake 4 * Standards-Version: 4.7.3 (routine-update) * Remove Priority field to comply with Debian Policy 4.7.3 (routine- update) * Prevent static linking Checksums-Sha1: 8a607c4af9f418042072e6b8b5ff33a345d884d0 2043 boolector_3.2.4-1.dsc eece967e0c7cdb770178d736214bca5c3abd7911 1567983 boolector_3.2.4.orig.tar.gz e0fe63d370f5d72c780147bd3e637f9d4f65f219 3276 boolector_3.2.4-1.debian.tar.xz ca51379743c84eae6efd9163633d5f05e7cb8bb2 7230 boolector_3.2.4-1_amd64.buildinfo Checksums-Sha256: 2b9a505e9a392218320d458c9293ed6395e9fe3efafaf4fd5f49c53507458f58 2043 boolector_3.2.4-1.dsc 249c6dbf4e52ea6e8df1ddf7965d47f5c30f2c14905dce9b8f411756b05878bf 1567983 boolector_3.2.4.orig.tar.gz a16d5c2b0eb83470cf24f744db3e038ad7b738652ba976c48db7702aa5864cb9 3276 boolector_3.2.4-1.debian.tar.xz bf68f9868dd9303a28f5d1f86684dc9428b0ab5e7a9b6f90ca844f075aeb8521 7230 boolector_3.2.4-1_amd64.buildinfo Files: 26de97c2b2e401c62a9449f862d71767 2043 science optional boolector_3.2.4-1.dsc 8dc8026d5d3801bffecc262c6b878abf 1567983 science optional boolector_3.2.4.orig.tar.gz b913d8cc4897284fadf79ad5786a9817 3276 science optional boolector_3.2.4-1.debian.tar.xz da43d2bc7312757fcdf46392113aca17 7230 science optional boolector_3.2.4-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE----- iQJFBAEBCgAvFiEE8fAHMgoDVUHwpmPKV4oElNHGRtEFAml8vfERHHRpbGxlQGRl Ymlhbi5vcmcACgkQV4oElNHGRtEMzg/+OucuHBX6Y92i5iBjzSktNSfhTXZtXqZt JX9Imc73t/pS41/jfOuU7aa+qjvAsOM/9fxy4vvggWqsWbDsDtRpqnxYu9G/2umA 3awcyC/NqMlUcx7QxPJSA8dDcz2GR6ofCPjZRLs1FHnXH4GE7kEXtNJsyRNUvp7r a8thWCWzKr5YZ1zs5dB7s5DR+/OM0YRDSn0kgBlEjBkkizB77Jne0hLt53/b8G2q Hkw2ozS2aICvTVcB3RegqUUF9ZDDuoI3mohKtqtUTmTsEv9xiZNZxs4W65PSEiyj 7oyHxbWOFuVxcTSFchXHnEIF0wi4SIT8NMM3GwrbGr8zq1UdInXSv9rWhyKtNL0v JvsMqHZd/GQOlpGOBWyr8dSMO7b1FHKCQbuk91ECRtc0zvjB6EYGq+ChG3pNkXn7 509fyrFwHkIyjQWjfYAD6Sh3VrzuGudbQzjVsN0r8HlYRGmv3QVGo4klGOMy4U41 ruFS76edLISUkv1FB9CmAluExTj6h17Q1d41ncuXUa6jYq+vsNga/s1B/L8cVoQu JoD7LxOzoG0oDpPl5Ce4LgyYX47ppYMAeehel4AStNg1he32zmCFvNQ4IeNo+0AE kn4ZT050zNyIhtos3MXab0+QaGUY7z3GHemLzF9IopZfijPoLddxnau/ixi+XN7H jpbhzBOYyc4= =hIKf -----END PGP SIGNATURE-----
pgpgy1PDwEoPP.pgp
Description: PGP signature
