Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
why3
Epoch
None
Version
1.8.0
Release
4.fc43
Started
2025-03-18 13:52:44
Finished
2025-03-18 14:08:34
Koji repo
6561918
Koji tasks
complete
130439154
aarch64
├130439285
closed
ppc64le
├130439284
closed
x86_64
└130439283
closed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
libgccjit
15.0.1-0.
9
.fc43
15.0.1-0.
10
.fc43
2
pango
1.56.
2
-1.fc43
1.56.
3
-1.fc43
2
libgcc
15.0.1-0.
9
.fc43
15.0.1-0.
10
.fc43
2
libstdc++
15.0.1-0.
9
.fc43
15.0.1-0.
10
.fc43
2
expat
2.
6
.4-2.fc42
2.
7
.0-1.fc43
2
gcc
15.0.1-0.
9
.fc43
15.0.1-0.
10
.fc43
2
annobin-plugin-gcc
12.
92
-1.fc43
12.
93
-1.fc43
3
libgomp
15.0.1-0.
9
.fc43
15.0.1-0.
10
.fc43
3
efi-srpm-macros
6-
2
.fc42
6-
3
.fc43
3
qt5-srpm-macros
5.15.
15
-1.fc42
5.15.
16
-1.fc43
3
gcc-plugin-annobin
15.0.1-0.
9
.fc43
15.0.1-0.
10
.fc43
3
cpp
15.0.1-0.
9
.fc43
15.0.1-0.
10
.fc43
3
at-spi2-atk-devel
2.
55
.90-1.fc43
2.
56
.0-1.fc43
4
at-spi2-atk
2.
55
.90-1.fc43
2.
56
.0-1.fc43
4
atk
2.
55
.90-1.fc43
2.
56
.0-1.fc43
4
atk-devel
2.
55
.90-1.fc43
2.
56
.0-1.fc43
4
libxkbcommon
1.8.
0
-1.fc43
1.8.
1
-1.fc43
4
adwaita-icon-theme
48
~
beta-1.fc43
48
.
0-1.fc43
4
libxkbcommon-devel
1.8.
0
-1.fc43
1.8.
1
-1.fc43
4
annobin-docs
12.
92
-1.fc43
12.
93
-1.fc43
4
pango-devel
1.56.
2
-1.fc43
1.56.
3
-1.fc43
4
kernel-headers
6.14.0-0.
rc6
.49.fc43
6.14.0-0.
rc7
.56.fc43
4
sysprof-capture-devel
48
~
rc-1.fc43
48
.
0-1.fc43
4
libtinysparql
3.9
~
rc-1.fc43
3.9
.
1-1.fc43
4
at-spi2-core-devel
2.
55
.90-1.fc43
2.
56
.0-1.fc43
B
adwaita-cursor-theme
48
~
beta-1.fc43
48
.
0-1.fc43
B
perl-Business-ISBN-Data
20250309
.001-1.fc43
20250315
.001-1.fc43
B
at-spi2-core
2.
55
.90-1.fc43
2.
56
.0-1.fc43
B
perl-ExtUtils-MM-Utils
2:7.
70
-513.fc42
2:7.
72
-1.fc43
B
libquadmath
15.0.1-0.
9
.fc43
15.0.1-0.
10
.fc43
B
libgfortran
15.0.1-0.
9
.fc43
15.0.1-0.
10
.fc43
B
show 21 more
collapse
