This bug was fixed in the package lto-disabled-list - 48 --------------- lto-disabled-list (48) oracular; urgency=medium
* Change cbmc to arch any (LP: #2036745) -- Graham Inggs <[email protected]> Fri, 03 May 2024 11:59:46 +0000 ** Changed in: lto-disabled-list (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
