pool/klee
SHA256
4
0
Fork 1
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

llvm15

Browse Source 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=149
This commit is contained in:
Jiri Slaby 2025-02-13 06:38:55 +00:00 committed by Git OBS Bridge
parent f8c92eb9e2
commit 4337c58ddd
2 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
klee.changes
View File

@ -1,3 +1,8 @@
-------------------------------------------------------------------
Thu Feb 13 06:38:42 UTC 2025 - Jiri Slaby <jslaby@suse.cz>
- OK, bump to llvm 15 again, everything moved to 15 in the meantime
-------------------------------------------------------------------
Tue Feb 11 08:49:12 UTC 2025 - Jiri Slaby <jslaby@suse.cz>

2
klee.spec
View File

@ -16,7 +16,7 @@
#
%define llvm_version 14
%define llvm_version 15
%ifarch x86_64
%define with_uclibc 1