Script 'mail_helper' called by obssrc Hello community, here is the log from the commit of package klee-uclibc for openSUSE:Factory checked in at 2025-02-03 21:45:24 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/klee-uclibc (Old) and /work/SRC/openSUSE:Factory/.klee-uclibc.new.2316 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "klee-uclibc" Mon Feb 3 21:45:24 2025 rev:26 rq:1242809 version:1.4+git.20240531 Changes: -------- --- /work/SRC/openSUSE:Factory/klee-uclibc/klee-uclibc.changes 2024-12-16 19:17:31.067411661 +0100 +++ /work/SRC/openSUSE:Factory/.klee-uclibc.new.2316/klee-uclibc.changes 2025-02-03 21:47:00.631158739 +0100 @@ -1,0 +2,5 @@ +Mon Feb 3 12:04:57 UTC 2025 - Jiri Slaby <[email protected]> + +- switch to llvm 14, as llvm 16 is used solely by klee + +------------------------------------------------------------------- ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ klee-uclibc.spec ++++++ --- /var/tmp/diff_new_pack.3VbOUv/_old 2025-02-03 21:47:01.287185929 +0100 +++ /var/tmp/diff_new_pack.3VbOUv/_new 2025-02-03 21:47:01.291186094 +0100 @@ -1,7 +1,7 @@ # # spec file for package klee-uclibc # -# Copyright (c) 2024 SUSE LLC +# Copyright (c) 2025 SUSE LLC # # All modifications and additions to the file contributed by third parties # remain the property of their copyright owners, unless otherwise agreed @@ -16,7 +16,7 @@ # -%define llvm_version 16 +%define llvm_version 14 Name: klee-uclibc Summary: Libc library for Klee
