Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
Agda
Epoch
None
Version
2.6.4.3
Release
53.fc42
Started
2025-02-10 04:00:12
Finished
2025-02-10 05:08:16
Koji repo
6548822
Koji tasks
complete
129075369
aarch64
├129075482
closed
ppc64le
├129075483
closed
x86_64
└129075481
closed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
gnutls
3.8.8-
2
.fc42
3.8.8-
3
.fc42
2
libgcc
15.0.1-0.
4
.fc42
15.0.1-0.
7
.fc42
2
libgccjit
15.0.1-0.
4
.fc42
15.0.1-0.
7
.fc42
2
libX11
1.8.
10
-3.fc42
1.8.
11
-1.fc42
2
at-spi2-atk
2.55.
0
.1-2.fc42
2.55.
2
-1.fc42
3
libmount
2.40.4-
2
.fc42
2.40.4-
5
.fc42
3
gcc
15.0.1-0.
4
.fc42
15.0.1-0.
7
.fc42
3
binutils
2.
43
.50-12.fc42
2.
44
-3.fc42
3
libX11-common
1.8.
10
-3.fc42
1.8.
11
-1.fc42
3
libstdc++
15.0.1-0.
4
.fc42
15.0.1-0.
7
.fc42
3
atk
2.55.
0
.1-2.fc42
2.55.
2
-1.fc42
3
libuuid
2.40.4-
2
.fc42
2.40.4-
5
.fc42
3
redhat-rpm-config
300
-1.fc42
342
-2.fc42
3
file
5.
45
-9.fc42
5.
46
-1.fc42
4
at-spi2-core
2.55.
0
.1-2.fc42
2.55.
2
-1.fc42
4
qt6-srpm-macros
6.8.
1
-5.fc42
6.8.
2
-1.fc42
4
libblkid
2.40.4-
2
.fc42
2.40.4-
5
.fc42
4
cpp
15.0.1-0.
4
.fc42
15.0.1-0.
7
.fc42
4
annobin-plugin-gcc
12.
87
-1.fc42
12.
88
-1.fc42
4
gcc-plugin-annobin
15.0.1-0.
4
.fc42
15.0.1-0.
7
.fc42
4
libgomp
15.0.1-0.
4
.fc42
15.0.1-0.
7
.fc42
4
tree-sitter-srpm-macros
0.1.0-8.fc42
4
pyproject-srpm-macros
1.
16
.4-2.fc42
1.
17
.0-1.fc42
4
xkeyboard-config
2.
43
-2.fc42
2.
44
-1.fc42
4
util-linux
2.40.4-
2
.fc42
2.40.4-
5
.fc42
B
which
2.
22
-1.fc42
2.
23
-1.fc42
B
libfdisk
2.40.4-
2
.fc42
2.40.4-
5
.fc42
B
fedora-release-identity-basic
42-0.
16
42-0.
18
B
fedora-repos-rawhide
42-0.4
authselect
1.5.
0
-9.fc42
1.5.
1
-1.fc42
B
authselect-libs
1.5.
0
-9.fc42
1.5.
1
-1.fc42
B
annobin-docs
12.
87
-1.fc42
12.
88
-1.fc42
B
curl
8.11.1-
3
.fc42
8.11.1-
4
.fc42
B
file-libs
5.
45
-9.fc42
5.
46
-1.fc42
B
kernel-headers
6.
13
.0-62.fc42
6.
14
.0-0.rc1.15.fc42
B
fedora-release-common
42-0.
16
42-0.
18
B
libcurl
8.11.1-
3
.fc42
8.11.1-
4
.fc42
B
fedora-repos
42-0.
4
42-0.
5
B
libsmartcols
2.40.4-
2
.fc42
2.40.4-
5
.fc42
B
util-linux-core
2.40.4-
2
.fc42
2.40.4-
5
.fc42
B
libusb1
1.0.27-
8
.fc42
1.0.27-
9
.fc42
B
fedora-release
42-0.
16
42-0.
18
B
rpm-sequoia
1.7.0-
4
.fc42
1.7.0-
5
.fc42
B
fedora-gpg-keys
42-0.
4
42-0.
5
B
show 34 more
collapse
complete