Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
frama-c
Epoch
None
Version
28.0
Release
4.fc40
Started
2024-03-22 04:37:26
Finished
2024-03-22 05:02:09
Koji repo
5943437
Koji tasks
complete
115278012
aarch64
├115278057
closed
x86_64
└115278056
closed
Build logs
aarch64
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
z3
4.12.
5
-1.fc40
4.12.
6
-1.fc40
1
clang
17
.0.6-6.fc40
18
.1.0~rc4-2.fc40
1
gtk-doc
1.
33
.2-10.fc40
1.
34
.0-1.fc40
2
redhat-rpm-config
282
-1.fc40
285
-1.fc40
2
llvm-libs
17
.0.6-6.fc40
18
.1.0~rc4-1.fc40
2
clang-libs
17
.0.6-6.fc40
18
.1.0~rc4-2.fc40
2
rust-srpm-macros
26.
1
-1.fc40
26.
2
-1.fc40
3
atk-devel
2.51.
90
-1.fc40
2.51.
91
-1.fc40
3
adwaita-icon-theme
46~
beta
-2.fc40
46~
rc
-1.fc40
3
atk
2.51.
90
-1.fc40
2.51.
91
-1.fc40
3
openjpeg2
2.5.
0
-7.fc40
2.5.
1
-1.fc40
3
llvm
17
.0.6-6.fc40
18
.1.0~rc4-1.fc40
3
at-spi2-atk-devel
2.51.
90
-1.fc40
2.51.
91
-1.fc40
3
crypto-policies
20240201-
1
.git9f501f3....
20240201-
2
.git9f501f3....
3
libtracker-sparql
3.7~
beta
-1.fc40
3.7~
rc
-1.fc40
3
at-spi2-atk
2.51.
90
-1.fc40
2.51.
91
-1.fc40
3
clang-resource-filesystem
17
.0.6-6.fc40
18
.1.0~rc4-2.fc40
3
libavif
1.0.
3
-1.fc40
1.0.
4
-1.fc40
3
adwaita-cursor-theme
46~
beta
-2.fc40
46~
rc
-1.fc40
4
sysprof-capture-devel
46~
beta
-1.fc40
46~
rc
-1.fc40
4
at-spi2-core-devel
2.51.
90
-1.fc40
2.51.
91
-1.fc40
4
at-spi2-core
2.51.
90
-1.fc40
2.51.
91
-1.fc40
4
kernel-headers
6.8.0-0.
rc5
.41.fc40
6.8.0-0.
rc6
.49.fc40
4
authselect-libs
1.5.0-
4
.fc40
1.5.0-
5
.fc40
4
crypto-policies-scripts
20240201-
1
.git9f501f3....
20240201-
2
.git9f501f3....
B
libei
1.2.1-1.fc40
fedora-repos
40-0.
3
40-0.
4
B
fedora-release-common
40-0.
34
40-0.
36
B
fedora-release
40-0.
34
40-0.
36
B
authselect
1.5.0-
4
.fc40
1.5.0-
5
.fc40
B
fedora-release-identity-basic
40-0.
34
40-0.
36
B
libgpg-error
1.
47
-4.fc40
1.
48
-1.fc40
B
libei-devel
1.2.1-1.fc40
libksba
1.6.
5
-3.fc40
1.6.
6
-1.fc40
B
fedora-gpg-keys
40-0.
3
40-0.
4
B
highway
1.
0
.7-3.fc40
1.
1
.0-1.fc40
B
show 26 more
collapse
complete