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-02-27 11:35:42
Finished
2025-02-27 11:52:21
Koji repo
6554803
Koji tasks
complete
129654812
aarch64
├129654920
closed
ppc64le
├129654919
closed
x86_64
└129654918
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-
6
.fc42
1:21.0.6.0.7-
7
.fc43
1
emacs-nw
1:29
.4-53.fc43
1:30
.1-3.fc43
1
libuuid
2.40.4-
6
.fc43
2.40.4-
7
.fc43
2
zlib-ng-compat
2.2.4-
1
.fc43
2.2.4-
2
.fc43
2
gcc
15.0.1-0.
7
.fc43
15.0.1-0.
8
.fc43
2
libgccjit
15.0.1-0.
7
.fc43
15.0.1-0.
8
.fc43
2
zlib-ng-devel
2.2.4-
1
.fc43
2.2.4-
2
.fc43
2
libgcc
15.0.1-0.
7
.fc43
15.0.1-0.
8
.fc43
2
java-21-openjdk
1:21.0.6.0.7-
6
.fc42
1:21.0.6.0.7-
7
.fc43
2
emacs-common
1:29
.4-53.fc43
1:30
.1-3.fc43
2
libstdc++
15.0.1-0.
7
.fc43
15.0.1-0.
8
.fc43
2
libarchive
3.7.7-2.
fc42
3.7.7-2.
fc43
2
libgomp
15.0.1-0.
7
.fc43
15.0.1-0.
8
.fc43
3
openssl-libs
1:3.2.4-
1
.fc43
1:3.2.4-
2
.fc43
3
java-21-openjdk-headless
1:21.0.6.0.7-
6
.fc42
1:21.0.6.0.7-
7
.fc43
3
coreutils
9.6-
1
.fc42
9.6-
2
.fc43
3
cmake-filesystem
3
.31.5-1.fc42
4
.0.0~rc2-1.fc43
3
gcc-plugin-annobin
15.0.1-0.
7
.fc43
15.0.1-0.
8
.fc43
3
zlib-ng
2.2.4-
1
.fc43
2.2.4-
2
.fc43
3
emacsclient
1:29
.4-53.fc43
1:30
.1-3.fc43
3
libmount
2.40.4-
6
.fc43
2.40.4-
7
.fc43
3
cpp
15.0.1-0.
7
.fc43
15.0.1-0.
8
.fc43
3
util-linux
2.40.4-
6
.fc43
2.40.4-
7
.fc43
3
coreutils-common
9.6-
1
.fc42
9.6-
2
.fc43
4
kernel-headers
6.14.0-0.
rc3
.29.fc43
6.14.0-0.
rc4
.36.fc43
4
libmount-devel
2.40.4-
6
.fc43
2.40.4-
7
.fc43
4
libsmartcols
2.40.4-
6
.fc43
2.40.4-
7
.fc43
4
libfdisk
2.40.4-
6
.fc43
2.40.4-
7
.fc43
4
zlib-ng-compat-devel
2.2.4-
1
.fc43
2.2.4-
2
.fc43
4
util-linux-core
2.40.4-
6
.fc43
2.40.4-
7
.fc43
4
libblkid
2.40.4-
6
.fc43
2.40.4-
7
.fc43
4
llvm-libs
19.1.7-
9
.fc43
19.1.7-
11
.fc43
B
libgfortran
15.0.1-0.
7
.fc43
15.0.1-0.
8
.fc43
B
perl-Module-CoreList
1:5.
20250120
-1.fc42
1:5.
20250220
-1.fc43
B
libquadmath
15.0.1-0.
7
.fc43
15.0.1-0.
8
.fc43
B
llvm-filesystem
19.1.7-
9
.fc43
19.1.7-
11
.fc43
B
libblkid-devel
2.40.4-
6
.fc43
2.40.4-
7
.fc43
B
suitesparse
7.
8
.3-1.fc42
7.
9
.0-1.fc43
B
perl-libwww-perl
6.
77
-3.fc42
6.
78
-1.fc43
B
perl-Business-ISBN-Data
20250220
.001-1.fc43
20250226
.001-1.fc43
B
debugedit
5.1-
4
.fc42
5.1-
5
.fc43
B
show 31 more
collapse
