crux-llvm 0.10

1 Reverse dep Accepted versions
copilot-verifier >=0.9 && <0.10