- Change llvm_Version to 5, following the switch of LLVM to version 5 in Tumbleweed.
I doubt there is a port of klee for llvm 5. So this makes no sense at all.
indeed - I'd seen that post this port as well; but the original package with being on llvm4 was also not working - this should indeed be reverted for now
dimstar created request over 6 years ago
pluskalm accepted request over 6 years ago
The Open Build Service is an openSUSE project.
I doubt there is a port of klee for llvm 5. So this makes no sense at all.
indeed - I'd seen that post this port as well; but the original package with being on llvm4 was also not working - this should indeed be reverted for now