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-23 08:53:40
Finished
2025-04-23 09:11:22
Koji repo
6570558
Koji tasks
complete
131893562
aarch64
├131893626
closed
ppc64le
├131893625
closed
x86_64
└131893624
closed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
graphviz
12.2.1-
6
.fc43
12.2.1-
8
.fc43
1
clang
20.1.
2
-3.fc43
20.1.
3
-1.fc43
1
gcc
15.0.1-0.
12
.fc43
15.0.1-0.
14
.fc43
2
graphviz-libs
12.2.1-
6
.fc43
12.2.1-
8
.fc43
2
gcc-c++
15.0.1-0.
12
.fc43
15.0.1-0.
14
.fc43
2
llvm-libs
20.1.
2
-3.fc43
20.1.
3
-1.fc43
2
libstdc++-devel
15.0.1-0.
12
.fc43
15.0.1-0.
14
.fc43
2
libgcc
15.0.1-0.
12
.fc43
15.0.1-0.
14
.fc43
2
clang-libs
20.1.
2
-3.fc43
20.1.
3
-1.fc43
2
libgccjit
15.0.1-0.
12
.fc43
15.0.1-0.
14
.fc43
2
redhat-rpm-config
343-
3
.fc43
343-
4
.fc43
2
libstdc++
15.0.1-0.
12
.fc43
15.0.1-0.
14
.fc43
2
gcc-plugin-annobin
15.0.1-0.
12
.fc43
15.0.1-0.
14
.fc43
3
libgomp
15.0.1-0.
12
.fc43
15.0.1-0.
14
.fc43
3
tree-sitter-srpm-macros
0.2.
2
-1.fc43
0.2.
3
-1.fc43
3
clang-resource-filesystem
20.1.
2
-3.fc43
20.1.
3
-1.fc43
3
libtinysparql
3.9.
1
-2.fc43
3.9.
2
-1.fc43
3
cpp
15.0.1-0.
12
.fc43
15.0.1-0.
14
.fc43
3
llvm-filesystem
20.1.
2
-3.fc43
20.1.
3
-1.fc43
3
mesa-libEGL
25.0.
2
-2.fc43
25.0.
4
-1.fc43
B
mesa-libGL
25.0.
2
-2.fc43
25.0.
4
-1.fc43
B
mesa-libgbm
25.0.
2
-2.fc43
25.0.
4
-1.fc43
B
libquadmath
15.0.1-0.
12
.fc43
15.0.1-0.
14
.fc43
B
libgfortran
15.0.1-0.
12
.fc43
15.0.1-0.
14
.fc43
B
mesa-dri-drivers
25.0.
2
-2.fc43
25.0.
4
-1.fc43
B
mesa-filesystem
25.0.
2
-2.fc43
25.0.
4
-1.fc43
B
show 16 more
collapse
complete