[Bug 2036745] Re: FTBFS cbmc 5.89.0-2
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 Fri, 03 May 2024 11:59:46 + ** 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 ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 2036745] Re: FTBFS cbmc 5.89.0-2
** Changed in: lto-disabled-list (Ubuntu) Status: New => Fix Committed -- 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 ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 2036745] Re: FTBFS cbmc 5.89.0-2
See also LP: #2032624 ** Also affects: lto-disabled-list (Ubuntu) Importance: Undecided Status: New -- 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 ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 2036745] Re: FTBFS cbmc 5.89.0-2
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 Tue, 23 Apr 2024 16:36:24 + ** 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 ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 2036745] Re: FTBFS cbmc 5.89.0-2
** Changed in: cbmc (Ubuntu) Assignee: (unassigned) => Graham Inggs (ginggs) ** Changed in: cbmc (Ubuntu) Status: New => Fix Committed -- 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 ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs