Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
coq
Epoch
None
Version
8.18.0
Release
11.fc41
Started
2025-03-13 10:43:33
Finished
2025-03-13 11:06:57
Koji repo
6560181
Koji tasks
complete
130212984
aarch64
├130213065
closed
ppc64le
├130213064
closed
x86_64
└130213063
closed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
libzstd
1.5.
6
-2.fc41
1.5.
7
-1.fc41
2
libzstd-devel
1.5.
6
-2.fc41
1.5.
7
-1.fc41
2
glibc
2.40-
21
.fc41
2.40-
22
.fc41
2
zlib-ng-compat
2.2.3-
1
.fc41
2.2.3-
2
.fc41
2
glibc-common
2.40-
21
.fc41
2.40-
22
.fc41
3
zlib-ng-compat-devel
2.2.3-
1
.fc41
2.2.3-
2
.fc41
3
libidn2
2.3.
7
-2.fc41
2.3.
8
-1.fc41
3
glibc-gconv-extra
2.40-
21
.fc41
2.40-
22
.fc41
3
glibc-minimal-langpack
2.40-
21
.fc41
2.40-
22
.fc41
3
nss
3.
108
.0-1.fc41
3.
109
.0-1.fc41
3
lua-libs
5.4.
6
-6.fc41
5.4.
7
-3.fc41
3
glibc-devel
2.40-
21
.fc41
2.40-
22
.fc41
3
kernel-headers
6.
12
.4-200.fc41
6.
13
.3-200.fc41
4
nss-softokn
3.
108
.0-1.fc41
3.
109
.0-1.fc41
4
elfutils-debuginfod-client
0.192-
7
.fc41
0.192-
9
.fc41
4
nspr
4.36.0-
3
.fc41
4.36.0-
4
.fc41
4
elfutils
0.192-
7
.fc41
0.192-
9
.fc41
4
nss-util
3.
108
.0-1.fc41
3.
109
.0-1.fc41
4
systemd-libs
256.
11
-1.fc41
256.
12
-1.fc41
4
elfutils-libelf
0.192-
7
.fc41
0.192-
9
.fc41
4
cmake-filesystem
3.30.
7
-1.fc41
3.30.
8
-1.fc41
4
zstd
1.5.
6
-2.fc41
1.5.
7
-1.fc41
4
gdb-minimal
15
.2-4.fc41
16
.2-1.fc41
4
nss-sysinit
3.
108
.0-1.fc41
3.
109
.0-1.fc41
4
fedora-release-common
41-
29
41-
31
B
mesa-dri-drivers
24
.3.4-3.fc41
25
.0.1-2.fc41
B
mesa-libEGL
24
.3.4-3.fc41
25
.0.1-2.fc41
B
elfutils-default-yama-scope
0.192-
7
.fc41
0.192-
9
.fc41
B
fedora-release-identity-basic
41-
29
41-
31
B
mesa-libglapi
24.3.4-3.fc41
hwdata
0.
392
-1.fc41
0.
393
-1.fc41
B
mesa-libGL
24
.3.4-3.fc41
25
.0.1-2.fc41
B
fedora-release
41-
29
41-
31
B
llvm-libs
19.1.7-
2
.fc41
19.1.7-
3
.fc41
B
mesa-libgbm
24
.3.4-3.fc41
25
.0.1-2.fc41
B
mesa-filesystem
24
.3.4-3.fc41
25
.0.1-2.fc41
B
elfutils-libs
0.192-
7
.fc41
0.192-
9
.fc41
B
nss-softokn-freebl
3.
108
.0-1.fc41
3.
109
.0-1.fc41
B
show 28 more
collapse
complete