Fedora Packages

klee-2.3-6.fc37 in Fedora 37

↵ Return to the main page of klee
View build
Search for updates

Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files

Changelog

Date Author Change
2022-08-19 Jerry James <loganjerry at gmail dot com> - 2.3-6 - Rebuild for z3 4.11 - Add z3-4.11.patch due to Z3_TRUE removal
2022-08-10 Lukáš Zaoral <lzaoral at redhat dot com> - 2.3-5 - Rebuild for z3 4.10 (rhbz#2117070)
2022-07-25 Lukáš Zaoral <lzaoral at redhat dot com> - 2.3-4 - Enable Z3 solver backend - Enable libacl and libcap integration in POSIX runtime
2022-07-21 Fedora Release Engineering <releng at fedoraproject dot org> - 2.3-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
2022-04-05 Lukáš Zaoral <lzaoral at redhat dot com> - 2.3-2 - Update KLEE uClibc to v1.3
2022-04-04 Lukáš Zaoral <lzaoral at redhat dot com> - 2.3-1 - Update to 2.3
2022-01-25 Lukáš Zaoral <lzaoral at redhat dot com> - 2.2-5 - uClibc must be built with clang (#2045767) - Caused by CC=gcc set by implicit %set_build_flags in %build
2022-01-20 Fedora Release Engineering <releng at fedoraproject dot org> - 2.2-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
2021-10-15 Lukáš Zaoral <lzaoral at redhat dot com> - 2.2-3 - Rebuild for llvm-13.0.0 (#2014582)
2021-10-13 Lukáš Zaoral <lzaoral at redhat dot com> - 2.2-2 - Fix compilation with LLVM 13 - Enable uClibc and POSIX runtime support as requested by upstream. - Due to uClibc, package is now buildable only on x86_64. - Enable SELinux support

Dependencies

Provides

  • klee
  • klee(x86-64)
  • libkleeRuntest.so.1.0()(64bit)

Files


Sources on Pagure