Hello, MR has been opened to "fix" this issue: https://salsa.debian.org/pkg-llvm-team/z3/-/merge_requests/6
Eliminating SSE2 from z3 upstream is not feasible: https://github.com/Z3Prover/z3/issues/6369#issuecomment-1259419466 The dependency chain I have identified: xorg->libgl1-mesa-dri->libllvm14->libz3-4 Regards, Karo