Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
failed
Name
Agda
Epoch
None
Version
2.6.4.1
Release
46.fc40
Started
2025-01-20 10:13:55
Finished
2025-01-20 11:12:42
Koji repo
6544263
Koji tasks
failed
128204755
aarch64
├128204842
failed
ppc64le
├128204840
failed
x86_64
└128204841
failed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
ghc-rpm-macros-extra
2.7.
0
-1.fc40
2.7.
5
-1.fc40
1
webkit2gtk4.1
2.46.
4
-1.fc40
2.46.
5
-1.fc40
2
glibc
2.39-
32
.fc40
2.39-
33
.fc40
2
systemd-libs
255.
15
-1.fc40
255.
16
-1.fc40
2
libxml2
2.12.
8
-1.fc40
2.12.
9
-1.fc40
2
libwebp
1.
3
.2-5.fc40
1.
5
.0-1.fc40
2
javascriptcoregtk4.1
2.46.
4
-1.fc40
2.46.
5
-1.fc40
2
ghc-rpm-macros
2.7.
0
-1.fc40
2.7.
5
-1.fc40
2
cups-libs
1:2.4.11-
8
.fc40
1:2.4.11-
9
.fc40
3
gstreamer1
1.24.
10
-1.fc40
1.24.
11
-1.fc40
3
gstreamer1-plugins-bad-free-libs
1.24.
10
-1.fc40
1.24.
11
-1.fc40
3
glibc-minimal-langpack
2.39-
32
.fc40
2.39-
33
.fc40
3
glibc-gconv-extra
2.39-
32
.fc40
2.39-
33
.fc40
3
glibc-common
2.39-
32
.fc40
2.39-
33
.fc40
3
gstreamer1-plugins-base
1.24.
10
-1.fc40
1.24.
11
-1.fc40
3
glibc-devel
2.39-
32
.fc40
2.39-
33
.fc40
4
svt-av1-libs
2.1.0-
1
.fc40
2.1.0-
4
.fc40
4
forge-srpm-macros
0.
3
.2-1.fc40
0.
4
.0-1.fc40
4
pyproject-srpm-macros
1.16.
3
-1.fc40
1.16.
4
-1.fc40
4
cups-filesystem
1:2.4.11-
8
.fc40
1:2.4.11-
9
.fc40
4
xxhash-libs
0.8.
2
-4.fc40
0.8.
3
-1.fc40
B
tzdata
2024a
-5.fc40
2024b
-1.fc40
B
libtirpc
1.3.6-1.
fc40
1.3.6-1.
rc3
.fc40
B
libxcrypt
4.4.
36
-12.fc40
4.4.
38
-3.fc40
B
libusb1
1.0.27-
4
.fc40
1.0.27-
6
.fc40
B
libxcrypt-devel
4.4.
36
-12.fc40
4.4.
38
-3.fc40
B
hwdata
0.
390
-1.fc40
0.
391
-1.fc40
B
gdb-minimal
15.2-
3
.fc40
15.2-
4
.fc40
B
show 18 more
collapse
failed