Build details

Build information

State
failed
Name
coq
Epoch
None
Version
8.18.0
Release
10.fc41
Started
2024-11-29 20:22:23
Finished
2024-11-29 20:28:51
Koji repo
6534433

Koji tasks

failed
aarch64
├126374273 failed
ppc64le
├126374274 failed
x86_64
└126374272 failed

Build logs

aarch64
ppc64le
x86_64

Dependency changes from previous build

git-core
2.47.0-1.fc42
2.47.1-1.fc42
1
cairo-devel
1.18.0-4.fc41
1.18.2-1.fc42
2
binutils
2.43.50-8.fc42
2.43.50-9.fc42
3
go-srpm-macros
3.6.0-3.fc41
3.6.0-5.fc42
3
crypto-policies
20241106-1.git35892de....
20241128-1.gitbb7b0b0....
3
libselinux
3.7-6.fc42
3.7-7.fc42
3
cairo
1.18.0-4.fc41
1.18.2-1.fc42
3
cairo-gobject
1.18.0-4.fc41
1.18.2-1.fc42
4
libxcrypt-devel
4.4.36-10.fc42
4.4.36-11.fc42
4
systemd-libs
257~rc2-2.fc42
257~rc3-1.fc42
4
debugedit
5.1-1.fc42
5.1-2.fc42
4
cairo-gobject-devel
1.18.0-4.fc41
1.18.2-1.fc42
4
cups-libs
1:2.4.11-4.fc42
1:2.4.11-6.fc42
4
unzip
6.0-64.fc41
6.0-65.fc42
4
libselinux-devel
3.7-6.fc42
3.7-7.fc42
4
libsepol
3.7-3.fc42
3.7-4.fc42
4
libsemanage
3.7-3.fc42
3.7-4.fc42
B
libsepol-devel
3.7-3.fc42
3.7-4.fc42
B
libxcrypt
4.4.36-10.fc42
4.4.36-11.fc42
B
cups-filesystem
1:2.4.11-4.fc42
1:2.4.11-6.fc42
B
llvm-libs
19.1.3-3.fc42
19.1.4-2.fc42
B
libsoup3
3.6.0-1.fc42
3.6.1-1.fc42
B