Sun, 22 May 2022 12:03:39 UTC

Information for build klee-2.2-1.fc35

ID1812679
Package Nameklee
Version2.2
Release1.fc35
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/klee.git#4c81b783dbc80601ee6a80ac93cb4fa44d13cf0d
SummarySymbolic Execution Engine
DescriptionSymbolic virtual machine built on top of the LLVM compiler infrastructure.
Built bylzaoral
State complete
Volume DEFAULT
StartedMon, 02 Aug 2021 15:07:10 UTC
CompletedMon, 02 Aug 2021 15:13:27 UTC
Taskbuild (rawhide, /rpms/klee.git:4c81b783dbc80601ee6a80ac93cb4fa44d13cf0d)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/klee.git#4c81b783dbc80601ee6a80ac93cb4fa44d13cf0d'}}
Tags
f35
f35-Beta
RPMs
src
klee-2.2-1.fc35.src.rpm (info) (download)
aarch64
klee-2.2-1.fc35.aarch64.rpm (info) (download)
klee-debuginfo-2.2-1.fc35.aarch64.rpm (info) (download)
klee-debugsource-2.2-1.fc35.aarch64.rpm (info) (download)
ppc64le
klee-2.2-1.fc35.ppc64le.rpm (info) (download)
klee-debuginfo-2.2-1.fc35.ppc64le.rpm (info) (download)
klee-debugsource-2.2-1.fc35.ppc64le.rpm (info) (download)
s390x
klee-2.2-1.fc35.s390x.rpm (info) (download)
klee-debuginfo-2.2-1.fc35.s390x.rpm (info) (download)
klee-debugsource-2.2-1.fc35.s390x.rpm (info) (download)
x86_64
klee-2.2-1.fc35.x86_64.rpm (info) (download)
klee-debuginfo-2.2-1.fc35.x86_64.rpm (info) (download)
klee-debugsource-2.2-1.fc35.x86_64.rpm (info) (download)
Logs
x86_64
hw_info.log
state.log
build.log
root.log
mock_output.log
aarch64
hw_info.log
state.log
build.log
root.log
mock_output.log
ppc64le
hw_info.log
state.log
build.log
root.log
mock_output.log
s390x
hw_info.log
build.log
root.log
state.log
mock_output.log
Changelog * Thu Jul 15 2021 Lukas Zaoral <lzaoral@redhat.com> - 2.2-1 - First release