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-03-12 23:30:55
Finished
2025-03-12 23:53:05
Koji repo
6560081
Koji tasks
complete
130195468
aarch64
├130195554
closed
ppc64le
├130195553
closed
x86_64
└130195552
closed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
gcc
15.0.1-0.
7
.fc42
15.0.1-0.
9
.fc42
2
libgcc
15.0.1-0.
7
.fc42
15.0.1-0.
9
.fc42
2
libuuid
2.40.4-
5
.fc42
2.40.4-
7
.fc42
2
util-linux
2.40.4-
5
.fc42
2.40.4-
7
.fc42
3
libgomp
15.0.1-0.
7
.fc42
15.0.1-0.
9
.fc42
3
libmount
2.40.4-
5
.fc42
2.40.4-
7
.fc42
3
gcc-plugin-annobin
15.0.1-0.
7
.fc42
15.0.1-0.
9
.fc42
3
cpp
15.0.1-0.
7
.fc42
15.0.1-0.
9
.fc42
3
libtasn1
4.
19
.0-11.fc42
4.
20
.0-1.fc42
4
libmount-devel
2.40.4-
5
.fc42
2.40.4-
7
.fc42
4
libquadmath
15.0.1-0.
7
.fc42
15.0.1-0.
9
.fc42
4
libstdc++
15.0.1-0.
7
.fc42
15.0.1-0.
9
.fc42
4
libsmartcols
2.40.4-
5
.fc42
2.40.4-
7
.fc42
4
cmake-filesystem
3.31.
5
-1.fc42
3.31.
6
-2.fc42
4
libblkid
2.40.4-
5
.fc42
2.40.4-
7
.fc42
4
libfdisk
2.40.4-
5
.fc42
2.40.4-
7
.fc42
4
libgfortran
15.0.1-0.
7
.fc42
15.0.1-0.
9
.fc42
4
util-linux-core
2.40.4-
5
.fc42
2.40.4-
7
.fc42
4
mesa-filesystem
24
.3.4-4.fc42
25
.0.1-3.fc42
B
mesa-libglapi
24.3.4-4.fc42
llvm-filesystem
19
.1.7-9.fc42
20
.1.0-1.fc42
B
libblkid-devel
2.40.4-
5
.fc42
2.40.4-
7
.fc42
B
mesa-libgbm
24
.3.4-4.fc42
25
.0.1-3.fc42
B
fedora-release
42-0.
18
42-0.
21
B
fedora-release-common
42-0.
18
42-0.
21
B
mesa-dri-drivers
24
.3.4-4.fc42
25
.0.1-3.fc42
B
fedora-release-identity-basic
42-0.
18
42-0.
21
B
llvm-libs
19
.1.7-9.fc42
20
.1.0-1.fc42
B
mesa-libEGL
24
.3.4-4.fc42
25
.0.1-3.fc42
B
mesa-libGL
24
.3.4-4.fc42
25
.0.1-3.fc42
B
show 20 more
collapse
complete