Fri, 19 Aug 2022 05:58:29 UTC

Information for build klee-2.3-1.fc37

ID1942661
Package Nameklee
Version2.3
Release1.fc37
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/klee.git#6cb8154b3803c741d2165b9df73679a07abd34b9
SummarySymbolic Execution Engine
DescriptionSymbolic virtual machine built on top of the LLVM compiler infrastructure.
Built bylzaoral
State complete
Volume DEFAULT
StartedMon, 04 Apr 2022 17:07:52 UTC
CompletedMon, 04 Apr 2022 17:12:08 UTC
Taskbuild (rawhide, /rpms/klee.git:6cb8154b3803c741d2165b9df73679a07abd34b9)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/klee.git#6cb8154b3803c741d2165b9df73679a07abd34b9'}}
Tags No tags
RPMs
src
klee-2.3-1.fc37.src.rpm (info) (download)
x86_64
klee-2.3-1.fc37.x86_64.rpm (info) (download)
klee-debuginfo-2.3-1.fc37.x86_64.rpm (info) (download)
klee-debugsource-2.3-1.fc37.x86_64.rpm (info) (download)
Logs
x86_64
hw_info.log
state.log
build.log
root.log
mock_output.log
Changelog * 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