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-04-03 18:51:46
Finished
2025-04-03 19:53:07
Koji repo
6565862
Koji tasks
complete
131067720
aarch64
├131067804
closed
ppc64le
├131067801
closed
x86_64
└131067799
closed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
gmp-devel
1:6.3.0-
2
.fc41
1:6.3.0-
4
.fc42
2
gtk3
3.24.49-
1
.fc42
3.24.49-
2
.fc42
2
librsvg2
2.
59
.2-2.fc42
2.
60
.0-1.fc42
2
gmp
1:6.3.0-
2
.fc41
1:6.3.0-
4
.fc42
2
gnutls
3.8.9-
2
.fc42
3.8.9-
3
.fc42
2
libgccjit
15.0.1-0.
9
.fc42
15.0.1-0.
11
.fc42
2
libdav1d
1.5.1-1.fc42
3
libgcc
15.0.1-0.
9
.fc42
15.0.1-0.
11
.fc42
3
gcc
15.0.1-0.
9
.fc42
15.0.1-0.
11
.fc42
3
rsvg-pixbuf-loader
2.
59
.2-2.fc42
2.
60
.0-1.fc42
3
gmp-c++
1:6.3.0-
2
.fc41
1:6.3.0-
4
.fc42
3
libstdc++
15.0.1-0.
9
.fc42
15.0.1-0.
11
.fc42
3
gtk-update-icon-cache
3.24.49-
1
.fc42
3.24.49-
2
.fc42
3
gcc-plugin-annobin
15.0.1-0.
9
.fc42
15.0.1-0.
11
.fc42
4
libgomp
15.0.1-0.
9
.fc42
15.0.1-0.
11
.fc42
4
cpp
15.0.1-0.
9
.fc42
15.0.1-0.
11
.fc42
4
pyproject-srpm-macros
1.
17
.0-1.fc42
1.
18
.1-1.fc42
4
libsoup3
3.6.
4
-2.fc42
3.6.
5
-1.fc42
4
gdb-minimal
16.2-
2
.fc42
16.2-
3
.fc42
B
cpio
2.15-
2
.fc41
2.15-
4
.fc42
B
shadow-utils
2:4.17.
0
-4.fc42
2:4.17.
4
-1.fc42
B
fedora-gpg-keys
42-
0
.5
42-
1
B
libusb1
1.0.
27
-9.fc42
1.0.
28
-2.fc42
B
fedora-repos
42-
0
.5
42-
1
B
show 14 more
collapse