Build details

Build information

State
complete
Name
coq
Epoch
None
Version
8.18.0
Release
10.fc41
Started
2024-08-02 08:24:23
Finished
2024-08-02 08:48:49
Koji repo
6297859

Koji tasks

complete
aarch64
├121385373 closed
ppc64le
├121385372 closed
x86_64
└121385371 closed

Build logs

aarch64
ppc64le
x86_64

Dependency changes from previous build

python3-devel
3.13.0~b4-3.fc41
3.13.0~rc1-1.fc41
1
libcurl
8.9.0-1.fc41
8.9.1-1.fc41
2
glibc
2.40-2.fc41
2.40-3.fc41
2
python3
3.13.0~b4-3.fc41
3.13.0~rc1-1.fc41
2
python3-libs
3.13.0~b4-3.fc41
3.13.0~rc1-1.fc41
2
rpm-libs
4.19.92-5.fc41
4.19.92-6.fc41
2
rpm-build
4.19.92-5.fc41
4.19.92-6.fc41
3
fontconfig
2.15.0-7.fc41
2.15.0-8.fc41
3
glibc-minimal-langpack
2.40-2.fc41
2.40-3.fc41
3
fontconfig-devel
2.15.0-7.fc41
2.15.0-8.fc41
3
libssh
0.10.6-6.fc41
0.10.6-8.fc41
3
glibc-devel
2.40-2.fc41
2.40-3.fc41
3
glibc-common
2.40-2.fc41
2.40-3.fc41
3
glibc-gconv-extra
2.40-2.fc41
2.40-3.fc41
3
rpm
4.19.92-5.fc41
4.19.92-6.fc41
3
libX11-devel
1.8.9-2.fc41
1.8.10-1.fc41
3
libX11
1.8.9-2.fc41
1.8.10-1.fc41
4
glibc-headers-x86
2.40-2.fc41
2.40-3.fc41
4
rpm-build-libs
4.19.92-5.fc41
4.19.92-6.fc41
4
libssh-config
0.10.6-6.fc41
0.10.6-8.fc41
4
libX11-xcb
1.8.9-2.fc41
1.8.10-1.fc41
4
curl
8.9.0-1.fc41
8.9.1-1.fc41
4
mesa-libGL
24.1.4-2.fc41
24.2.0~rc3-1.fc41
B
mesa-dri-drivers
24.2.0~rc3-1.fc41
B
mesa-libglapi
24.1.4-2.fc41
24.2.0~rc3-1.fc41
B
libX11-common
1.8.9-2.fc41
1.8.10-1.fc41
B
mesa-libgbm
24.1.4-2.fc41
24.2.0~rc3-1.fc41
B
mesa-libEGL
24.1.4-2.fc41
24.2.0~rc3-1.fc41
B
lm_sensors-libs
3.6.0-20.fc41
B
llvm-libs
18.1.8-2.fc41
B
mesa-filesystem
24.2.0~rc3-1.fc41
B
libwebp-devel
1.4.0-2.fc41
1.4.0-3.fc41
B
libwebp
1.4.0-2.fc41
1.4.0-3.fc41
B