This bug was fixed in the package cbmc - 5.95.1-4ubuntu1
---------------
cbmc (5.95.1-4ubuntu1) noble; urgency=medium
* Disable LTO everywhere (LP: #2036745)
(cbmc is already in lto-disabled-list for amd64 and ppc64el,
but not touching that package during final freeze)
-- Graham Inggs <[email protected]> Tue, 23 Apr 2024 16:36:24 +0000
** Changed in: cbmc (Ubuntu)
Status: Fix Committed => 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/2036745
Title:
FTBFS cbmc 5.89.0-2
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/cbmc/+bug/2036745/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
