retiring klee in EPEL 9

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



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-announce mailing list -- epel-announce@xxxxxxxxxxxxxxxxxxxxxxx
To unsubscribe send an email to epel-announce-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-announce@xxxxxxxxxxxxxxxxxxxxxxx
Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue




[Index of Archives]     [Fedora Announce]     [Fedora News]     [Fedora Cloud]     [Fedora Advisory Board]     [Fedora Education]     [Fedora Security]     [Fedora Scitech]     [Fedora Robotics]     [Fedora Maintainers]     [Fedora Infrastructure]     [Fedora Websites]     [Anaconda Devel]     [Fedora Devel Java]     [Fedora Legacy]     [Fedora Desktop]     [Fedora Fonts]     [ATA RAID]     [Fedora Marketing]     [Fedora Management Tools]     [Fedora Mentors]     [Fedora Package Announce]     [SSH]     [Fedora Package Review]     [Fedora R Devel]     [Fedora PHP Devel]     [Kickstart]     [Fedora Music]     [Fedora Packaging]     [Centos]     [Fedora SELinux]     [Fedora Legal]     [Fedora Kernel]     [Fedora QA]     [Fedora Triage]     [Fedora OCaml]     [Coolkey]     [Virtualization Tools]     [ET Management Tools]     [Yum Users]     [Tux]     [Yosemite News]     [Linux Apps]     [Gnome Users]     [KDE Users]     [Fedora Tools]     [Fedora Art]     [Fedora Docs]     [Maemo Users]     [Asterisk PBX]     [Fedora Sparc]     [Fedora Universal Network Connector]     [Fedora ARM]
  Powered by Linux