[ubuntu/resolute-proposed] minisat2 1:2.2.1-8build2 (Accepted)

[Graham Inggs]

minisat2 (1:2.2.1-8build2) resolute; urgency=medium

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

Date: Tue, 16 Dec 2025 20:40:46 +0000
Changed-By: Graham Inggs <ginggs at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/minisat2/1:2.2.1-8build2
-------------- next part --------------
Format: 1.8
Date: Tue, 16 Dec 2025 20:40:46 +0000
Source: minisat2
Built-For-Profiles: noudeb
Architecture: source
Version: 1:2.2.1-8build2
Distribution: resolute
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Graham Inggs <ginggs at ubuntu.com>
Launchpad-Bugs-Fixed: 2132257
Changes:
 minisat2 (1:2.2.1-8build2) resolute; urgency=medium
 .
   * No-change mass rebuild for Ubuntu 26.04 (LP: #2132257)
Checksums-Sha1:
 95e408bb26a032e409ad0a7967079f771cf88cc3 1814 minisat2_2.2.1-8build2.dsc
 74cf9b311b9e25be69e83f0e307fe3f336d3d1b9 10028 minisat2_2.2.1-8build2.debian.tar.xz
 dd44240bbf478139c15657b46707d3f168741c4c 7291 minisat2_2.2.1-8build2_source.buildinfo
Checksums-Sha256:
 6a4a40bea02c45ca660f8035b495280af95622ff5736271d6eb64cda93fa6175 1814 minisat2_2.2.1-8build2.dsc
 1b123503e361356c77bd5272d333fd174b7ca69ea2d0542c7fd1056853c0cce0 10028 minisat2_2.2.1-8build2.debian.tar.xz
 50b89c12b4a2e9f4835f4a512a7143ceed488445a70231ce0b74e17adb5f30c0 7291 minisat2_2.2.1-8build2_source.buildinfo
Files:
 4d070b8d68c83d63e1e87fe97909d628 1814 science optional minisat2_2.2.1-8build2.dsc
 03a62df0e7693014f52f119bb099fc50 10028 science optional minisat2_2.2.1-8build2.debian.tar.xz
 72aac20064c515d76761145e174c5d36 7291 science optional minisat2_2.2.1-8build2_source.buildinfo
Original-Maintainer: Michael Tautschnig <mt at debian.org>