Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
frama-c
Epoch
None
Version
29.0
Release
2.fc41
Started
2024-06-17 18:59:14
Finished
2024-06-17 19:22:51
Koji repo
6179033
Koji tasks
complete
119186388
aarch64
├119186403
closed
s390x
├119186404
closed
x86_64
└119186402
closed
Build logs
aarch64
build.log
|
root.log
s390x
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
ocaml-dune
3.
15
.3-2.fc41
3.
16
.0-1.fc41
1
ocaml-dune-site-devel
3.
15
.3-2.fc41
3.
16
.0-1.fc41
1
doxygen
2:1.11.0-
3
.fc41
2:1.11.0-
4
.fc41
1
ocaml-dune-configurator-devel
3.
15
.3-2.fc41
3.
16
.0-1.fc41
1
pango
1.
52
.2-1.fc41
1.
54
.0-1.fc41
2
glib2
2.80.
2
-1.fc41
2.80.
3
-1.fc41
2
ocaml-dune-private-libs
3.
15
.3-2.fc41
3.
16
.0-1.fc41
2
ocaml-stdune-devel
3.
15
.3-2.fc41
3.
16
.0-1.fc41
2
ocaml-dune-private-libs-devel
3.
15
.3-2.fc41
3.
16
.0-1.fc41
2
gnutls
3.8.5-
2
.fc41
3.8.5-
5
.fc41
2
ocaml-dune-site
3.
15
.3-2.fc41
3.
16
.0-1.fc41
2
ocaml-dune-configurator
3.
15
.3-2.fc41
3.
16
.0-1.fc41
2
sqlite-libs
3.46.0-
1
.fc41
3.46.0-
2
.fc41
2
python3-packaging
24.
0
-3.fc41
24.
1
-1.fc41
3
pango-devel
1.
52
.2-1.fc41
1.
54
.0-1.fc41
3
ocaml-dyn-devel
3.
15
.3-2.fc41
3.
16
.0-1.fc41
3
glib2-devel
2.80.
2
-1.fc41
2.80.
3
-1.fc41
3
ocaml-ordering-devel
3.
15
.3-2.fc41
3.
16
.0-1.fc41
3
ocaml-dyn
3.
15
.3-2.fc41
3.
16
.0-1.fc41
3
xml-common
0.6.3-
63
.fc40
0.6.3-
64
.fc41
3
ocaml-stdune
3.
15
.3-2.fc41
3.
16
.0-1.fc41
3
ocaml-ordering
3.
15
.3-2.fc41
3.
16
.0-1.fc41
3
nettle
3.
9
.1-6.fc40
3.
10
-1.fc41
3
kernel-headers
6.10.0-0.
rc3
.31.fc41
6.10.0-0.
rc4
.38.fc41
4
libdav1d
1.4.
0
-1.fc41
1.4.
3
-1.fc41
4
mesa-libEGL
24.1.1-
2
.fc41
24.1.1-
4
.fc41
B
mesa-libglapi
24.1.1-
2
.fc41
24.1.1-
4
.fc41
B
mesa-libGL
24.1.1-
2
.fc41
24.1.1-
4
.fc41
B
mesa-libgbm
24.1.1-
2
.fc41
24.1.1-
4
.fc41
B
show 19 more
collapse
complete