[ubuntu/resolute-proposed] boolector 1.5.118.6b56be4.121013-1.3build1 (Accepted)

[Graham Inggs]

boolector (1.5.118.6b56be4.121013-1.3build1) resolute; urgency=medium

  * No-change mass rebuild for Ubuntu 26.04 (LP: #2132257)

Date: Tue, 09 Dec 2025 23:18:01 +0000
Changed-By: Graham Inggs <ginggs at ubuntu.com>
Maintainer: Michael Tautschnig <mt at debian.org>
https://launchpad.net/ubuntu/+source/boolector/1.5.118.6b56be4.121013-1.3build1
-------------- next part --------------
Format: 1.8
Date: Tue, 09 Dec 2025 23:18:01 +0000
Source: boolector
Built-For-Profiles: noudeb
Architecture: source
Version: 1.5.118.6b56be4.121013-1.3build1
Distribution: resolute
Urgency: medium
Maintainer: Michael Tautschnig <mt at debian.org>
Changed-By: Graham Inggs <ginggs at ubuntu.com>
Launchpad-Bugs-Fixed: 2132257
Changes:
 boolector (1.5.118.6b56be4.121013-1.3build1) resolute; urgency=medium
 .
   * No-change mass rebuild for Ubuntu 26.04 (LP: #2132257)
Checksums-Sha1:
 6e04384fe1ddc104f61fc7c1b2d0e1499536951c 2189 boolector_1.5.118.6b56be4.121013-1.3build1.dsc
 f6c14d8ff5b39a390774978140312910186b1136 5584 boolector_1.5.118.6b56be4.121013-1.3build1.debian.tar.xz
 dc7b4f3d4c1e2a8d180e811bbb17a34171aae26e 7327 boolector_1.5.118.6b56be4.121013-1.3build1_source.buildinfo
Checksums-Sha256:
 1e6474ec41e834faa7f16d53bd89509709890306624258561757a8064fd3b299 2189 boolector_1.5.118.6b56be4.121013-1.3build1.dsc
 f35e7063c87902346dd0c3c77573bf83ee7bfd1a7d40070e5f98ae2e17e0eea1 5584 boolector_1.5.118.6b56be4.121013-1.3build1.debian.tar.xz
 c9feb7a18eb72abb5834377014ed1c957146d99de53a066b112e3d9c307ad2aa 7327 boolector_1.5.118.6b56be4.121013-1.3build1_source.buildinfo
Files:
 d52aaf38f16a5969abb4e9731e64ffed 2189 science extra boolector_1.5.118.6b56be4.121013-1.3build1.dsc
 b65389be5a5d983b6f7bb0411733bf4b 5584 science extra boolector_1.5.118.6b56be4.121013-1.3build1.debian.tar.xz
 cdf4cb87bb88dbfb1fe1eefea2757421 7327 science extra boolector_1.5.118.6b56be4.121013-1.3build1_source.buildinfo