Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
frama-c
Epoch
None
Version
28.1
Release
3.fc40
Started
2024-05-28 23:57:09
Finished
2024-05-29 00:25:04
Koji repo
6118263
Koji tasks
complete
118219221
aarch64
├118219329
closed
x86_64
└118219330
closed
Build logs
aarch64
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
clang
18.1.
1
-1.fc40
18.1.
6
-3.fc40
1
texlive-base
11:20230311-
81
.fc40
11:20230311-
82
.fc40
2
mpfr
4.2.1-
3
.fc40
4.2.1-
4
.fc40
2
libstdc++
14.1.1-
1
.fc40
14.1.1-
4
.fc40
2
harfbuzz
8.
3
.0-5.fc40
8.
4
.0-1.fc40
2
gcc-c++
14.1.1-
1
.fc40
14.1.1-
4
.fc40
2
mpfr-devel
4.2.1-
3
.fc40
4.2.1-
4
.fc40
2
glib2
2.80.
0
-1.fc40
2.80.
2
-1.fc40
2
gtk3-devel
3.24.
41
-1.fc40
3.24.
42
-2.fc40
2
clang-libs
18.1.
1
-1.fc40
18.1.
6
-3.fc40
2
libstdc++-devel
14.1.1-
1
.fc40
14.1.1-
4
.fc40
2
gcc
14.1.1-
1
.fc40
14.1.1-
4
.fc40
2
libgccjit
14.1.1-
1
.fc40
14.1.1-
4
.fc40
2
llvm-libs
18.1.
1
-1.fc40
18.1.
6
-1.fc40
2
libxml2
2.12.
6
-1.fc40
2.12.
7
-1.fc40
2
gtk3
3.24.
41
-1.fc40
3.24.
42
-2.fc40
2
glibc
2.39-
8
.fc40
2.39-
13
.fc40
2
libgcc
14.1.1-
1
.fc40
14.1.1-
4
.fc40
2
libgomp
14.1.1-
1
.fc40
14.1.1-
4
.fc40
3
llvm
18.1.
1
-1.fc40
18.1.
6
-1.fc40
3
gtk-update-icon-cache
3.24.
41
-1.fc40
3.24.
42
-2.fc40
3
libxml2-devel
2.12.
6
-1.fc40
2.12.
7
-1.fc40
3
cpp
14.1.1-
1
.fc40
14.1.1-
4
.fc40
3
glibc-gconv-extra
2.39-
8
.fc40
2.39-
13
.fc40
3
rust-srpm-macros
26.
2
-1.fc40
26.
3
-1.fc40
3
glibc-minimal-langpack
2.39-
8
.fc40
2.39-
13
.fc40
3
shared-mime-info
2.3-
4
.fc40
2.3-
5
.fc40
3
libedit
3.1-
50
.20230828cv...
3.1-
51
.20240517cv...
3
harfbuzz-devel
8.
3
.0-5.fc40
8.
4
.0-1.fc40
3
glib2-devel
2.80.
0
-1.fc40
2.80.
2
-1.fc40
3
crypto-policies
20240201
-2.git9f501f3....
20240510
-1.gitd287a42....
3
rpm-sequoia
1.6.0-
2
.fc40
1.6.0-
3
.fc40
3
cups-libs
1:2.4.
7
-13.fc40
1:2.4.
8
-3.fc40
3
clang-resource-filesystem
18.1.
1
-1.fc40
18.1.
6
-3.fc40
3
glibc-devel
2.39-
8
.fc40
2.39-
13
.fc40
3
glibc-common
2.39-
8
.fc40
2.39-
13
.fc40
3
gcc-plugin-annobin
14.1.1-
1
.fc40
14.1.1-
4
.fc40
3
harfbuzz-icu
8.
3
.0-5.fc40
8.
4
.0-1.fc40
4
glibc-headers-x86
2.39-
8
.fc40
2.39-
13
.fc40
4
pam
1.6.
0
-2.fc40
1.6.
1
-1.fc40
4
rav1e-libs
0.7.1-
1
.fc40
0.7.1-
2
.fc40
4
pam-libs
1.6.
0
-2.fc40
1.6.
1
-1.fc40
4
libaom
3.
8
.2-1.fc40
3.
9
.0-1.fc40
4
mesa-libgbm
24.0.
6
-2.fc40
24.0.
8
-1.fc40
B
mesa-libGL
24.0.
6
-2.fc40
24.0.
8
-1.fc40
B
mesa-libglapi
24.0.
6
-2.fc40
24.0.
8
-1.fc40
B
libgfortran
14.1.1-
1
.fc40
14.1.1-
4
.fc40
B
highway
1.1.0-1.fc40
B
mesa-libEGL
24.0.
6
-2.fc40
24.0.
8
-1.fc40
B
libjxl
1:0.8.2-6.fc40
B
libquadmath
14.1.1-
1
.fc40
14.1.1-
4
.fc40
B
crypto-policies-scripts
20240201
-2.git9f501f3....
20240510
-1.gitd287a42....
B
show 42 more
collapse
complete