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
aarch64
├118636010 closed
ppc64le
├118636009 closed
x86_64
└118636008 closed

Build logs

aarch64
ppc64le
x86_64

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