Hi, there is no need to wait for klee. Unfortunately, the package cannot be build in Rawhide at the moment since the project cannot be built with LLVM 15 and the llvm14 compatibility package cannot be used with clang 15 (and clang14 is a library only package).
Unfortunately, I do not have the necessary time or that deep knowledge of LLVM to do the necessary porting work myself (quite a lot of breaking changes in LLVM 15) and upstream has not yet merged the work I did for LLVM 14 last March. I plan to retire this package in a week unless someone steps up. I'll announce this in a separate email as well. Regards, Lukas On Sun, Jan 15, 2023 at 7:07 PM Jerry James <loganje...@gmail.com> wrote: > > Version 4.12.0 of z3 has been released, and bumps the library soname. > In a week, I will build the new version for z3 and will rebuild its > sole consumer, klee, unless the klee maintainers (BCCed) prefer to do > so themselves. > -- > Jerry James > http://www.jamezone.org/ > _______________________________________________ > devel mailing list -- devel@lists.fedoraproject.org > To unsubscribe send an email to devel-le...@lists.fedoraproject.org > Fedora Code of Conduct: > https://docs.fedoraproject.org/en-US/project/code-of-conduct/ > List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines > List Archives: > https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org > Do not reply to spam, report it: > https://pagure.io/fedora-infrastructure/new_issue _______________________________________________ devel mailing list -- devel@lists.fedoraproject.org To unsubscribe send an email to devel-le...@lists.fedoraproject.org Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue
