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-07-28 19:32:19
Finished
2024-07-28 19:51:09
Koji repo
6284189
Koji tasks
complete
121163450
aarch64
├121163531
closed
x86_64
└121163530
closed
Build logs
aarch64
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
java-21-openjdk-headless
1:21.0.
3
.0.9-1.fc40
1:21.0.
4
.0.7-2.fc40
2
emacs-filesystem
1:29.4-
5
.fc40
1:29.4-
9
.fc40
2
redhat-rpm-config
286
-1.fc40
288
-1.fc40
2
qt5-srpm-macros
5.15.14-
1
.fc40
5.15.14-
2
.fc40
3
gtk3-devel
3.24.
42
-2.fc40
3.24.
43
-1.fc40
3
coreutils
9.4-
6
.fc40
9.4-
7
.fc40
3
qt6-srpm-macros
6.7.2-
1
.fc40
6.7.2-
2
.fc40
3
gtk3
3.24.
42
-2.fc40
3.24.
43
-1.fc40
3
libtirpc
1.3.
4
-1.rc3.fc40
1.3.
5
-0.fc40
3
cups-libs
1:2.4.10-
1
.fc40
1:2.4.10-
3
.fc40
3
rpm-sequoia
1.
6
.0-3.fc40
1.
7
.0-1.fc40
3
harfbuzz-devel
8.
4
.0-1.fc40
8.
5
.0-1.fc40
4
gtk-update-icon-cache
3.24.
42
-2.fc40
3.24.
43
-1.fc40
4
coreutils-common
9.4-
6
.fc40
9.4-
7
.fc40
4
systemd-libs
255.
8
-1.fc40
255.
10
-1.fc40
4
harfbuzz
8.
4
.0-1.fc40
8.
5
.0-1.fc40
4
mesa-libglapi
24.1.
2
-8.fc40
24.1.
4
-3.fc40
B
libdrm
2.4.
121
-1.fc40
2.4.
122
-1.fc40
B
mesa-libgbm
24.1.
2
-8.fc40
24.1.
4
-3.fc40
B
mesa-libGL
24.1.
2
-8.fc40
24.1.
4
-3.fc40
B
harfbuzz-icu
8.
4
.0-1.fc40
8.
5
.0-1.fc40
B
mesa-libEGL
24.1.
2
-8.fc40
24.1.
4
-3.fc40
B
show 12 more
collapse