Build details

Build information

State
complete
Name
coq
Epoch
None
Version
8.20.1
Release
1.fc42
Started
2025-04-21 07:09:43
Finished
2025-04-21 07:34:52
Koji repo
6569582

Koji tasks

complete
aarch64
├131798136 closed
ppc64le
├131798135 closed
x86_64
└131798134 closed

Build logs

aarch64
ppc64le
x86_64

Dependency changes from previous build

ocaml-dune
3.18.0-1.fc43
3.18.1-1.fc43
1
java-21-openjdk
1:21.0.6.0.7-7.fc43
1:21.0.7.0.6-1.fc43
1
openssh-clients
9.9p1-14.fc43
9.9p1-15.fc43
2
gcc
15.0.1-0.12.fc43
15.0.1-0.14.fc43
2
java-21-openjdk-headless
1:21.0.6.0.7-7.fc43
1:21.0.7.0.6-1.fc43
2
libgcc
15.0.1-0.12.fc43
15.0.1-0.14.fc43
2
rpm-libs
5.99.90-2.fc43
5.99.90-3.fc43
2
libgomp
15.0.1-0.12.fc43
15.0.1-0.14.fc43
3
crypto-policies
20250402-1.git86c0178....
20250402-2.git86c0178....
3
rpm-build
5.99.90-2.fc43
5.99.90-3.fc43
3
rpm
5.99.90-2.fc43
5.99.90-3.fc43
3
gcc-plugin-annobin
15.0.1-0.12.fc43
15.0.1-0.14.fc43
3
libstdc++
15.0.1-0.12.fc43
15.0.1-0.14.fc43
3
cpp
15.0.1-0.12.fc43
15.0.1-0.14.fc43
3
openssh
9.9p1-14.fc43
9.9p1-15.fc43
3
harfbuzz-devel
11.0.1-2.fc43
11.1.0-1.fc43
4
harfbuzz
11.0.1-2.fc43
11.1.0-1.fc43
4
rpm-build-libs
5.99.90-2.fc43
5.99.90-3.fc43
4
libquadmath
15.0.1-0.12.fc43
15.0.1-0.14.fc43
4
google-noto-sans-vf-fonts
20250301-1.fc43
20250401-1.fc43
4
libgfortran
15.0.1-0.12.fc43
15.0.1-0.14.fc43
4
libgpg-error
1.53-1.fc43
1.54-1.fc43
B
harfbuzz-cairo
11.0.1-2.fc43
11.1.0-1.fc43
B
rpm-sign-libs
5.99.90-2.fc43
5.99.90-3.fc43
B
harfbuzz-icu
11.0.1-2.fc43
11.1.0-1.fc43
B
google-noto-fonts-common
20250301-1.fc43
20250401-1.fc43
B