Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
why3
Epoch
None
Version
1.8.0
Release
5.fc43
Started
2025-04-19 07:18:29
Finished
2025-04-19 07:39:11
Koji repo
6569248
Koji tasks
complete
131705142
aarch64
├131705317
closed
ppc64le
├131705316
closed
x86_64
└131705315
closed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
java-21-openjdk-devel
1:21.0.
6
.0.7-7.fc43
1:21.0.
7
.0.6-1.fc43
1
graphviz
12.2.1-
5
.fc43
12.2.1-
6
.fc43
1
libstdc++
15.0.1-0.
12
.fc43
15.0.1-0.
13
.fc43
2
libgccjit
15.0.1-0.
12
.fc43
15.0.1-0.
13
.fc43
2
python3-requests
2.32.3-
4
.fc42
2.32.3-
12
.fc43
2
harfbuzz
11.
0
.1-2.fc43
11.
1
.0-1.fc43
2
libgcc
15.0.1-0.
12
.fc43
15.0.1-0.
13
.fc43
2
graphviz-libs
12.2.1-
5
.fc43
12.2.1-
6
.fc43
2
gcc
15.0.1-0.
12
.fc43
15.0.1-0.
13
.fc43
2
java-21-openjdk
1:21.0.
6
.0.7-7.fc43
1:21.0.
7
.0.6-1.fc43
2
rpm-libs
4
.20.1-3.fc43
5
.99.90-3.fc43
2
java-21-openjdk-headless
1:21.0.
6
.0.7-7.fc43
1:21.0.
7
.0.6-1.fc43
3
crypto-policies
20250402-
1
.git86c0178....
20250402-
2
.git86c0178....
3
python3-urllib3
2.
3
.0-2.fc42
2.
4
.0-1.fc43
3
libcap
2.
73
-2.fc42
2.
76
-1.fc43
3
gcc-plugin-annobin
15.0.1-0.
12
.fc43
15.0.1-0.
13
.fc43
3
qt6-srpm-macros
6.9.0-
1
.fc43
6.9.0-
2
.fc43
3
cpp
15.0.1-0.
12
.fc43
15.0.1-0.
13
.fc43
3
openssl-libs
1:3.5.0-
2
.fc43
1:3.5.0-
3
.fc43
3
rpm
4
.20.1-3.fc43
5
.99.90-3.fc43
3
libgomp
15.0.1-0.
12
.fc43
15.0.1-0.
13
.fc43
3
libwayland-egl
1.23.
0
-3.fc42
1.23.
1
-1.fc43
4
libwayland-client
1.23.
0
-3.fc42
1.23.
1
-1.fc43
4
libwayland-cursor
1.23.
0
-3.fc42
1.23.
1
-1.fc43
4
wayland-devel
1.23.
0
-3.fc42
1.23.
1
-1.fc43
4
rpm-build
4
.20.1-3.fc43
5
.99.90-3.fc43
4
google-noto-sans-vf-fonts
20250301
-1.fc43
20250401
-1.fc43
4
perl-Business-ISBN-Data
20250411
.001-1.fc43
20250416
.001-1.fc43
B
libfsverity
1.6-2.fc42
B
harfbuzz-icu
11.
0
.1-2.fc43
11.
1
.0-1.fc43
B
rpm-sign-libs
5.99.90-3.fc43
B
harfbuzz-cairo
11.
0
.1-2.fc43
11.
1
.0-1.fc43
B
libquadmath
15.0.1-0.
12
.fc43
15.0.1-0.
13
.fc43
B
google-noto-fonts-common
20250301
-1.fc43
20250401
-1.fc43
B
libgpg-error
1.
53
-1.fc43
1.
54
-1.fc43
B
libgfortran
15.0.1-0.
12
.fc43
15.0.1-0.
13
.fc43
B
harfbuzz-devel
11.
0
.1-2.fc43
11.
1
.0-1.fc43
B
rpm-build-libs
4
.20.1-3.fc43
5
.99.90-3.fc43
B
ima-evm-utils-libs
1.6.2-5.fc43
B
libwayland-server
1.23.
0
-3.fc42
1.23.
1
-1.fc43
B
show 30 more
collapse
complete