Closing the loop here, I've retired klee in EPEL 9.

https://lists.fedoraproject.org/archives/list/epel-annou...@lists.fedoraproject.org/thread/SP2624QZPY33N3NZNX5QLSMO2HZBHNNQ/

On Fri, Sep 29, 2023 at 12:01 PM Kevin Fenzi <ke...@scrye.com> wrote:
>
> On Thu, Sep 28, 2023 at 10:37:28PM -0500, Carl George wrote:
> > It recently came to my attention that the klee package in EPEL 9
> > needed to be rebuilt against the LLVM 15 library that shipped in RHEL
> > 9.2.  I filed a bug for this [0], and then noticed it was assigned to
> > "Orphan Owner".  It looks like the maintainer retired it from Fedora
> > [1][2] due the upstream not being compatible with LLVM 15 [3].  I am
> > not the maintainer of this package, but I intend to retire this
> > package from EPEL 9 to avoid having a package with installation issue
> > lingering around.  The EPEL retirement policy [4] doesn't cover this
> > exact scenario, so I plan to bring it up for discussion at the next
> > EPEL Steering Committee meeting.  We could delay the retirement for
> > one week (the policy for security-related retirements) or two weeks
> > (the policy for lack-of-time retirements), but my preference would be
> > to retire it ASAP.
>
> Retiring seems reasonable here.
>
> kevin
> _______________________________________________
> epel-devel mailing list -- epel-devel@lists.fedoraproject.org
> To unsubscribe send an email to epel-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/epel-devel@lists.fedoraproject.org
> Do not reply to spam, report it: 
> https://pagure.io/fedora-infrastructure/new_issue



-- 
Carl George
_______________________________________________
epel-devel mailing list -- epel-devel@lists.fedoraproject.org
To unsubscribe send an email to epel-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/epel-devel@lists.fedoraproject.org
Do not reply to spam, report it: 
https://pagure.io/fedora-infrastructure/new_issue

Reply via email to