Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
coq
Epoch
None
Version
8.20.1
Release
1.fc42
Started
2025-04-26 15:25:11
Finished
2025-04-26 15:47:29
Koji repo
6571204
Koji tasks
complete
132000237
aarch64
├132000285
closed
ppc64le
├132000286
closed
x86_64
└132000287
closed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
python3-devel
3.13.3-
1
.fc43
3.13.3-
2
.fc43
1
gcc
15.
0
.1-0.14.fc43
15.
1
.1-1.fc43
2
libgcc
15.
0
.1-0.14.fc43
15.
1
.1-1.fc43
2
redhat-rpm-config
343-
3
.fc43
343-
4
.fc43
2
glibc
2.41.9000-
10
.fc43
2.41.9000-
11
.fc43
2
python3-libs
3.13.3-
1
.fc43
3.13.3-
2
.fc43
2
python3
3.13.3-
1
.fc43
3.13.3-
2
.fc43
2
libgomp
15.
0
.1-0.14.fc43
15.
1
.1-1.fc43
3
nss
3.
109
.0-1.fc43
3.
110
.0-2.fc43
3
gcc-plugin-annobin
15.
0
.1-0.14.fc43
15.
1
.1-1.fc43
3
glibc-devel
2.41.9000-
10
.fc43
2.41.9000-
11
.fc43
3
tree-sitter-srpm-macros
0.2.
2
-1.fc43
0.2.
4
-1.fc43
3
glibc-minimal-langpack
2.41.9000-
10
.fc43
2.41.9000-
11
.fc43
3
cpp
15.
0
.1-0.14.fc43
15.
1
.1-1.fc43
3
libstdc++
15.
0
.1-0.14.fc43
15.
1
.1-1.fc43
3
glibc-common
2.41.9000-
10
.fc43
2.41.9000-
11
.fc43
3
glibc-gconv-extra
2.41.9000-
10
.fc43
2.41.9000-
11
.fc43
3
libquadmath
15.
0
.1-0.14.fc43
15.
1
.1-1.fc43
4
libgfortran
15.
0
.1-0.14.fc43
15.
1
.1-1.fc43
4
libtinysparql
3.9.
1
-2.fc43
3.9.
2
-1.fc43
4
nss-sysinit
3.
109
.0-1.fc43
3.
110
.0-2.fc43
4
nspr
4.36.0-
5
.fc43
4.36.0-
7
.fc43
4
nss-util
3.
109
.0-1.fc43
3.
110
.0-2.fc43
4
nss-softokn
3.
109
.0-1.fc43
3.
110
.0-2.fc43
4
gdb-minimal
16.
2
-3.fc43
16.
3
-1.fc43
4
fedora-release-identity-basic
43-0.
13
43-0.
15
B
mesa-dri-drivers
25.
0
.2-2.fc43
25.
1
.0~rc2-3.fc43
B
fedora-release-common
43-0.
13
43-0.
15
B
llvm-filesystem
20.1.
2
-3.fc43
20.1.
3
-1.fc43
B
nss-softokn-freebl
3.
109
.0-1.fc43
3.
110
.0-2.fc43
B
libgpg-error
1.
54
-1.fc43
1.
55
-1.fc43
B
mesa-filesystem
25.
0
.2-2.fc43
25.
1
.0~rc2-3.fc43
B
mesa-libEGL
25.
0
.2-2.fc43
25.
1
.0~rc2-3.fc43
B
llvm-libs
20.1.
2
-3.fc43
20.1.
3
-1.fc43
B
mesa-libGL
25.
0
.2-2.fc43
25.
1
.0~rc2-3.fc43
B
fedora-release
43-0.
13
43-0.
15
B
mesa-libgbm
25.
0
.2-2.fc43
25.
1
.0~rc2-3.fc43
B
show 27 more
collapse
complete