Fri, 19 Aug 2022 05:27:31 UTC

Information for build klee-2.3-3.fc36

ID1945143
Package Nameklee
Version2.3
Release3.fc36
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/klee.git#de3fbdb14e49aa99c27ca79a93b87a2ea23c9298
SummarySymbolic Execution Engine
DescriptionSymbolic virtual machine built on top of the LLVM compiler infrastructure.
Built bylzaoral
State complete
Volume DEFAULT
StartedMon, 11 Apr 2022 12:31:47 UTC
CompletedMon, 11 Apr 2022 12:38:12 UTC
Taskbuild (f36-candidate, /rpms/klee.git:de3fbdb14e49aa99c27ca79a93b87a2ea23c9298)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/klee.git#de3fbdb14e49aa99c27ca79a93b87a2ea23c9298'}}
Tags
f36-updates
RPMs
src
klee-2.3-3.fc36.src.rpm (info) (download)
x86_64
klee-2.3-3.fc36.x86_64.rpm (info) (download)
klee-debuginfo-2.3-3.fc36.x86_64.rpm (info) (download)
klee-debugsource-2.3-3.fc36.x86_64.rpm (info) (download)
Logs
x86_64
hw_info.log
state.log
build.log
root.log
mock_output.log
Changelog * Mon Apr 11 2022 Lukáš Zaoral <lzaoral@redhat.com> - 2.3-3 - Rebuild for llvm-14.0.0 * Tue Apr 05 2022 Lukáš Zaoral <lzaoral@redhat.com> - 2.3-2 - Update KLEE uClibc to v1.3 * Mon Apr 04 2022 Lukáš Zaoral <lzaoral@redhat.com> - 2.3-1 - Update to 2.3 * Tue Jan 25 2022 Lukáš Zaoral <lzaoral@redhat.com> - 2.2-5 - uClibc must be built with clang (#2045767) - Caused by CC=gcc set by implicit %set_build_flags in %build * Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 2.2-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Fri Oct 15 2021 Lukáš Zaoral <lzaoral@redhat.com> - 2.2-3 - Rebuild for llvm-13.0.0 (#2014582) * Wed Oct 13 2021 Lukáš Zaoral <lzaoral@redhat.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 * Thu Jul 15 2021 Lukáš Zaoral <lzaoral@redhat.com> - 2.2-1 - First release