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-27 03:44:13
Finished
2025-03-27 04:01:45
Koji repo
6564116
Koji tasks
complete
130788370
aarch64
├130788427
closed
ppc64le
├130788426
closed
x86_64
└130788425
closed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
glibc
2.41.9000-
2
.fc43
2.41.9000-
6
.fc43
2
libcurl
8.13.0~
rc2
-1.fc43
8.13.0~
rc3
-1.fc43
2
harfbuzz
10
.4.0-1.fc43
11
.0.0-1.fc43
2
openssl-libs
1:3.
2
.4-3.fc43
1:3.
5
.0-2.fc43
3
go-srpm-macros
3.6.0-
6
.fc42
3.6.0-
7
.fc43
3
xz-libs
1:5.
6
.3-3.fc42
1:5.
8
.0-1.fc43
3
glibc-minimal-langpack
2.41.9000-
2
.fc43
2.41.9000-
6
.fc43
3
desktop-file-utils
0.
27
-3.fc42
0.
28
-1.fc43
3
glibc-common
2.41.9000-
2
.fc43
2.41.9000-
6
.fc43
3
glibc-gconv-extra
2.41.9000-
2
.fc43
2.41.9000-
6
.fc43
3
glibc-devel
2.41.9000-
2
.fc43
2.41.9000-
6
.fc43
3
crypto-policies
20250305
-1.gita35b0fa....
20250324
-1.git3714354....
3
python-srpm-macros
3.13-
4
.fc42
3.13-
5
.fc43
3
adwaita-icon-theme
48.0-
1
.fc43
48.0-
2
.fc43
4
kernel-headers
6.14.0-
0
.rc7.56.fc43
6.14.0-
63
.fc43
4
xz-devel
1:5.
6
.3-3.fc42
1:5.
8
.0-1.fc43
4
javapackages-filesystem
6.4.0-
5
.fc42
6.4.0-
6
.fc43
4
python-pip-wheel
24
.3.1-2.fc42
25
.0.1-3.fc43
4
curl
8.13.0~
rc2
-1.fc43
8.13.0~
rc3
-1.fc43
4
gnupg2
2.4.7-
2
.fc42
2.4.7-
3
.fc43
B
harfbuzz-icu
10
.4.0-1.fc43
11
.0.0-1.fc43
B
perl-Module-CoreList
1:5.
20250220
-1.fc43
1:5.
20250321
-1.fc43
B
harfbuzz-devel
10
.4.0-1.fc43
11
.0.0-1.fc43
B
fedora-release
43-0.
7
43-0.
8
B
xz
1:5.
6
.3-3.fc42
1:5.
8
.0-1.fc43
B
fedora-release-identity-basic
43-0.
7
43-0.
8
B
harfbuzz-cairo
10
.4.0-1.fc43
11
.0.0-1.fc43
B
libsoup3
3.6.
4
-2.fc42
3.6.
5
-1.fc43
B
fedora-release-common
43-0.
7
43-0.
8
B
perl-Business-ISBN-Data
20250315
.001-1.fc43
20250322
.001-1.fc43
B
perl-Net-SSLeay
1.94-
8
.fc42
1.94-
9
.fc43
B
adwaita-cursor-theme
48.0-
1
.fc43
48.0-
2
.fc43
B
tpm2-tss
4.1.3-
6
.fc42
4.1.3-
7
.fc43
B
show 23 more
collapse
complete