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-20 15:13:18
Finished
2025-03-20 16:15:42
Koji repo
6562468
Koji tasks
complete
130530864
aarch64
├130530975
closed
ppc64le
├130530974
closed
x86_64
└130530973
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
.8-1.fc43
2.
8
.0-1.fc43
1
emacs
1:30.1-
10
.fc43
1:30.1-
13
.fc43
1
pango
1.56.
2
-1.fc43
1.56.
3
-1.fc43
2
emacs-common
1:30.1-
10
.fc43
1:30.1-
13
.fc43
2
ghc-rpm-macros
2.
7
.8-1.fc43
2.
8
.0-1.fc43
2
libtinysparql
3.9
~
rc-1.fc43
3.9
.
1-1.fc43
3
atk
2.
55
.90-1.fc43
2.
56
.0-1.fc43
3
emacsclient
1:30.1-
10
.fc43
1:30.1-
13
.fc43
3
cmake-filesystem
4
.0.0~rc4-1.fc43
3
.31.6-2.fc43
3
libxkbcommon
1.8.
0
-1.fc43
1.8.
1
-1.fc43
3
adwaita-icon-theme
48
~
beta-1.fc43
48
.
0-1.fc43
3
at-spi2-atk
2.
55
.90-1.fc43
2.
56
.0-1.fc43
3
qt5-srpm-macros
5.15.
15
-1.fc42
5.15.
16
-1.fc43
4
at-spi2-core
2.
55
.90-1.fc43
2.
56
.0-1.fc43
4
setup
2.15.0-
14
.fc43
2.15.0-
21
.fc43
4
annobin-plugin-gcc
12.
92
-1.fc43
12.
93
-1.fc43
4
adwaita-cursor-theme
48
~
beta-1.fc43
48
.
0-1.fc43
4
libcurl
8.13.0~
rc1
-2.fc43
8.13.0~
rc2
-1.fc43
B
shadow-utils
2:4.17.
0
-4.fc42
2:4.17.
4
-1.fc43
B
annobin-docs
12.
92
-1.fc43
12.
93
-1.fc43
B
kernel-headers
6.14.0-0.
rc6
.49.fc43
6.14.0-0.
rc7
.56.fc43
B
libusb1
1.0.27-
8
.fc42
1.0.27-
9
.fc43
B
curl
8.13.0~
rc1
-2.fc43
8.13.0~
rc2
-1.fc43
B
show 13 more
collapse
