Hello community,
here is the log from the commit of package klee for openSUSE:Factory checked in
at 2017-07-08 12:33:59
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Comparing /work/SRC/openSUSE:Factory/klee (Old)
and /work/SRC/openSUSE:Factory/.klee.new (New)
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "klee"
Sat Jul 8 12:33:59 2017 rev:4 rq:508051 version:1.3.0+20170607
Changes:
--------
--- /work/SRC/openSUSE:Factory/klee/klee.changes 2017-06-12
15:32:17.733513096 +0200
+++ /work/SRC/openSUSE:Factory/.klee.new/klee.changes 2017-07-08
12:34:23.750484402 +0200
@@ -1,0 +2,5 @@
+Tue Jun 27 08:43:06 UTC 2017 - jsl...@suse.com
+
+- switch to python 3
+
+-------------------------------------------------------------------
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Other differences:
------------------
++++++ klee.spec ++++++
--- /var/tmp/diff_new_pack.yW15XR/_old 2017-07-08 12:34:24.498378911 +0200
+++ /var/tmp/diff_new_pack.yW15XR/_new 2017-07-08 12:34:24.502378347 +0200
@@ -66,7 +66,7 @@
BuildRequires: lit
BuildRequires: llvm%{llvm_version}-devel
BuildRequires: ninja
-BuildRequires: python-base
+BuildRequires: python3-base
BuildRequires: stp-devel
BuildRequires: xz
BuildRequires: zlib-devel
