Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
frama-c
Epoch
None
Version
30.0
Release
9.fc43
Started
2025-04-18 22:05:34
Finished
2025-04-18 22:24:48
Koji repo
6569206
Koji tasks
complete
131693665
aarch64
├131693803
closed
ppc64le
├131693802
closed
x86_64
└131693801
closed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
ocaml-dune
3.18.
0
-1.fc43
3.18.
1
-1.fc43
1
ocaml-dune-configurator-devel
3.18.
0
-1.fc43
3.18.
1
-1.fc43
1
ocaml-dune-site-devel
3.18.
0
-1.fc43
3.18.
1
-1.fc43
1
graphviz
12.2.1-
5
.fc43
12.2.1-
6
.fc43
1
ocaml-dune-private-libs-devel
3.18.
0
-1.fc43
3.18.
1
-1.fc43
2
harfbuzz
11.
0
.1-2.fc43
11.
1
.0-1.fc43
2
ocaml-stdune-devel
3.18.
0
-1.fc43
3.18.
1
-1.fc43
2
graphviz-libs
12.2.1-
5
.fc43
12.2.1-
6
.fc43
2
ocaml-dune-site
3.18.
0
-1.fc43
3.18.
1
-1.fc43
2
ocaml-dune-private-libs
3.18.
0
-1.fc43
3.18.
1
-1.fc43
2
rpm-libs
4
.20.1-3.fc43
5
.99.90-3.fc43
2
ocaml-dune-configurator
3.18.
0
-1.fc43
3.18.
1
-1.fc43
2
ocaml-ordering
3.18.
0
-1.fc43
3.18.
1
-1.fc43
3
crypto-policies
20250402-
1
.git86c0178....
20250402-
2
.git86c0178....
3
libcap
2.
73
-2.fc42
2.
76
-1.fc43
3
libwayland-client
1.23.
0
-3.fc42
1.23.
1
-1.fc43
3
ocaml-dyn-devel
3.18.
0
-1.fc43
3.18.
1
-1.fc43
3
wayland-devel
1.23.
0
-3.fc42
1.23.
1
-1.fc43
3
qt6-srpm-macros
6.9.0-
1
.fc43
6.9.0-
2
.fc43
3
libwayland-egl
1.23.
0
-3.fc42
1.23.
1
-1.fc43
3
ocaml-stdune
3.18.
0
-1.fc43
3.18.
1
-1.fc43
3
openssl-libs
1:3.5.0-
2
.fc43
1:3.5.0-
3
.fc43
3
rpm
4
.20.1-3.fc43
5
.99.90-3.fc43
3
ocaml-dyn
3.18.
0
-1.fc43
3.18.
1
-1.fc43
3
libwayland-cursor
1.23.
0
-3.fc42
1.23.
1
-1.fc43
3
ocaml-ordering-devel
3.18.
0
-1.fc43
3.18.
1
-1.fc43
3
rpm-build
4
.20.1-3.fc43
5
.99.90-3.fc43
3
google-noto-sans-vf-fonts
20250301
-1.fc43
20250401
-1.fc43
4
rpm-build-libs
4
.20.1-3.fc43
5
.99.90-3.fc43
4
harfbuzz-devel
11.
0
.1-2.fc43
11.
1
.0-1.fc43
4
libwayland-server
1.23.
0
-3.fc42
1.23.
1
-1.fc43
4
google-noto-fonts-common
20250301
-1.fc43
20250401
-1.fc43
B
libgpg-error
1.
53
-1.fc43
1.
54
-1.fc43
B
rpm-sign-libs
5.99.90-3.fc43
B
ima-evm-utils-libs
1.6.2-5.fc43
B
libfsverity
1.6-2.fc42
B
harfbuzz-cairo
11.
0
.1-2.fc43
11.
1
.0-1.fc43
B
harfbuzz-icu
11.
0
.1-2.fc43
11.
1
.0-1.fc43
B
show 28 more
collapse
complete