Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
frama-c
Epoch
None
Version
30.0
Release
4.fc42
Started
2025-01-25 04:50:10
Finished
2025-01-25 05:08:41
Koji repo
6545694
Koji tasks
complete
128449868
aarch64
├128449959
closed
ppc64le
├128449961
closed
x86_64
└128449960
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.17.
1
-2.fc42
3.17.
2
-1.fc42
1
clang
19.1.
6
-2.fc42
19.1.
7
-1.fc42
1
ocaml-dune-site-devel
3.17.
1
-2.fc42
3.17.
2
-1.fc42
1
ocaml-dune-configurator-devel
3.17.
1
-2.fc42
3.17.
2
-1.fc42
1
glibc
2.40.9000-
31
.fc42
2.40.9000-
34
.fc42
2
ocaml-dune-configurator
3.17.
1
-2.fc42
3.17.
2
-1.fc42
2
llvm-libs
19.1.
6
-2.fc42
19.1.
7
-1.fc42
2
ocaml-dune-private-libs
3.17.
1
-2.fc42
3.17.
2
-1.fc42
2
ocaml-dune-site
3.17.
1
-2.fc42
3.17.
2
-1.fc42
2
glib2
2.83.2-
3
.fc42
2.83.2-
6
.fc42
2
libffi
3.4.6-
3
.fc42
3.4.6-
5
.fc42
2
clang-libs
19.1.
6
-2.fc42
19.1.
7
-1.fc42
2
ocaml-stdune-devel
3.17.
1
-2.fc42
3.17.
2
-1.fc42
2
texlive-base
11:20230311-
87
.fc42
11:20230311-
89
.fc42
2
ocaml-dune-private-libs-devel
3.17.
1
-2.fc42
3.17.
2
-1.fc42
2
annobin-plugin-gcc
12.
83
-1.fc42
12.
84
-1.fc42
3
clang-resource-filesystem
19.1.
6
-2.fc42
19.1.
7
-1.fc42
3
libcap
2.
71
-2.fc42
2.
73
-2.fc42
3
openldap
2.6.9-
2
.fc42
2.6.9-
3
.fc42
3
glibc-minimal-langpack
2.40.9000-
31
.fc42
2.40.9000-
34
.fc42
3
fonts-srpm-macros
1:2.0.5-
20
.fc42
1:2.0.5-
21
.fc42
3
ocaml-ordering-devel
3.17.
1
-2.fc42
3.17.
2
-1.fc42
3
glibc-devel
2.40.9000-
31
.fc42
2.40.9000-
34
.fc42
3
glibc-gconv-extra
2.40.9000-
31
.fc42
2.40.9000-
34
.fc42
3
glib2-devel
2.83.2-
3
.fc42
2.83.2-
6
.fc42
3
fonts-filesystem
1:2.0.5-
20
.fc42
1:2.0.5-
21
.fc42
3
ocaml-dyn-devel
3.17.
1
-2.fc42
3.17.
2
-1.fc42
3
libnghttp2
1.64.0-
1
.fc42
1.64.0-
3
.fc42
3
ocaml-stdune
3.17.
1
-2.fc42
3.17.
2
-1.fc42
3
default-fonts-core-sans
4.2-
3
.fc42
4.2-
4
.fc42
3
glibc-common
2.40.9000-
31
.fc42
2.40.9000-
34
.fc42
3
ocaml-dyn
3.17.
1
-2.fc42
3.17.
2
-1.fc42
3
ocaml-ordering
3.17.
1
-2.fc42
3.17.
2
-1.fc42
3
annobin-docs
12.
83
-1.fc42
12.
84
-1.fc42
4
gawk
5.3.
0
-4.fc41
5.3.
1
-1.fc42
4
libicu
76.1-
3
.fc42
76.1-
4
.fc42
4
libffi-devel
3.4.6-
3
.fc42
3.4.6-
5
.fc42
4
cmake-filesystem
3.31.
4
-2.fc42
3.31.
5
-1.fc42
4
libicu-devel
76.1-
3
.fc42
76.1-
4
.fc42
B
fedora-release-identity-basic
42-0.
13
42-0.
15
B
fedora-release
42-0.
13
42-0.
15
B
gnupg2
2.4.7-
1
.fc42
2.4.7-
2
.fc42
B
fedora-release-common
42-0.
13
42-0.
15
B
show 33 more
collapse
complete