Fri, 19 Aug 2022 04:09:06 UTC

Information for build klee-2.3-1.fc35

ID1943773
Package Nameklee
Version2.3
Release1.fc35
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/klee.git#d0a4086b76a1cb34f9951aa2ed1a3ffae213a5d0
SummarySymbolic Execution Engine
DescriptionSymbolic virtual machine built on top of the LLVM compiler infrastructure.
Built bylzaoral
State complete
Volume DEFAULT
StartedThu, 07 Apr 2022 10:11:22 UTC
CompletedThu, 07 Apr 2022 10:16:10 UTC
Taskbuild (f35-candidate, /rpms/klee.git:d0a4086b76a1cb34f9951aa2ed1a3ffae213a5d0)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/klee.git#d0a4086b76a1cb34f9951aa2ed1a3ffae213a5d0'}}
Tags
f35-updates
RPMs
src
klee-2.3-1.fc35.src.rpm (info) (download)
x86_64
klee-2.3-1.fc35.x86_64.rpm (info) (download)
klee-debuginfo-2.3-1.fc35.x86_64.rpm (info) (download)
klee-debugsource-2.3-1.fc35.x86_64.rpm (info) (download)
Logs
x86_64
hw_info.log
state.log
build.log
root.log
mock_output.log
Changelog * Thu Apr 07 2022 Lukáš Zaoral <lzaoral@redhat.com> - 2.3-1 - Update KLEE uClibc to v1.3 - 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 * 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