Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
failed
Name
why3
Epoch
None
Version
1.8.0
Release
1.fc42
Started
2025-01-15 21:16:29
Finished
2025-01-15 21:50:29
Koji repo
6543566
Koji tasks
failed
127904088
aarch64
├127904186
failed
ppc64le
├127904184
failed
x86_64
└127904185
failed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
emacs-nw
1:29.4-
46
.fc42
1:29.4-
47
.fc42
1
libstdc++
14
.2.1-6.fc42
15
.0.1-0.3.fc42
2
libtool-ltdl
2.5.4-
2
.fc42
2.5.4-
3
.fc42
2
emacs-common
1:29.4-
46
.fc42
1:29.4-
47
.fc42
2
libgcc
14
.2.1-6.fc42
15
.0.1-0.3.fc42
2
libuuid
2.40.
2
-9.fc42
2.40.
4
-1.fc42
2
libgccjit
14
.2.1-6.fc42
15
.0.1-0.3.fc42
2
rpm-libs
4.20.0-
5
.fc42
4.20.0-
6
.fc42
2
gcc
14
.2.1-6.fc42
15
.0.1-0.3.fc42
2
libtree-sitter
0.
23
.0-1.fc42
0.
24
.7-1.fc42
2
util-linux
2.40.
2
-9.fc42
2.40.
4
-1.fc42
3
libgomp
14
.2.1-6.fc42
15
.0.1-0.3.fc42
3
libmount
2.40.
2
-9.fc42
2.40.
4
-1.fc42
3
filesystem-srpm-macros
3.18-
30
.fc42
3.18-
34
.fc42
3
fonts-filesystem
1:2.0.5-
17
.fc41
1:2.0.5-
19
.fc42
3
emacsclient
1:29.4-
46
.fc42
1:29.4-
47
.fc42
3
libxcrypt
4.4.
37
-6.fc42
4.4.
38
-2.fc42
3
rpm
4.20.0-
5
.fc42
4.20.0-
6
.fc42
3
annobin-plugin-gcc
12.80-
1
.fc42
12.80-
2
.fc42
3
cpp
14
.2.1-6.fc42
15
.0.1-0.3.fc42
3
filesystem
3.18-
30
.fc42
3.18-
34
.fc42
3
openjpeg
2.5.3-
3
.fc42
2.5.3-
4
.fc42
3
fonts-srpm-macros
1:2.0.5-
17
.fc41
1:2.0.5-
19
.fc42
3
gcc-plugin-annobin
14
.2.1-6.fc42
15
.0.1-0.3.fc42
3
atk-devel
2.55.0
-
1.fc42
2.55.0
.
1-1.fc42
4
util-linux-core
2.40.
2
-9.fc42
2.40.
4
-1.fc42
4
rpm-build
4.20.0-
5
.fc42
4.20.0-
6
.fc42
4
libsmartcols
2.40.
2
-9.fc42
2.40.
4
-1.fc42
4
at-spi2-atk-devel
2.55.0
-
1.fc42
2.55.0
.
1-1.fc42
4
flexiblas-netlib
3.4.4-
5
.fc42
3.4.4-
6
.fc42
4
annobin-docs
12.80-
1
.fc42
12.80-
2
.fc42
4
libmount-devel
2.40.
2
-9.fc42
2.40.
4
-1.fc42
4
libfdisk
2.40.
2
-9.fc42
2.40.
4
-1.fc42
4
libblkid
2.40.
2
-9.fc42
2.40.
4
-1.fc42
4
libxcrypt-devel
4.4.
37
-6.fc42
4.4.
38
-2.fc42
4
atk
2.55.0
-
1.fc42
2.55.0
.
1-1.fc42
4
at-spi2-atk
2.55.0
-
1.fc42
2.55.0
.
1-1.fc42
4
flexiblas-openblas-openmp
3.4.4-
5
.fc42
3.4.4-
6
.fc42
B
libblkid-devel
2.40.
2
-9.fc42
2.40.
4
-1.fc42
B
at-spi2-core-devel
2.55.0
-
1.fc42
2.55.0
.
1-1.fc42
B
libusb1
1.0.27-
5
.fc42
1.0.27-
6
.fc42
B
flexiblas
3.4.4-
5
.fc42
3.4.4-
6
.fc42
B
rpm-build-libs
4.20.0-
5
.fc42
4.20.0-
6
.fc42
B
fedora-repos
42-0.
3
42-0.
4
B
perl-Business-ISBN-Data
20250109
.001-1.fc42
20250115
.001-1.fc42
B
libquadmath
14
.2.1-6.fc42
15
.0.1-0.3.fc42
B
libgfortran
14
.2.1-6.fc42
15
.0.1-0.3.fc42
B
fedora-repos-rawhide
42-0.
3
42-0.
4
B
at-spi2-core
2.55.0
-
1.fc42
2.55.0
.
1-1.fc42
B
fedora-gpg-keys
42-0.
3
42-0.
4
B
show 40 more
collapse
failed