boolector_3.2.4-1_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: 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 <debian-science-maintainers at lists.alioth.debian.org>
Changed-By: Andreas Tille <tille at debian.org>
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-----

-------------- 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/20260130/4d4dd32c/attachment-0001.sig>