Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
frama-c
Epoch
None
Version
29.0
Release
8.fc41
Started
2024-10-07 04:56:44
Finished
2024-10-07 05:16:12
Koji repo
6511372
Koji tasks
complete
124501773
aarch64
├124501882
closed
ppc64le
├124501881
closed
x86_64
└124501883
closed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
clang
18
.1.8-3.fc41
19
.1.0-1.fc41
1
z3
4.13.
0
-6.fc41
4.13.
2
-1.fc41
1
librsvg2
2.
57
.1-8.fc41
2.
59
.1-1.fc41
2
clang-libs
18
.1.8-3.fc41
19
.1.0-1.fc41
2
llvm-libs
18
.1.8-2.fc41
19
.1.0-1.fc41
2
glib2
2.82.
0
-1.fc41
2.82.
1
-1.fc41
2
libxcb
1.17.0-
2
.fc41
1.17.0-
3
.fc41
3
binutils
2.43
-
3.fc41
2.43
.
1-2.fc41
3
clang-resource-filesystem
18
.1.8-3.fc41
19
.1.0-1.fc41
3
rsvg-pixbuf-loader
2.
57
.1-8.fc41
2.
59
.1-1.fc41
3
openssl-libs
1:3.2.2-
7
.fc41
1:3.2.2-
9
.fc41
3
coreutils
9.5-
9
.fc41
9.5-
10
.fc41
3
glib2-devel
2.82.
0
-1.fc41
2.82.
1
-1.fc41
3
shadow-utils
2:4.15.1-
10
.fc41
2:4.15.1-
11
.fc41
4
coreutils-common
9.5-
9
.fc41
9.5-
10
.fc41
4
libxcb-devel
1.17.0-
2
.fc41
1.17.0-
3
.fc41
4
mesa-libGL
24.2.
3
-2.fc41
24.2.
4
-1.fc41
B
hwdata
0.
387
-1.fc41
0.
388
-1.fc41
B
mesa-libgbm
24.2.
3
-2.fc41
24.2.
4
-1.fc41
B
mesa-dri-drivers
24.2.
3
-2.fc41
24.2.
4
-1.fc41
B
mesa-libglapi
24.2.
3
-2.fc41
24.2.
4
-1.fc41
B
mesa-filesystem
24.2.
3
-2.fc41
24.2.
4
-1.fc41
B
mesa-libEGL
24.2.
3
-2.fc41
24.2.
4
-1.fc41
B
show 13 more
collapse