Build details

Build information

State
complete
Name
coq
Epoch
None
Version
8.18.0
Release
10.fc41
Started
2024-09-12 19:21:57
Finished
2024-09-12 19:47:53
Koji repo
6424322

Koji tasks

complete
aarch64
├123316312 closed
ppc64le
├123316315 closed
x86_64
└123316313 closed

Build logs

aarch64
ppc64le
x86_64

Dependency changes from previous build

python3-devel
3.13.0~rc1-3.fc42
3.13.0~rc2-1.fc42
1
zlib-ng-compat
2.1.7-2.fc41
2.1.7-3.fc42
2
openssl-libs
1:3.2.2-5.fc41
1:3.2.2-8.fc42
2
python3
3.13.0~rc1-3.fc42
3.13.0~rc2-1.fc42
2
rpm-libs
4.19.93-1.fc42
4.19.94-1.fc42
2
libcurl
8.9.1-3.fc42
8.10.0-1.fc42
2
python3-libs
3.13.0~rc1-3.fc42
3.13.0~rc2-1.fc42
2
zlib-ng-compat-devel
2.1.7-2.fc41
2.1.7-3.fc42
3
rpm
4.19.93-1.fc42
4.19.94-1.fc42
3
libselinux
3.7-5.fc41
3.7-6.fc42
3
rpm-build
4.19.93-1.fc42
4.19.94-1.fc42
3
libselinux-devel
3.7-5.fc41
3.7-6.fc42
4
kernel-headers
6.11.0-0.rc6.49.fc42
6.11.0-0.rc7.56.fc42
4
shadow-utils
2:4.15.1-9.fc41
2:4.16.0-2.fc42
4
curl
8.9.1-3.fc42
8.10.0-1.fc42
4
libsepol
3.7-2.fc41
3.7-3.fc42
4
rpm-build-libs
4.19.93-1.fc42
4.19.94-1.fc42
4
gdb-minimal
15.1-1.fc41
15.1-2.fc42
4
libsemanage
3.7-2.fc41
3.7-3.fc42
B
libsepol-devel
3.7-2.fc41
3.7-3.fc42
B
info
7.1-3.fc41
7.1.1-1.fc42
B