Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
coq
Epoch
None
Version
8.18.0
Release
5.fc41
Started
2024-06-06 03:50:38
Finished
2024-06-06 04:23:09
Koji repo
6147232
Koji tasks
complete
118635949
aarch64
├118636010
closed
ppc64le
├118636009
closed
x86_64
└118636008
closed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
git-core
2.45.
1
-1.fc41
2.45.
2
-1.fc41
1
libappstream-glib
0.8.
2
-6.fc40
0.8.
3
-1.fc41
1
zlib-ng-compat
2.1.6-
4
.fc41
2.1.6-
6
.fc41
2
openssl-libs
1:3.2.1-
6
.fc41
1:3.2.1-
10
.fc41
2
rpm-libs
4.19.91-
6
.fc41
4.19.91-
8
.fc41
2
pyproject-rpm-macros
1.12.
0
-1.fc40
1.12.
1
-1.fc41
2
cups-libs
1:2.4.8-
4
.fc41
1:2.4.8-
5
.fc41
3
rpm-build
4.19.91-
6
.fc41
4.19.91-
8
.fc41
3
pyproject-srpm-macros
1.12.
0
-1.fc40
1.12.
1
-1.fc41
3
findutils
1:4.
9
.0-8.fc40
1:4.
10
.0-2.fc41
3
coreutils
9.5-
1
.fc41
9.5-
2
.fc41
3
sqlite-libs
3.
45
.3-1.fc41
3.
46
.0-1.fc41
3
rpm
4.19.91-
6
.fc41
4.19.91-
8
.fc41
3
zlib-ng-compat-devel
2.1.6-
4
.fc41
2.1.6-
6
.fc41
3
kernel-headers
6.10.0-0.
rc1
.17.fc41
6.10.0-0.
rc2
.24.fc41
4
fribidi
1.0.14-
1
.fc41
1.0.14-
2
.fc41
4
rpm-build-libs
4.19.91-
6
.fc41
4.19.91-
8
.fc41
4
coreutils-common
9.5-
1
.fc41
9.5-
2
.fc41
4
systemd-libs
256~rc3-
3
.fc41
256~rc3-
4
.fc41
4
fribidi-devel
1.0.14-
1
.fc41
1.0.14-
2
.fc41
4
libtool-ltdl
2.4.7-
10
.fc40
2.4.7-
11
.fc41
4
cmake-filesystem
3.28.3-
4
.fc41
3.28.3-
5
.fc41
4
mesa-libgbm
24.1.
0
-1.fc41
24.1.
1
-1.fc41
B
mesa-libGL
24.1.
0
-1.fc41
24.1.
1
-1.fc41
B
libdrm
2.4.
120
-3.fc40
2.4.
121
-1.fc41
B
mesa-libglapi
24.1.
0
-1.fc41
24.1.
1
-1.fc41
B
mesa-libEGL
24.1.
0
-1.fc41
24.1.
1
-1.fc41
B
show 17 more
collapse