Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
frama-c
Epoch
None
Version
29.0
Release
7.fc41
Started
2024-08-08 13:40:27
Finished
2024-08-08 14:03:14
Koji repo
6312930
Koji tasks
complete
121651392
aarch64
├121651696
closed
ppc64le
├121651697
closed
x86_64
└121651695
closed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
doxygen
2:1.
11
.0-5.fc41
2:1.
12
.0-1.fc41
1
python3-devel
3.13.0~rc1-
1
.fc41
3.13.0~rc1-
2
.fc41
1
pandoc
3.1.
3
-30.fc41
3.1.
11
.1-32.fc41
1
alternatives
1.
29
-1.fc41
1.
30
-1.fc41
2
python3-libs
3.13.0~rc1-
1
.fc41
3.13.0~rc1-
2
.fc41
2
pandoc-common
3.1.
3
-30.fc41
3.1.
11
.1-31.fc41
2
sqlite-libs
3.46.0-
3
.fc41
3.46.0-
4
.fc41
2
python3
3.13.0~rc1-
1
.fc41
3.13.0~rc1-
2
.fc41
2
atk-devel
2.53.
0
-2.fc41
2.53.
1
-1.fc41
3
forge-srpm-macros
0.3.
1
-2.fc41
0.3.
2
-1.fc41
3
annobin-plugin-gcc
12.
66
-1.fc41
12.
67
-1.fc41
3
atk
2.53.
0
-2.fc41
2.53.
1
-1.fc41
3
at-spi2-atk
2.53.
0
-2.fc41
2.53.
1
-1.fc41
3
python-pip-wheel
24.
1
.1-2.fc41
24.
2
-1.fc41
3
at-spi2-atk-devel
2.53.
0
-2.fc41
2.53.
1
-1.fc41
3
sysprof-capture-devel
47~
alpha
-2.fc41
47~
beta
-1.fc41
4
at-spi2-core-devel
2.53.
0
-2.fc41
2.53.
1
-1.fc41
4
gdb-minimal
14
.2-15.fc41
15
.1-1.fc41
4
at-spi2-core
2.53.
0
-2.fc41
2.53.
1
-1.fc41
4
flexiblas-netlib
3.4.4-
2
.fc41
3.4.4-
3
.fc41
4
annobin-docs
12.
66
-1.fc41
12.
67
-1.fc41
4
hwdata
0.
384
-2.fc41
0.
385
-1.fc41
B
flexiblas
3.4.4-
2
.fc41
3.4.4-
3
.fc41
B
flexiblas-openblas-openmp
3.4.4-
2
.fc41
3.4.4-
3
.fc41
B
show 14 more
collapse
complete