[ubuntu/resolute-proposed] minisat+ 1.0-5build1 (Accepted)

[Graham Inggs]

minisat+ (1.0-5build1) resolute; urgency=medium

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

Date: Mon, 26 Jan 2026 19:16:40 +0000
Changed-By: Graham Inggs <ginggs at ubuntu.com>
Maintainer: Debian Science Maintainers <debian-science-maintainers at lists.alioth.debian.org>
https://launchpad.net/ubuntu/+source/minisat+/1.0-5build1
-------------- next part --------------
Format: 1.8
Date: Mon, 26 Jan 2026 19:16:40 +0000
Source: minisat+
Built-For-Profiles: noudeb
Architecture: source
Version: 1.0-5build1
Distribution: resolute
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers at lists.alioth.debian.org>
Changed-By: Graham Inggs <ginggs at ubuntu.com>
Launchpad-Bugs-Fixed: 2132257
Changes:
 minisat+ (1.0-5build1) resolute; urgency=medium
 .
   * No-change mass rebuild for Ubuntu 26.04 (LP: #2132257)
Checksums-Sha1:
 034bae57e602dc07b66b80a673c6b37856ee7f18 1978 minisat+_1.0-5build1.dsc
 3a1913e47c007636664d741b4babfa09d75d0926 4532 minisat+_1.0-5build1.debian.tar.xz
 94ab7d6488dbf96cbfae221bb1837e05a7453a2d 7362 minisat+_1.0-5build1_source.buildinfo
Checksums-Sha256:
 d2401c401bfc60e859ce8f6d563bd4540bccbf30e1c7df9a42515ffc7045e5e9 1978 minisat+_1.0-5build1.dsc
 e5f3474855b7fcac1bfb23fae4ffbd829e32281fa85d5678bc90cd1133b1b908 4532 minisat+_1.0-5build1.debian.tar.xz
 6e30e1a63783e4612687374f13fbc178f561456efdf02d0446863748a2431297 7362 minisat+_1.0-5build1_source.buildinfo
Files:
 26804afad020a0d7851c3c3308000210 1978 science optional minisat+_1.0-5build1.dsc
 96b659c41baba3c7286e4ad6765c086e 4532 science optional minisat+_1.0-5build1.debian.tar.xz
 5a8d16a56dc9741eb669f69efb48ae8e 7362 science optional minisat+_1.0-5build1_source.buildinfo