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...
[1]
https://lists.fedoraproject.org/archives/list/epel-devel@lists.fedoraproj...
[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/35fdedce2021112b996a9d38bf3e93c...
--
Carl George