92cb89
Update klee-uclibc to version 1.4+git.20240531 / rev 27 via SR 1245535 https://build.opensuse.org/request/show/1245535 by user jirislaby + anag+factory - OK, bump to llvm 15 again, everything moved to 15 in the meantime