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

[Vladimir Petko]

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

  * d/{control, rules}: Add an alternative to build using openjdk-11 on riscv64
    util openjdk-8 is available for riscv64 (LP: #2142628).

Date: Mon, 02 Mar 2026 11:18:52 +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-4ubuntu2
-------------- next part --------------
Format: 1.8
Date: Mon, 02 Mar 2026 11:18:52 +1300
Source: cbmc
Built-For-Profiles: noudeb
Architecture: source
Version: 6.6.0-4ubuntu2
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-4ubuntu2) resolute; urgency=medium
 .
   * d/{control, rules}: Add an alternative to build using openjdk-11 on riscv64
     util openjdk-8 is available for riscv64 (LP: #2142628).
Checksums-Sha1:
 528b69940d109cc6778b46bb93493ee84613bdc1 3277 cbmc_6.6.0-4ubuntu2.dsc
 2a286776e659ec3271ceaf63c0632b7a894edcff 16628 cbmc_6.6.0-4ubuntu2.debian.tar.xz
 816ff4570779a48d694175c765f8319b7610eb5e 19314 cbmc_6.6.0-4ubuntu2_source.buildinfo
Checksums-Sha256:
 a805775d5a36ae5c6146a76b2dd925ec019a2ce404aefc96065779033b4f636e 3277 cbmc_6.6.0-4ubuntu2.dsc
 d55dad17ebd6646fc0c4e2d31d031d051deb236211ea99c3d97798b899ed82b5 16628 cbmc_6.6.0-4ubuntu2.debian.tar.xz
 d8bcb02e53ffaa34df52fd61a92bf1d35e78c676cb2135d64f6d501a69c44cc5 19314 cbmc_6.6.0-4ubuntu2_source.buildinfo
Files:
 a7ddebfe7fa2ee481d380dc81e2a2a82 3277 science optional cbmc_6.6.0-4ubuntu2.dsc
 87529a79c179d4d880f1eb33e160a05d 16628 science optional cbmc_6.6.0-4ubuntu2.debian.tar.xz
 e51c764ad640a82e3f047bd58e063c28 19314 science optional cbmc_6.6.0-4ubuntu2_source.buildinfo
Original-Maintainer: Michael Tautschnig <mt at debian.org>
Vcs-Git: https://git.launchpad.net/~vpa1977/ubuntu/+source/cbmc
Vcs-Git-Commit: 7c3650784101a6c5eac635cafa9bbcb1e5fab9a5
Vcs-Git-Ref: refs/heads/lp2142628