Build details

Build information

State
complete
Name
coq
Epoch
None
Version
8.18.0
Release
10.fc41
Started
2024-07-27 05:32:45
Finished
2024-07-27 05:59:54
Koji repo
6283088

Koji tasks

complete
aarch64
├121116467 closed
ppc64le
├121116466 closed
x86_64
└121116465 closed

Build logs

aarch64
ppc64le
x86_64

Dependency changes from previous build

python3-devel
3.13.0~b4-1.fc41
3.13.0~b4-2.fc41
1
python3
3.13.0~b4-1.fc41
3.13.0~b4-2.fc41
2
glibc
2.39.9000-35.fc41
2.40-2.fc41
2
less
643-5.fc41
661-1.fc41
2
openssh-clients
9.6p1-1.fc41.14
9.8p1-2.fc41
2
pyproject-rpm-macros
1.13.0-2.fc41
1.14.0-1.fc41
2
libcurl
8.8.0-3.fc41
8.9.0-1.fc41
2
python3-libs
3.13.0~b4-1.fc41
3.13.0~b4-2.fc41
2
glib2
2.80.3-1.fc41
2.80.3-5.fc41
2
gnutls
3.8.6-4.fc41
3.8.6-7.fc41
3
openssh
9.6p1-1.fc41.14
9.8p1-2.fc41
3
openldap
2.6.8-4.fc41
2.6.8-5.fc41
3
glibc-minimal-langpack
2.39.9000-35.fc41
2.40-2.fc41
3
annobin-plugin-gcc
12.62-2.fc41
12.64-1.fc41
3
glibc-gconv-extra
2.39.9000-35.fc41
2.40-2.fc41
3
pyproject-srpm-macros
1.13.0-2.fc41
1.14.0-1.fc41
3
glibc-common
2.39.9000-35.fc41
2.40-2.fc41
3
binutils
2.42.50-20.fc41
2.42.90-1.fc41
3
glib2-devel
2.80.3-1.fc41
2.80.3-5.fc41
3
glibc-devel
2.39.9000-35.fc41
2.40-2.fc41
3
crypto-policies
20240717-2.git154fd4e....
20240725-2.git9555558....
3
curl
8.8.0-3.fc41
8.9.0-1.fc41
4
glibc-headers-x86
2.39.9000-35.fc41
2.40-2.fc41
4
diffutils
3.10-6.fc41
3.10-7.fc41
4
shadow-utils
2:4.15.1-5.fc41
2:4.15.1-9.fc41
4
annobin-docs
12.62-2.fc41
12.64-1.fc41
4
systemd-libs
256.3-2.fc41
256.4-1.fc41
4
libdrm
2.4.121-2.fc41
2.4.122-1.fc41
B
libtirpc
1.3.4-1.rc3.fc41.1
1.3.5-0.fc41
B
crypto-policies-scripts
20240717-2.git154fd4e....
20240725-2.git9555558....
B