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
aarch64
├121163531 closed
x86_64
└121163530 closed

Build logs

aarch64
x86_64

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