I am retiring the klee package in EPEL 9. In accordance with the retirement policy [0], I proposed this retirement two weeks ago on the epel-devel mailing list [1]. This software is not compatible with LLVM 15 or newer [2][3][4]. RHEL 9 regularly updates LLVM, is already defaulting to LLVM 15 in 9.2, and is expected to update to LLVM 16 in 9.3. Since klee cannot be rebuilt to work with the newer LLVM versions, we must retire it. The package was already retired from Fedora earlier this year [5]. The Fedora maintainer also orphaned the package, resulting in there being no maintainers for the EPEL 9 package. I am stepping in to retire the package as a proven packager. [0] https://docs.fedoraproject.org/en-US/epel/epel-policy-retirement/#process_no_time_or_desire [1] https://lists.fedoraproject.org/archives/list/epel-devel@xxxxxxxxxxxxxxxxxxxxxxx/thread/VIP6GZFVNFRC2MZUB6OUEDF2SSW4BBVI/ [2] https://github.com/klee/klee/blob/v3.0/.github/workflows/build.yaml#L39 [3] https://github.com/klee/klee/pull/1648 [4] https://github.com/klee/klee.github.io/pull/347 [5] https://src.fedoraproject.org/rpms/klee/c/35fdedce2021112b996a9d38bf3e93cf5cf236c8 -- Carl George _______________________________________________ epel-devel mailing list -- epel-devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to epel-devel-leave@xxxxxxxxxxxxxxxxxxxxxxx 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/epel-devel@xxxxxxxxxxxxxxxxxxxxxxx Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue