Build details

Build information

State
complete
Name
coq
Epoch
None
Version
8.18.0
Release
4.fc40
Started
2024-09-03 02:11:13
Finished
2024-09-03 02:31:56
Koji repo
6390938

Koji tasks

complete
aarch64
├122870899 closed
x86_64
└122870900 closed

Build logs

aarch64
x86_64

Dependency changes from previous build

python3-devel
3.12.4-1.fc40
3.12.5-2.fc40
1
openssl-libs
1:3.2.1-2.fc40
1:3.2.2-3.fc40
2
python3-libs
3.12.4-1.fc40
3.12.5-2.fc40
2
less
643-4.fc40
643-6.fc40
2
python3
3.12.4-1.fc40
3.12.5-2.fc40
2
pkgconf-pkg-config
2.1.1-1.fc40
2.1.1-2.fc40
2
cups-libs
1:2.4.10-3.fc40
1:2.4.10-6.fc40
3
pkgconf
2.1.1-1.fc40
2.1.1-2.fc40
3
pkgconf-m4
2.1.1-1.fc40
2.1.1-2.fc40
3
libX11-devel
1.8.10-1.fc40
1.8.10-2.fc40
3
libX11-xcb
1.8.10-1.fc40
1.8.10-2.fc40
4
libpkgconf
2.1.1-1.fc40
2.1.1-2.fc40
4
libX11
1.8.10-1.fc40
1.8.10-2.fc40
4
mesa-libEGL
24.1.5-2.fc40
24.1.6-1.fc40
B
libX11-common
1.8.10-1.fc40
1.8.10-2.fc40
B
mesa-libGL
24.1.5-2.fc40
24.1.6-1.fc40
B
libdrm
2.4.122-1.fc40
2.4.123-1.fc40
B
mesa-libglapi
24.1.5-2.fc40
24.1.6-1.fc40
B
mesa-libgbm
24.1.5-2.fc40
24.1.6-1.fc40
B