[EPEL-devel] Re: retirement of klee from EPEL 9

2023-09-29 Thread Kevin Fenzi
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

[EPEL-devel] Re: retirement of klee from EPEL 9

2023-09-29 Thread Neal Gompa
On Fri, Sep 29, 2023 at 9:20 AM Troy Dawson wrote: > > On Thu, Sep 28, 2023 at 8:37 PM 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

[EPEL-devel] Re: retirement of klee from EPEL 9

2023-09-29 Thread Troy Dawson
On Thu, Sep 28, 2023 at 8:37 PM 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