This bug was fixed in the package cbmc - 6.6.0-4ubuntu2
---------------
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).
-- Vladimir Petko <[email protected]> Mon, 02 Mar 2026
11:18:52 +1300
** Changed in: cbmc (Ubuntu)
Status: New => Fix Released
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/2142628
Title:
cbmc does not support Java 9 +
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/cbmc/+bug/2142628/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
