Changelog for klee-uclibc-devel-static-1.4-2.2.x86_64.rpm :

* Fri Feb 09 2024 Jiri Slaby - generate debuginfo into the lib using -g- do not configure with --enable-release as \"things might break\" (and they do).
* Thu Dec 14 2023 Jiri Slaby - update to 1.4
* Don\'t always require curl/wget to build locales by AATTjirislaby in #43
* Fix compilation with newer LLVM/Clang versions: make int-conversion a warning by AATT251 in #44
* Remove deprecated llvm-gcc by AATT251 in #45
* Fixing null dereference in realpath by AATTdavidtr1037 in #47
* Add missing variables for GitHub CI by AATTMartinNowack in #46- remove extra-locale-Makefile-don-t-always-require-curl-wget.patch (it\'s upstream)- switch to llvm 16
* Thu Jun 15 2023 jslabyAATTsuse.cz- require python3-base, not python-base as we need py3- update rpmlintrc filter to match the current output
* Tue Nov 22 2022 Jiri Slaby - add 0001-strtod-fix-__strtofpmax.patch (build fix w/ LLVM 15)
* Tue Sep 06 2022 Jiri Slaby - Switch to LLVM 14.
* Tue May 10 2022 Jiri Slaby - update to 1.3
* configure: remove old code, make llvm-config lookup more flexible, set to Python3, remove trailing whitespace
* switch to https; fallback to curl when wget not available
* Correcting use of \'lookForNew\'
* Add a message when the bitcode compiler is specified via CC- add extra-locale-Makefile-don-t-always-require-curl-wget.patch to fix build
* Tue Oct 19 2021 Jiri Slaby - Switch to LLVM 13.
* Thu May 20 2021 Jiri Slaby - Switch to LLVM 12.
* Sun Dec 13 2020 Aaron Puchert - Switch to regular version 1.2. That\'s a slight downgrade, as we lose the last two commits, but they aren\'t relevant here.- Switch to LLVM 11.
* Thu Sep 24 2020 jslabyAATTsuse.com- Update to version 1.0.0+git.20200711:
* Correcting use of \'lookForNew\' and some rudimentary code tidying in \'configure\'- disable x86_32 as it is unsupported -- there are bugs in klee.