[ubuntu/resolute-proposed] cbmc 6.6.0-4build1 (Accepted)

[Sebastien Bacher]

cbmc (6.6.0-4build1) resolute; urgency=medium

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

Date: Fri, 06 Feb 2026 21:10:38 +0100
Changed-By: Sebastien Bacher <seb128 at debian.org>
Maintainer: Michael Tautschnig <mt at debian.org>
Signed-By: Sebastien Bacher <sebastien.bacher at canonical.com>
https://launchpad.net/ubuntu/+source/cbmc/6.6.0-4build1
-------------- next part --------------
Format: 1.8
Date: Fri, 06 Feb 2026 21:10:38 +0100
Source: cbmc
Built-For-Profiles: noudeb
Architecture: source
Version: 6.6.0-4build1
Distribution: resolute
Urgency: medium
Maintainer: Michael Tautschnig <mt at debian.org>
Changed-By: Sebastien Bacher <seb128 at debian.org>
Launchpad-Bugs-Fixed: 2132257
Changes:
 cbmc (6.6.0-4build1) resolute; urgency=medium
 .
   * No-change mass rebuild for Ubuntu 26.04 (LP: #2132257)
Checksums-Sha1:
 623f586e88962f68fd4a1af1e21edb7d4ae9840a 3147 cbmc_6.6.0-4build1.dsc
 394c5e86f7917c4912f9f43d16b71753a889b992 16564 cbmc_6.6.0-4build1.debian.tar.xz
 fa40f93f5e11350ec4bacaf8a21bf137469fef5a 10371 cbmc_6.6.0-4build1_source.buildinfo
Checksums-Sha256:
 8e36afc9966c054ab309fc3b9098d85d71f63157ac7445968aacf5cab057c090 3147 cbmc_6.6.0-4build1.dsc
 c6a145b62bca6d293705b06a4978700e61327141175451e6caf5aabde729e4e2 16564 cbmc_6.6.0-4build1.debian.tar.xz
 70d6f5ddcf5890eabd8aa91f955319c1a74d11fc7bc9ac2d4047df68c36b30a1 10371 cbmc_6.6.0-4build1_source.buildinfo
Files:
 b240cd7d2631de21ae8585cf155198a0 3147 science optional cbmc_6.6.0-4build1.dsc
 41e0c4cdd1626f9ae7e35d7bf08b4f57 16564 science optional cbmc_6.6.0-4build1.debian.tar.xz
 231d5175585913f5d6ea41630024fff8 10371 science optional cbmc_6.6.0-4build1_source.buildinfo