Build details

Build information

State
complete
Name
zenon
Epoch
None
Version
0.8.5
Release
29.fc42
Started
2025-01-10 16:45:13
Finished
2025-01-10 16:53:24
Koji repo
6541974

Koji tasks

complete
aarch64
├127743677 closed
ppc64le
├127743678 closed
s390x
├127743679 closed
x86_64
└127743676 closed

Build logs

aarch64
ppc64le
x86_64

Dependency changes from previous build

coq
8.18.0-10.fc41
8.20.0-1.fc42
1
ocaml
5.2.0-3.fc41
5.3.0-1.fc42
1
ocaml-findlib
1.9.6-14.fc41
1.9.8-1.fc42
2
coq-core
8.18.0-10.fc41
8.20.0-1.fc42
2
ocaml-runtime
5.2.0-3.fc41
5.3.0-1.fc42
2
glibc
2.40.9000-26.fc42
2.40.9000-27.fc42
2
pyproject-srpm-macros
1.16.3-1.fc42
1.16.4-1.fc42
3
ocaml-compiler-libs
5.2.0-3.fc41
5.3.0-1.fc42
3
glibc-gconv-extra
2.40.9000-26.fc42
2.40.9000-27.fc42
3
cups-libs
1:2.4.11-8.fc42
1:2.4.11-9.fc42
3
glibc-devel
2.40.9000-26.fc42
2.40.9000-27.fc42
3
ocaml-zarith
1.14-2.fc41
1.14-4.fc42
3
glibc-common
2.40.9000-26.fc42
2.40.9000-27.fc42
3
graphviz-libs
12.2.1-1.fc42
12.2.1-2.fc42
3
pango
1.54.0-2.fc41
1.55.0-1.fc42
3
zlib-ng-compat
2.2.2-1.fc42
2.2.3-1.fc42
3
glibc-minimal-langpack
2.40.9000-26.fc42
2.40.9000-27.fc42
3
ocaml-zarith-devel
1.14-2.fc41
1.14-4.fc42
3
libselinux
3.8-0.rc3.1.fc42
3.8-0.rc3.1.fc42.1
4
openssl-libs
1:3.2.2-10.fc42
1:3.2.2-11.fc42
4
flexiblas-netlib
3.4.4-3.fc41
3.4.4-5.fc42
4
cups-filesystem
1:2.4.11-8.fc42
1:2.4.11-9.fc42
4
systemd-libs
257.1-1.fc42
257.2-1.fc42
4
audit-libs
4.0.2-1.fc41
4.0.3-1.fc42
4
ed
1.20.2-2.fc41
1.21-1.fc42
B
openldap
2.6.8-6.fc42
2.6.9-1.fc42
B
flexiblas
3.4.4-3.fc41
3.4.4-5.fc42
B
flexiblas-openblas-openmp
3.4.4-3.fc41
3.4.4-5.fc42
B