Build details

Build information

State
complete
Name
coq
Epoch
None
Version
8.20.1
Release
1.fc42
Started
2025-01-22 21:46:03
Finished
2025-01-22 22:09:42
Koji repo
6545242

Koji tasks

complete
aarch64
├128332981 closed
ppc64le
├128332982 closed
s390x
├128332983 closed
x86_64
└128332980 closed

Build logs

aarch64
ppc64le
x86_64

Dependency changes from previous build

glib2
2.83.2-2.fc42
2.83.2-3.fc42
2
rpm-libs
4.20.0-7.fc42
4.20.0-8.fc42
2
annobin-plugin-gcc
12.81-1.fc42
12.83-1.fc42
3
qt5-srpm-macros
5.15.16-2.fc42
5.15.15-1.fc42
3
rpm-build
4.20.0-7.fc42
4.20.0-8.fc42
3
systemd
257.2-14.fc42
3
rpm
4.20.0-7.fc42
4.20.0-8.fc42
3
glib2-devel
2.83.2-2.fc42
2.83.2-3.fc42
3
pango
1.56.0-1.fc42
1.56.1-1.fc42
3
pango-devel
1.56.0-1.fc42
1.56.1-1.fc42
4
annobin-docs
12.81-1.fc42
12.83-1.fc42
4
libseccomp
2.5.5-2.fc41
4
rpm-build-libs
4.20.0-7.fc42
4.20.0-8.fc42
4
systemd-pam
257.2-14.fc42
4
dbus-broker
36-5.fc42
B
dbus-common
1:1.16.0-3.fc42
B