Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
coq
Epoch
None
Version
8.18.0
Release
4.fc40
Started
2024-08-13 08:26:33
Finished
2024-08-13 08:44:57
Koji repo
6324363
Koji tasks
complete
121885443
aarch64
├121885508
closed
x86_64
└121885507
closed
Build logs
aarch64
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
git-core
2.
45
.2-2.fc40
2.
46
.0-1.fc40
1
forge-srpm-macros
0.3.
1
-1.fc40
0.3.
2
-1.fc40
3
nss
3.
101
.0-1.fc40
3.
103
.0-1.fc40
3
libedit
3.1-
51
.20240517cv...
3.1-
53
.20240808cv...
3
libwayland-client
1.
22
.0-3.fc40
1.
23
.0-2.fc40
4
nss-util
3.
101
.0-1.fc40
3.
103
.0-1.fc40
4
nss-softokn
3.
101
.0-1.fc40
3.
103
.0-1.fc40
4
libwayland-egl
1.
22
.0-3.fc40
1.
23
.0-2.fc40
4
systemd-libs
255.10-
1
.fc40
255.10-
3
.fc40
4
kernel-headers
6.
9
.4-200.fc40
6.
10
.3-200.fc40
4
audit-libs
4.0.
1
-1.fc40
4.0.
2
-1.fc40
4
libwayland-cursor
1.
22
.0-3.fc40
1.
23
.0-2.fc40
4
wayland-devel
1.
22
.0-3.fc40
1.
23
.0-2.fc40
4
nss-sysinit
3.
101
.0-1.fc40
3.
103
.0-1.fc40
4
nspr
4.35.0-
24
.fc40
4.35.0-
28
.fc40
4
gettext
0.22.5-
2
.fc40
0.22.5-
4
.fc40
4
libtextstyle
0.22.5-4.fc40
B
nss-softokn-freebl
3.
101
.0-1.fc40
3.
103
.0-1.fc40
B
hwdata
0.
383
-1.fc40
0.
385
-1.fc40
B
gettext-envsubst
0.22.5-
2
.fc40
0.22.5-
4
.fc40
B
gettext-runtime
0.22.5-
2
.fc40
0.22.5-
4
.fc40
B
gettext-libs
0.22.5-
2
.fc40
0.22.5-
4
.fc40
B
libwayland-server
1.
22
.0-3.fc40
1.
23
.0-2.fc40
B
show 13 more
collapse
