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

[Vladimir Petko]

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

  * d/{control, rules}: Use openjdk-8-jdk-headless to build the
    package. It does not support Java 9+. (LP: #2142628).

Date: Wed, 25 Feb 2026 10:08:40 +1300
Changed-By: Vladimir Petko <vladimir.petko at canonical.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/cbmc/6.6.0-4ubuntu1
-------------- next part --------------
Format: 1.8
Date: Wed, 25 Feb 2026 10:08:40 +1300
Source: cbmc
Built-For-Profiles: noudeb
Architecture: source
Version: 6.6.0-4ubuntu1
Distribution: resolute
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Vladimir Petko <vladimir.petko at canonical.com>
Launchpad-Bugs-Fixed: 2142628
Changes:
 cbmc (6.6.0-4ubuntu1) resolute; urgency=medium
 .
   * d/{control, rules}: Use openjdk-8-jdk-headless to build the
     package. It does not support Java 9+. (LP: #2142628).
Checksums-Sha1:
 07fc963b55425dcbf33f433bfb91bdaedf7335be 3232 cbmc_6.6.0-4ubuntu1.dsc
 ef9287d5a9b08120fed2f257d393fa44c4a1ecbe 16548 cbmc_6.6.0-4ubuntu1.debian.tar.xz
 96bae8e8ed1dfd53ae545d2ba44e92d0b7f4284c 8364 cbmc_6.6.0-4ubuntu1_source.buildinfo
Checksums-Sha256:
 7172c28d6ac47253efddcae87e970680e551b2d8667d128e9fa3f48b69c3bdfc 3232 cbmc_6.6.0-4ubuntu1.dsc
 aebd13bff850a71c7e651724740546856ee824db43e1d84ee6bfaa2affdd21ff 16548 cbmc_6.6.0-4ubuntu1.debian.tar.xz
 fc46438de24f619e0caaa6d2db5176bd21ccf5439dd4fe09bd5db5f5f57e35de 8364 cbmc_6.6.0-4ubuntu1_source.buildinfo
Files:
 08f5e395e32eeb51a3b283c8c9651533 3232 science optional cbmc_6.6.0-4ubuntu1.dsc
 88846e5b2b16769240d0a05174c89cc0 16548 science optional cbmc_6.6.0-4ubuntu1.debian.tar.xz
 57d74a6453cde1b009b60cb019576814 8364 science optional cbmc_6.6.0-4ubuntu1_source.buildinfo
Original-Maintainer: Michael Tautschnig <mt at debian.org>
Vcs-Git: https://git.launchpad.net/~vpa1977/ubuntu/+source/cbmc
Vcs-Git-Commit: 5da584ba7205a9711a62c2571882d1652fcf95d4
Vcs-Git-Ref: refs/heads/java25