Build with the fix in place is queued up in this PPA: https://launchpad.net/~karljs/+archive/ubuntu/default-no-z3
** Merge proposal linked: https://code.launchpad.net/~karljs/ubuntu/+source/llvm-toolchain-22/+git/llvm-toolchain-22/+merge/510567 -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/2166074 Title: Disable z3 dependency for LLVM 22 To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/llvm-toolchain-22/+bug/2166074/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
