Build details

Build information

State
complete
Name
coq
Epoch
None
Version
8.18.0
Release
1.fc39
Started
2024-10-20 01:31:47
Finished
2024-10-20 01:57:07
Koji repo
6525945

Koji tasks

complete
aarch64
├125002780 closed
x86_64
└125002779 closed

Build logs

aarch64
x86_64

Dependency changes from previous build

python3-devel
3.12.6-1.fc39
3.12.7-1.fc39
1
git-core
2.46.1-1.fc39
2.46.2-1.fc39
1
xxhash-libs
0.8.2-1.fc39
0.8.2-4.fc39
2
python3
3.12.6-1.fc39
3.12.7-1.fc39
2
python3-libs
3.12.6-1.fc39
3.12.7-1.fc39
2
pyproject-rpm-macros
1.13.0-1.fc39
1.15.1-1.fc39
2
cups-libs
1:2.4.10-6.fc39
1:2.4.10-7.fc39
3
pyproject-srpm-macros
1.13.0-1.fc39
1.15.1-1.fc39
3
ca-certificates
2023.2.60_v7.0.306-2.fc39
2024.2.69_v8.0.401-1.0.fc39
3
lksctp-tools
1.0.19-4.fc39
1.0.20-1.fc39
3
coreutils
9.3-6.fc39
9.3-7.fc39
3
nss
3.103.0-1.fc39
3.104.0-1.fc39
3
kernel-headers
6.10.3-200.fc39
6.11.3-100.fc39
4
nss-util
3.103.0-1.fc39
3.104.0-1.fc39
4
nss-softokn
3.103.0-1.fc39
3.104.0-1.fc39
4
nss-sysinit
3.103.0-1.fc39
3.104.0-1.fc39
4
nspr
4.35.0-22.fc39
4.35.0-23.fc39
4
coreutils-common
9.3-6.fc39
9.3-7.fc39
4
systemd-libs
254.16-1.fc39
254.18-1.fc39
4
nss-softokn-freebl
3.103.0-1.fc39
3.104.0-1.fc39
B
hwdata
0.387-1.fc39
0.388-1.fc39
B