Koschei
Collections
Packages
Groups
Stats
Log in
Search
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
127743605
aarch64
├127743677
closed
ppc64le
├127743678
closed
s390x
├127743679
closed
x86_64
└127743676
closed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
s390x
build.log
|
root.log
x86_64
build.log
|
root.log
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
show 18 more
collapse