Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
frama-c
Epoch
None
Version
28.1
Release
2.fc41
Started
2024-03-27 01:29:43
Finished
2024-03-27 01:56:40
Koji repo
5957407
Koji tasks
complete
115491501
aarch64
├115491620
closed
x86_64
└115491619
closed
Build logs
aarch64
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
clang
18.1.
1
-1.fc41
18.1.
2
-1.fc41
1
python3-devel
3.12.2-
2
.fc41
3.12.2-
3
.fc41
1
emacs-nw
1:29.
2
-3.fc40
1:29.
3
-1.fc41
1
why3
1.7.1-
2
.fc40
1.7.1-
3
.fc41
1
ocaml-why3-devel
1.7.1-
2
.fc40
1.7.1-
3
.fc41
1
llvm-libs
18.1.
1
-1.fc41
18.1.
2
-1.fc41
2
python3
3.12.2-
2
.fc41
3.12.2-
3
.fc41
2
python3-libs
3.12.2-
2
.fc41
3.12.2-
3
.fc41
2
clang-libs
18.1.
1
-1.fc41
18.1.
2
-1.fc41
2
glibc
2.39.9000-
9
.fc41
2.39.9000-
10
.fc41
2
ocaml-why3
1.7.1-
2
.fc40
1.7.1-
3
.fc41
2
emacs-common
1:29.
2
-3.fc40
1:29.
3
-1.fc41
2
emacs-filesystem
1:29.
2
-3.fc40
1:29.
3
-1.fc41
2
clang-resource-filesystem
18.1.
1
-1.fc41
18.1.
2
-1.fc41
3
glibc-devel
2.39.9000-
9
.fc41
2.39.9000-
10
.fc41
3
glibc-common
2.39.9000-
9
.fc41
2.39.9000-
10
.fc41
3
glibc-gconv-extra
2.39.9000-
9
.fc41
2.39.9000-
10
.fc41
3
llvm
18.1.
1
-1.fc41
18.1.
2
-1.fc41
3
crypto-policies
20240304
-1.git0375239....
20240320
-1.git58e3d95....
3
glibc-minimal-langpack
2.39.9000-
9
.fc41
2.39.9000-
10
.fc41
3
annobin-plugin-gcc
12.
45
-1.fc41
12.
46
-1.fc41
3
xorg-x11-proto-devel
2023
.2-4.fc40
2024
.1-1.fc41
4
annobin-docs
12.
45
-1.fc41
12.
46
-1.fc41
4
kernel-headers
6.
8
.0-0.rc7.55.fc41
6.
9
.0-0.rc1.17.fc41
4
glibc-headers-x86
2.39.9000-
9
.fc41
2.39.9000-
10
.fc41
4
crypto-policies-scripts
20240304
-1.git0375239....
20240320
-1.git58e3d95....
B
libgcrypt
1.10.3-
3
.fc40
1.10.3-
4
.fc41
B
show 17 more
collapse