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-05-31 11:03:23
Finished
2025-05-31 11:20:51
Koji repo
6578819
Koji tasks
complete
133376106
aarch64
├133376263
closed
ppc64le
├133376262
closed
x86_64
└133376264
closed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
libcurl
8.14.0
~
rc1-1.fc43
8.14.0
-
1.fc43
2
systemd-libs
257.
5
-5.fc43
257.
6
-1.fc43
2
redhat-rpm-config
343-
5
.fc43
343-
6
.fc43
2
libselinux
3.8-
1
.fc42
3.8-
2
.fc43
2
glibc
2.41.9000-
14
.fc43
2.41.9000-
15
.fc43
2
python3-urllib3
2.4.0-
1
.fc43
2.4.0-
2
.fc43
3
glibc-gconv-extra
2.41.9000-
14
.fc43
2.41.9000-
15
.fc43
3
glibc-minimal-langpack
2.41.9000-
14
.fc43
2.41.9000-
15
.fc43
3
glibc-devel
2.41.9000-
14
.fc43
2.41.9000-
15
.fc43
3
systemd-standalone-sysusers
257.
5
-5.fc43
257.
6
-1.fc43
3
glibc-common
2.41.9000-
14
.fc43
2.41.9000-
15
.fc43
3
java-srpm-macros
1-3.fc43
3
nss
3.
111
.0-2.fc43
3.
112
.0-1.fc43
4
curl
8.14.0
~
rc1-1.fc43
8.14.0
-
1.fc43
4
audit-libs
4.0.
3
-2.fc42
4.0.
4
-1.fc43
4
libselinux-devel
3.8-
1
.fc42
3.8-
2
.fc43
4
nspr
4.36.0-
8
.fc43
4.36.0-
9
.fc43
4
mesa-libgbm
25.1.
0
-3.fc43
25.1.
1
-1.fc43
B
mesa-libEGL
25.1.
0
-3.fc43
25.1.
1
-1.fc43
B
nss-softokn-freebl
3.
111
.0-2.fc43
3.
112
.0-1.fc43
B
mesa-dri-drivers
25.1.
0
-3.fc43
25.1.
1
-1.fc43
B
systemd-rpm-macros
257.
5
-5.fc43
257.
6
-1.fc43
B
nss-util
3.
111
.0-2.fc43
3.
112
.0-1.fc43
B
nss-softokn
3.
111
.0-2.fc43
3.
112
.0-1.fc43
B
systemd-devel
257.
5
-5.fc43
257.
6
-1.fc43
B
mesa-filesystem
25.1.
0
-3.fc43
25.1.
1
-1.fc43
B
nss-sysinit
3.
111
.0-2.fc43
3.
112
.0-1.fc43
B
mesa-libGL
25.1.
0
-3.fc43
25.1.
1
-1.fc43
B
show 18 more
collapse
complete