Hello community, here is the log from the commit of package klee-uclibc for openSUSE:Factory checked in at 2017-12-29 18:51:38 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/klee-uclibc (Old) and /work/SRC/openSUSE:Factory/.klee-uclibc.new (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "klee-uclibc" Fri Dec 29 18:51:38 2017 rev:6 rq:560177 version:1.0.0+git.20170324 Changes: -------- --- /work/SRC/openSUSE:Factory/klee-uclibc/klee-uclibc.changes 2017-12-21 11:28:53.256883318 +0100 +++ /work/SRC/openSUSE:Factory/.klee-uclibc.new/klee-uclibc.changes 2017-12-29 18:51:51.512543386 +0100 @@ -1,0 +2,6 @@ +Wed Dec 27 10:50:34 UTC 2017 - [email protected] + +- Revert llvm_version back to 4: klee is not ready yet to build + using llvm5. + +------------------------------------------------------------------- ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ klee-uclibc.spec ++++++ --- /var/tmp/diff_new_pack.MZOKdK/_old 2017-12-29 18:51:52.136364220 +0100 +++ /var/tmp/diff_new_pack.MZOKdK/_new 2017-12-29 18:51:52.136364220 +0100 @@ -16,7 +16,7 @@ # -%define llvm_version 5 +%define llvm_version 4 %define version_unconverted 1.0.0+git.20170324
