Build details

Build information

State
complete
Name
coq
Epoch
None
Version
8.18.0
Release
4.fc40
Started
2024-06-08 11:27:02
Finished
2024-06-08 11:57:27
Koji repo
6154672

Koji tasks

complete
aarch64
├118753185 closed
x86_64
└118753184 closed

Build logs

aarch64
x86_64

Dependency changes from previous build

git-core
2.45.1-1.fc40
2.45.2-2.fc40
1
adwaita-icon-theme
46.0-1.fc40
46.2-2.fc40
1
adwaita-icon-theme-legacy
46.2-1.fc40
2
adwaita-cursor-theme
46.0-1.fc40
46.2-2.fc40
2
libarchive
3.7.2-3.fc40
3.7.2-4.fc40
2
flexiblas-netlib
3.4.2-1.fc40
3.4.4-1.fc40
3
qt5-srpm-macros
5.15.13-1.fc40
5.15.14-1.fc40
3
nss
3.99.0-1.fc40
3.100.0-1.fc40
3
nss-util
3.99.0-1.fc40
3.100.0-1.fc40
4
nss-softokn
3.99.0-1.fc40
3.100.0-1.fc40
4
nspr
4.35.0-22.fc40
4.35.0-23.fc40
4
pam-libs
1.6.1-1.fc40
1.6.1-3.fc40
4
flexiblas
3.4.2-1.fc40
3.4.4-1.fc40
4
xorg-x11-proto-devel
2024.1-1.fc40
2024.1-2.fc40
4
flexiblas-openblas-openmp
3.4.2-1.fc40
3.4.4-1.fc40
4
nss-sysinit
3.99.0-1.fc40
3.100.0-1.fc40
4
pam
1.6.1-1.fc40
1.6.1-3.fc40
4
nss-softokn-freebl
3.99.0-1.fc40
3.100.0-1.fc40
B
hwdata
0.382-1.fc40
0.383-1.fc40
B
shadow-utils
2:4.15.1-2.fc40
2:4.15.1-3.fc40
B
libeconf
0.6.2-1.fc40
0.6.2-2.fc40
B
libdrm
2.4.120-3.fc40
2.4.121-1.fc40
B