Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
failed
Name
cbmc
Epoch
None
Version
6.4.1
Release
1.fc42
Started
2025-03-19 22:29:12
Finished
2025-03-19 23:08:19
Koji repo
6562308
Koji tasks
failed
130500854
aarch64
├130500945
closed
ppc64le
├130500944
closed
x86_64
└130500943
failed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
cmake
4
.0.0~rc4-1.fc43
3
.31.6-2.fc43
1
git
2.
48
.1-3.fc43
2.
49
.0-1.fc43
1
cmake-rpm-macros
4
.0.0~rc4-1.fc43
3
.31.6-2.fc43
2
perl-Git
2.
48
.1-3.fc43
2.
49
.0-1.fc43
2
libcurl
8.13.0~
rc1
-2.fc43
8.13.0~
rc2
-1.fc43
2
git-core
2.
48
.1-3.fc43
2.
49
.0-1.fc43
2
git-core-doc
2.
48
.1-3.fc43
2.
49
.0-1.fc43
2
cmake-data
4
.0.0~rc4-1.fc43
3
.31.6-2.fc43
2
cmake-filesystem
4
.0.0~rc4-1.fc43
3
.31.6-2.fc43
2
openssh-clients
9.9p1-
12
.fc43
9.9p1-
13
.fc43
3
pango
1.56.
2
-1.fc43
1.56.
3
-1.fc43
3
openssh
9.9p1-
12
.fc43
9.9p1-
13
.fc43
4
curl
8.13.0~
rc1
-2.fc43
8.13.0~
rc2
-1.fc43
4
kernel-headers
6.14.0-0.
rc6
.49.fc43
6.14.0-0.
rc7
.56.fc43
4
annobin-plugin-gcc
12.
92
-1.fc43
12.
93
-1.fc43
B
qt5-srpm-macros
5.15.
15
-1.fc42
5.15.
16
-1.fc43
B
annobin-docs
12.
92
-1.fc43
12.
93
-1.fc43
B
show 7 more
collapse
