Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
frama-c
Epoch
None
Version
30.0
Release
4.fc42
Started
2025-01-28 19:49:34
Finished
2025-01-28 20:06:16
Koji repo
6546256
Koji tasks
complete
128579343
aarch64
├128579454
closed
ppc64le
├128579456
closed
x86_64
└128579455
closed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
emacs-nw
1:29.4-
47
.fc42
1:29.4-
49
.fc42
1
yq
4.43.1-
3
.fc41
4.43.1-
5
.fc42
1
fontconfig
2.
15
.0-9.fc42
2.
16
.0-2.fc42
2
libgcc
15.0.1-0.
3
.fc42.1
15.0.1-0.
4
.fc42
2
gcc
15.0.1-0.
3
.fc42.1
15.0.1-0.
4
.fc42
2
libgccjit
15.0.1-0.
3
.fc42.1
15.0.1-0.
4
.fc42
2
gcc-c++
15.0.1-0.
3
.fc42.1
15.0.1-0.
4
.fc42
2
libstdc++-devel
15.0.1-0.
3
.fc42.1
15.0.1-0.
4
.fc42
2
libstdc++
15.0.1-0.
3
.fc42.1
15.0.1-0.
4
.fc42
2
ncurses-libs
6.5-
2
.20240629.fc41
6.5-
5
.20250125.fc42
2
emacs-common
1:29.4-
47
.fc42
1:29.4-
49
.fc42
2
zeromq-devel
4.3.5-
17
.fc41
4.3.5-
21
.fc42
2
openssl-libs
1:3.2.2-
12
.fc42
1:3.2.2-
13
.fc42
3
zeromq
4.3.5-
17
.fc41
4.3.5-
21
.fc42
3
ncurses-base
6.5-
2
.20240629.fc41
6.5-
5
.20250125.fc42
3
openpgm-devel
5.
2
.122-37.fc42
5.
3
.128-4.fc42
3
emacsclient
1:29.4-
47
.fc42
1:29.4-
49
.fc42
3
gcc-plugin-annobin
15.0.1-0.
3
.fc42.1
15.0.1-0.
4
.fc42
3
graphite2
1.3.14-
16
.fc41
1.3.14-
18
.fc42
3
libgomp
15.0.1-0.
3
.fc42.1
15.0.1-0.
4
.fc42
3
annobin-plugin-gcc
12.
84
-1.fc42
12.
87
-1.fc42
3
cpp
15.0.1-0.
3
.fc42.1
15.0.1-0.
4
.fc42
3
crypto-policies
20241128
-2.gitbb7b0b0....
20250124
-1.git4d262e7....
3
fontconfig-devel
2.
15
.0-9.fc42
2.
16
.0-2.fc42
3
libdav1d
1.5.
0
-3.fc42
1.5.
1
-1.fc42
4
cyrus-sasl-lib
2.1.28-
28
.fc42
2.1.28-
30
.fc42
4
openpgm
5.
2
.122-37.fc42
5.
3
.128-4.fc42
4
annobin-docs
12.
84
-1.fc42
12.
87
-1.fc42
4
which
2.
21
-43.fc42
2.
22
-1.fc42
B
fedora-release
42-0.
15
42-0.
16
B
graphite2-devel
1.3.14-
16
.fc41
1.3.14-
18
.fc42
B
openblas
0.3.
28
-3.fc42
0.3.
29
-1.fc42
B
openblas-openmp
0.3.
28
-3.fc42
0.3.
29
-1.fc42
B
fedora-release-common
42-0.
15
42-0.
16
B
fedora-release-identity-basic
42-0.
15
42-0.
16
B
ncurses
6.5-
2
.20240629.fc41
6.5-
5
.20250125.fc42
B
libgfortran
15.0.1-0.
3
.fc42.1
15.0.1-0.
4
.fc42
B
libquadmath
15.0.1-0.
3
.fc42.1
15.0.1-0.
4
.fc42
B
show 28 more
collapse
complete