Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
why3
Epoch
None
Version
1.8.0
Release
1.fc42
Started
2025-01-14 02:33:51
Finished
2025-01-14 02:51:42
Koji repo
6543195
Koji tasks
complete
127846435
aarch64
├127846527
closed
ppc64le
├127846525
closed
x86_64
└127846526
closed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
python3-sphinx
1:7
.3.7-2.fc41
1:8
.1.3-1.fc42
1
libselinux
3.8-0.rc3.1.fc42.
1
3.8-0.rc3.1.fc42.
2
2
alternatives
1.31-
1
.fc42
1.31-
2
.fc42
2
systemd-libs
257.2-
1
.fc42
257.2-
7
.fc42
2
harfbuzz
10.
1
.0-2.fc42
10.
2
.0-1.fc42
2
glibc
2.40.9000-
27
.fc42
2.40.9000-
28
.fc42
2
rpm-libs
4.20.0-
1
.fc42
4.20.0-
5
.fc42
2
libuuid
2.40.2-
8
.fc42
2.40.2-
9
.fc42
2
glibc-gconv-extra
2.40.9000-
27
.fc42
2.40.9000-
28
.fc42
3
rpm
4.20.0-
1
.fc42
4.20.0-
5
.fc42
3
glibc-devel
2.40.9000-
27
.fc42
2.40.9000-
28
.fc42
3
glibc-minimal-langpack
2.40.9000-
27
.fc42
2.40.9000-
28
.fc42
3
coreutils
9.5-
11
.fc42
9.5-
12
.fc42
3
libmount
2.40.2-
8
.fc42
2.40.2-
9
.fc42
3
glibc-common
2.40.9000-
27
.fc42
2.40.9000-
28
.fc42
3
util-linux
2.40.2-
8
.fc42
2.40.2-
9
.fc42
3
libxcrypt
4.4.37-
4
.fc42
4.4.37-
6
.fc42
3
filesystem
3.18-
29
.fc42
3.18-
30
.fc42
3
openjpeg
2.5.3-
2
.fc42
2.5.3-
3
.fc42
3
libcap
2.71-
1
.fc42
2.71-
2
.fc42
3
cmake-filesystem
3.31.
3
-1.fc42
3.31.
4
-1.fc42
3
filesystem-srpm-macros
3.18-
29
.fc42
3.18-
30
.fc42
3
atk-devel
2.
54
.0-1.fc42
2.
55
.0-1.fc42
4
util-linux-core
2.40.2-
8
.fc42
2.40.2-
9
.fc42
4
cyrus-sasl-lib
2.1.28-
27
.fc41
2.1.28-
28
.fc42
4
coreutils-common
9.5-
11
.fc42
9.5-
12
.fc42
4
libselinux-devel
3.8-0.rc3.1.fc42.
1
3.8-0.rc3.1.fc42.
2
4
libcom_err
1.47.2-
1
.fc42
1.47.2-
2
.fc42
4
rpm-build
4.20.0-
1
.fc42
4.20.0-
5
.fc42
4
libfdisk
2.40.2-
8
.fc42
2.40.2-
9
.fc42
4
atk
2.
54
.0-1.fc42
2.
55
.0-1.fc42
4
at-spi2-atk
2.
54
.0-1.fc42
2.
55
.0-1.fc42
4
kernel-headers
6.13.0-0.
rc6
.48.fc42
6.13.0-0.
rc7
.55.fc42
4
libblkid
2.40.2-
8
.fc42
2.40.2-
9
.fc42
4
libxcrypt-devel
4.4.37-
4
.fc42
4.4.37-
6
.fc42
4
libsmartcols
2.40.2-
8
.fc42
2.40.2-
9
.fc42
4
libmount-devel
2.40.2-
8
.fc42
2.40.2-
9
.fc42
4
at-spi2-atk-devel
2.
54
.0-1.fc42
2.
55
.0-1.fc42
4
shadow-utils
2:4.17.0-
2
.fc42
2:4.17.0-
3
.fc42
4
svt-av1-libs
2.1.0-
2
.fc41
2.1.0-
4
.fc42
4
info
7.
1
.1-2.fc42
7.
2
-1.fc42
B
fedora-release-common
42-0.
12
42-0.
13
B
at-spi2-core-devel
2.
54
.0-1.fc42
2.
55
.0-1.fc42
B
systemd-rpm-macros
257.2-
1
.fc42
257.2-
7
.fc42
B
gettext-runtime
0.23
-
1.fc42
0.23
.
1-1.fc42
B
fedora-release-identity-basic
42-0.
12
42-0.
13
B
libtextstyle
0.23
-
1.fc42
0.23
.
1-1.fc42
B
rpm-build-libs
4.20.0-
1
.fc42
4.20.0-
5
.fc42
B
at-spi2-core
2.
54
.0-1.fc42
2.
55
.0-1.fc42
B
gettext-libs
0.23
-
1.fc42
0.23
.
1-1.fc42
B
harfbuzz-cairo
10.
1
.0-2.fc42
10.
2
.0-1.fc42
B
libsoup3
3.6.
1
-1.fc42
3.6.
3
-1.fc42
B
gnupg2
2.4.5-
4
.fc42
2.4.5-
5
.fc42
B
harfbuzz-icu
10.
1
.0-2.fc42
10.
2
.0-1.fc42
B
gettext
0.23
-
1.fc42
0.23
.
1-1.fc42
B
systemd-devel
257.2-
1
.fc42
257.2-
7
.fc42
B
harfbuzz-devel
10.
1
.0-2.fc42
10.
2
.0-1.fc42
B
fedora-release
42-0.
12
42-0.
13
B
libblkid-devel
2.40.2-
8
.fc42
2.40.2-
9
.fc42
B
lm_sensors-libs
3.6.0-
20
.fc41
3.6.0-
21
.fc42
B
gettext-envsubst
0.23
-
1.fc42
0.23
.
1-1.fc42
B
show 51 more
collapse