Build details

Build information

State
complete
Name
coq
Epoch
None
Version
8.18.0
Release
10.fc41
Started
2024-09-03 21:18:39
Finished
2024-09-03 21:44:25
Koji repo
6394159

Koji tasks

complete
aarch64
├122908304 closed
ppc64le
├122908306 closed
x86_64
└122908305 closed

Build logs

aarch64
ppc64le
x86_64

Dependency changes from previous build

openssh-clients
9.8p1-3.fc41
9.8p1-4.fc42
2
json-glib
1.9.2-2.fc41
1.10.0-1.fc42
2
libuuid
2.40.2-6.fc42
2.40.2-8.fc42
2
rpm-libs
4.19.92-6.fc41
4.19.93-1.fc42
2
bash
5.2.32-1.fc41
5.2.32-2.fc42
2
rpm-build
4.19.92-6.fc41
4.19.93-1.fc42
3
util-linux
2.40.2-6.fc42
2.40.2-8.fc42
3
libmount
2.40.2-6.fc42
2.40.2-8.fc42
3
readline
8.2-10.fc41
8.2-11.fc42
3
rpm
4.19.92-6.fc41
4.19.93-1.fc42
3
openssh
9.8p1-3.fc41
9.8p1-4.fc42
3
atk-devel
2.53.1-2.fc42
2.53.90-1.fc42
4
util-linux-core
2.40.2-6.fc42
2.40.2-8.fc42
4
libsmartcols
2.40.2-6.fc42
2.40.2-8.fc42
4
at-spi2-atk-devel
2.53.1-2.fc42
2.53.90-1.fc42
4
kernel-headers
6.11.0-0.rc5.43.fc42
6.11.0-0.rc6.49.fc42
4
libmount-devel
2.40.2-6.fc42
2.40.2-8.fc42
4
rpm-build-libs
4.19.92-6.fc41
4.19.93-1.fc42
4
libblkid
2.40.2-6.fc42
2.40.2-8.fc42
4
at-spi2-atk
2.53.1-2.fc42
2.53.90-1.fc42
4
atk
2.53.1-2.fc42
2.53.90-1.fc42
4
libfdisk
2.40.2-6.fc42
2.40.2-8.fc42
4
libblkid-devel
2.40.2-6.fc42
2.40.2-8.fc42
B
google-noto-sans-vf-fonts
20240701-2.fc41
20240901-1.fc42
B
libutempter
1.2.1-15.fc41
at-spi2-core
2.53.1-2.fc42
2.53.90-1.fc42
B
at-spi2-core-devel
2.53.1-2.fc42
2.53.90-1.fc42
B
hwdata
0.385-1.fc41
0.386-1.fc42
B
google-noto-fonts-common
20240701-2.fc41
20240901-1.fc42
B