Fri, 19 Aug 2022 04:34:48 UTC

Information for build klee-2.3-2.fc37

ID1942830
Package Nameklee
Version2.3
Release2.fc37
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/klee.git#1bf2d28af8b531c15553bbbbb2881363a37e5bc1
SummarySymbolic Execution Engine
DescriptionSymbolic virtual machine built on top of the LLVM compiler infrastructure.
Built bylzaoral
State complete
Volume DEFAULT
StartedTue, 05 Apr 2022 10:35:18 UTC
CompletedTue, 05 Apr 2022 10:39:47 UTC
Taskbuild (rawhide, /rpms/klee.git:1bf2d28af8b531c15553bbbbb2881363a37e5bc1)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/klee.git#1bf2d28af8b531c15553bbbbb2881363a37e5bc1'}}
Tags No tags
RPMs
src
klee-2.3-2.fc37.src.rpm (info) (download)
x86_64
klee-2.3-2.fc37.x86_64.rpm (info) (download)
klee-debuginfo-2.3-2.fc37.x86_64.rpm (info) (download)
klee-debugsource-2.3-2.fc37.x86_64.rpm (info) (download)
Logs
x86_64
hw_info.log
state.log
build.log
root.log
mock_output.log
Changelog * 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