commit z3 for openSUSE:Leap:15.2

2020-02-09 Thread root
Hello community, here is the log from the commit of package z3 for openSUSE:Leap:15.2 checked in at 2020-02-09 11:27:11 Comparing /work/SRC/openSUSE:Leap:15.2/z3 (Old) and /work/SRC/openSUSE:Leap:15.2/.z3.new.26092 (Ne

commit z3 for openSUSE:Leap:15.2

2020-01-17 Thread root
Hello community, here is the log from the commit of package z3 for openSUSE:Leap:15.2 checked in at 2020-01-17 12:05:46 Comparing /work/SRC/openSUSE:Leap:15.2/z3 (Old) and /work/SRC/openSUSE:Leap:15.2/.z3.new.26092 (Ne

commit z3 for openSUSE:Leap:15.2

2020-04-14 Thread root
Hello community, here is the log from the commit of package z3 for openSUSE:Leap:15.2 checked in at 2020-04-14 14:20:53 Comparing /work/SRC/openSUSE:Leap:15.2/z3 (Old) and /work/SRC/openSUSE:Leap:15.2/.z3.new.3248 (New