Since the LLVM-17 was merged in the K repository, booster usage fails with an error about a glibc version mismatch (2.37 vs 2.38).
When both llvm-kompile and kore-rpc-booster are installed via kup/nix, the only possibility to fix this is to upgrade nix-pkgs to the same version in both components.
This upgrade requires us to also upgrade the GHC version to 9.6 .
Since the LLVM-17 was merged in the K repository, booster usage fails with an error about a glibc version mismatch (2.37 vs 2.38). When both llvm-kompile and kore-rpc-booster are installed via kup/nix, the only possibility to fix this is to upgrade
nix-pkgsto the same version in both components. This upgrade requires us to also upgrade the GHC version to 9.6 .