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-03-27 22:55:10
Finished
2025-03-28 00:12:03
Koji repo
6564340
Koji tasks
complete
130819441
aarch64
├130819550
closed
ppc64le
├130819549
closed
x86_64
└130819548
closed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
harfbuzz
10
.4.0-1.fc43
11
.0.0-1.fc43
2
gtk3
3.24.49-
1
.fc43
3.24.49-
2
.fc43
2
glibc
2.41.9000-
2
.fc43
2.41.9000-
6
.fc43
2
xz-libs
1:5.
6
.3-3.fc42
1:5.
8
.0-1.fc43
3
gtk-update-icon-cache
3.24.49-
1
.fc43
3.24.49-
2
.fc43
3
adwaita-icon-theme
48.0-
1
.fc43
48.0-
2
.fc43
3
crypto-policies
20250305
-1.gita35b0fa....
20250324
-1.git3714354....
3
glibc-common
2.41.9000-
2
.fc43
2.41.9000-
6
.fc43
3
mpfr
4.2.
1
-6.fc42
4.2.
2
-1.fc43
3
glibc-gconv-extra
2.41.9000-
2
.fc43
2.41.9000-
6
.fc43
3
glibc-minimal-langpack
2.41.9000-
2
.fc43
2.41.9000-
6
.fc43
3
libtinysparql
3.9.1-
1
.fc43
3.9.1-
2
.fc43
3
pyproject-srpm-macros
1.
17
.0-1.fc43
1.
18
.1-1.fc43
4
python-srpm-macros
3.13-
4
.fc42
3.13-
5
.fc43
4
go-srpm-macros
3.6.0-
6
.fc42
3.6.0-
7
.fc43
4
adwaita-cursor-theme
48.0-
1
.fc43
48.0-
2
.fc43
4
setup
2.15.0-
21
.fc43
2.15.0-
23
.fc43
4
libsoup3
3.6.
4
-2.fc42
3.6.
5
-1.fc43
4
openssl-libs
1:3.
2
.4-3.fc43
1:3.
5
.0-2.fc43
4
glibc-devel
2.41.9000-
2
.fc43
2.41.9000-
6
.fc43
4
fedora-release-identity-basic
43-0.
7
43-0.
8
B
diffutils
3.
10
-9.fc42
3.
11
-3.fc43
B
libcurl
8.13.0~
rc2
-1.fc43
8.13.0~
rc3
-1.fc43
B
fedora-release
43-0.
7
43-0.
8
B
curl
8.13.0~
rc2
-1.fc43
8.13.0~
rc3
-1.fc43
B
xz
1:5.
6
.3-3.fc42
1:5.
8
.0-1.fc43
B
fedora-release-common
43-0.
7
43-0.
8
B
libusb1
1.0.
27
-9.fc43
1.0.
28
-2.fc43
B
kernel-headers
6.14.0-
0
.rc7.56.fc43
6.14.0-
63
.fc43
B
show 19 more
collapse
complete