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-06 17:05:22
Finished
2025-03-06 18:16:07
Koji repo
6556636
Koji tasks
complete
129906266
aarch64
├129906388
closed
ppc64le
├129906387
closed
x86_64
└129906386
closed
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.
7
-1.fc42
2.7.
8
-1.fc43
1
libffi-devel
3.4.
6
-5.fc42
3.4.
7
-1.fc43
2
glib2
2.
83
.2-6.fc42
2.
84
.0-1.fc43
2
ghc-rpm-macros
2.7.
7
-1.fc42
2.7.
8
-1.fc43
2
libgccjit
15.0.1-0.
8
.fc43
15.0.1-0.
9
.fc43
2
libffi
3.4.
6
-5.fc42
3.4.
7
-1.fc43
2
gnutls
3.8.9-
4
.fc43
3.8.9-
5
.fc43
2
google-noto-sans-mono-vf-fonts
20250201
-1.fc43
20250301
-1.fc43
2
gcc
15.0.1-0.
8
.fc43
15.0.1-0.
9
.fc43
3
libtinysparql
3.
8
~rc-6.fc43
3.
9
~rc-1.fc43
3
libstdc++
15.0.1-0.
8
.fc43
15.0.1-0.
9
.fc43
3
at-spi2-atk
2.55.
2
-1.fc42
2.55.
90
-1.fc43
3
google-noto-fonts-common
20250201
-1.fc43
20250301
-1.fc43
3
libgcc
15.0.1-0.
8
.fc43
15.0.1-0.
9
.fc43
3
atk
2.55.
2
-1.fc42
2.55.
90
-1.fc43
3
cmake-filesystem
4.0.0~
rc2
-3.fc43
4.0.0~
rc3
-1.fc43
3
gcc-plugin-annobin
15.0.1-0.
8
.fc43
15.0.1-0.
9
.fc43
4
libgomp
15.0.1-0.
8
.fc43
15.0.1-0.
9
.fc43
4
annobin-plugin-gcc
12.
88
-1.fc42
12.
92
-1.fc43
4
setup
2.15.0-
12
.fc43
2.15.0-
13
.fc43
4
google-noto-sans-vf-fonts
20250201
-1.fc43
20250301
-1.fc43
4
tree-sitter-srpm-macros
0.1.0-
8
.fc42
0.1.0-
10
.fc43
4
at-spi2-core
2.55.
2
-1.fc42
2.55.
90
-1.fc43
4
cpp
15.0.1-0.
8
.fc43
15.0.1-0.
9
.fc43
4
annobin-docs
12.
88
-1.fc42
12.
92
-1.fc43
B
readline
8.2-
12
.fc42
8.2-
13
.fc43
B
lua-libs
5.4.7-
2
.fc42
5.4.7-
3
.fc43
B
kernel-headers
6.14.0-0.
rc4
.36.fc43
6.14.0-0.
rc5
.43.fc43
B
libnghttp2
1.
64
.0-3.fc42
1.
65
.0-1.fc43
B
show 19 more
collapse
complete