Build details

Build information

State
complete
Name
frama-c
Epoch
None
Version
30.0
Release
2.fc41
Started
2025-01-30 04:41:11
Finished
2025-01-30 04:57:57
Koji repo
6546636

Koji tasks

complete
128635429
aarch64
├128635580 closed
ppc64le
├128635581 closed
s390x
├128635582 closed
x86_64
└128635579 closed

Build logs

aarch64
build.log | root.log
ppc64le
build.log | root.log
s390x
build.log | root.log
x86_64
build.log | root.log

Dependency changes from previous build

ocaml-lablgtk3-sourceview3-devel
3.1.5-3.fc41
3.1.5-4.fc41
1
ocaml-ppx-deriving-yaml-devel
0.3.0-5.fc41
0.3.0-6.fc41
1
ocaml-dune
3.16.1-1.fc41
3.17.2-1.fc41
1
ocaml-ppx-deriving-yojson-devel
3.9.0-1.fc41
3.9.1-1.fc41
1
ocaml-dune-site-devel
3.16.1-1.fc41
3.17.2-1.fc41
1
ocaml-mlmpfr-devel
4.2.1-6.fc41
4.2.1-7.fc41
1
ocaml-unionfind-devel
20220122-8.fc41
20220122-9.fc41
1
alt-ergo
2.3.3-22.fc41
2.3.3-23.fc41
1
z3
4.13.3-1.fc41
4.13.4-1.fc41
1
ocaml-why3-devel
1.7.2-9.fc41
1.7.2-10.fc41
1
ocaml-yojson-devel
2.2.2-1.fc41
2.2.2-2.fc41
1
ocaml-dune-configurator-devel
3.16.1-1.fc41
3.17.2-1.fc41
1
ocaml-zarith-devel
1.14-2.fc41
1.14-3.fc41
1
ocaml
5.2.0-3.fc41
5.2.1-1.fc41
1
ocaml-apron-devel
0.9.15-4.fc41
0.9.15-5.fc41
1
ocaml-ocamlgraph-devel
2.1.0-9.fc41
2.1.0-10.fc41
1
ocaml-yaml-devel
3.2.0-12.fc41
3.2.0-13.fc41
1
ocaml-ppx-deriving-devel
6.0.2-6.fc41
6.0.2-7.fc41
1
ocaml-menhir
20240715-1.fc41
20240715-2.fc41
1
why3
1.7.2-9.fc41
1.7.2-10.fc41
1
ocaml-zmq-devel
5.3.0-4.fc41
5.3.0-5.fc41
1
ocaml-lablgtk3-devel
3.1.5-3.fc41
3.1.5-4.fc41
1
ocaml-dune-configurator
3.16.1-1.fc41
3.17.2-1.fc41
2
ocaml-yojson
2.2.2-1.fc41
2.2.2-2.fc41
2
ocaml-astring
0.8.5-26.fc41
0.8.5-27.fc41
2
ocaml-parsexp
0.17.0-2.fc41
0.17.0-3.fc41
2
ocaml-compiler-libs
5.2.0-3.fc41
5.2.1-1.fc41
2
ocaml-logs
0.7.0-22.fc41
0.7.0-23.fc41
2
ocaml-mlgmpidl-devel
1.3.0-11.fc41
1.3.0-12.fc41
2
ocaml-why3
1.7.2-9.fc41
1.7.2-10.fc41
2
ocaml-bigarray-compat-devel
1.1.0-17.fc41
1.1.0-18.fc41
2
ocaml-zip
1.12-1.fc41
1.13-1.fc41
2
ocaml-ppx-deriving
6.0.2-6.fc41
6.0.2-7.fc41
2
apron
0.9.15-4.fc41
0.9.15-5.fc41
2
ocaml-ppx-derivers
1.2.1-38.fc41
1.2.1-39.fc41
2
zlib-ng
2.2.3-1.fc41
2
ocaml-stdune-devel
3.16.1-1.fc41
3.17.2-1.fc41
2
ocaml-dune-private-libs
3.16.1-1.fc41
3.17.2-1.fc41
2
ocaml-bigarray-compat
1.1.0-17.fc41
1.1.0-18.fc41
2
ocaml-parsexp-devel
0.17.0-2.fc41
0.17.0-3.fc41
2
ocaml-sexplib0-devel
0.17.0-2.fc41
0.17.0-3.fc41
2
ocaml-yaml
3.2.0-12.fc41
3.2.0-13.fc41
2
ocaml-cairo-devel
2:0.6.4-14.fc41
2:0.6.5-1.fc41
2
gnutls
3.8.6-7.fc41
3.8.8-3.fc41
2
ocaml-runtime
5.2.0-3.fc41
5.2.1-1.fc41
2
ocaml-menhirlib-devel
20240715-1.fc41
20240715-2.fc41
2
ocaml-zarith
1.14-2.fc41
1.14-3.fc41
2
ocaml-apron
0.9.15-4.fc41
0.9.15-5.fc41
2
ocaml-re-devel
1.11.0-9.fc41
1.13.3-1.fc41
2
ocaml-bos
0.2.1-22.fc41
0.2.1-23.fc41
2
ocaml-compiler-libs-janestreet
0.17.0-4.fc41
0.17.0-5.fc41
2
ocaml-ppxlib
1:0.33.0-1.fc41
1:0.33.0-2.fc41
2
ocaml-astring-devel
0.8.5-26.fc41
0.8.5-27.fc41
2
ocaml-fpath-devel
0.7.3-23.fc41
0.7.3-24.fc41
2
ocaml-fpath
0.7.3-23.fc41
0.7.3-24.fc41
2
ocaml-num-devel
1.5-9.fc41
1.5-10.fc41
2
ocaml-zip-devel
1.12-1.fc41
1.13-1.fc41
2
ocaml-ctypes
0.23.0-1.fc41
0.23.0-2.fc41
2
ocaml-alt-ergo-lib
2.3.3-22.fc41
2.3.3-23.fc41
2
ocaml-bos-devel
0.2.1-22.fc41
0.2.1-23.fc41
2
ocaml-sexplib
1:0.17.0-3.fc41
1:0.17.0-4.fc41
2
ocaml-mlgmpidl
1.3.0-11.fc41
1.3.0-12.fc41
2
apron-devel
0.9.15-4.fc41
0.9.15-5.fc41
2
ocaml-dune-site
3.16.1-1.fc41
3.17.2-1.fc41
2
ocaml-sexplib0
0.17.0-2.fc41
0.17.0-3.fc41
2
ocaml-ppx-derivers-devel
1.2.1-38.fc41
1.2.1-39.fc41
2
ocaml-unionfind
20220122-8.fc41
20220122-9.fc41
2
ocaml-csexp-devel
1.5.2-13.fc41
1.5.2-14.fc41
2
ocaml-menhirlib
20240715-1.fc41
20240715-2.fc41
2
ocaml-integers-devel
0.7.0-16.fc41
0.7.0-17.fc41
2
ocaml-num
1.5-9.fc41
1.5-10.fc41
2
ocaml-compiler-libs-janestreet-devel
0.17.0-4.fc41
0.17.0-5.fc41
2
ocaml-integers
0.7.0-16.fc41
0.7.0-17.fc41
2
ocaml-dune-private-libs-devel
3.16.1-1.fc41
3.17.2-1.fc41
2
ocaml-rresult-devel
0.7.0-19.fc41
0.7.0-20.fc41
2
ocaml-cairo
2:0.6.4-14.fc41
2:0.6.5-1.fc41
2
glibc
2.40-17.fc41
2.40-21.fc41
2
ocaml-ppxlib-devel
1:0.33.0-1.fc41
1:0.33.0-2.fc41
2
ocaml-ppx-deriving-yojson
3.9.0-1.fc41
3.9.1-1.fc41
2
ocaml-mlmpfr
4.2.1-6.fc41
4.2.1-7.fc41
2
ocaml-csexp
1.5.2-13.fc41
1.5.2-14.fc41
2
ocaml-lablgtk3-sourceview3
3.1.5-3.fc41
3.1.5-4.fc41
2
ocaml-sexplib-devel
1:0.17.0-3.fc41
1:0.17.0-4.fc41
2
ocaml-alt-ergo-parsers
2.3.3-22.fc41
2.3.3-23.fc41
2
ocaml-fmt-devel
0.9.0-18.fc41
0.9.0-19.fc41
2
ocaml-ctypes-devel
0.23.0-1.fc41
0.23.0-2.fc41
2
ocaml-lablgtk3
3.1.5-3.fc41
3.1.5-4.fc41
2
ocaml-ocamlgraph
2.1.0-9.fc41
2.1.0-10.fc41
2
ocaml-rpm-macros
5.2.0-3.fc41
5.2.1-1.fc41
2
ocaml-ppx-deriving-yaml
0.3.0-5.fc41
0.3.0-6.fc41
2
ocaml-zmq
5.3.0-4.fc41
5.3.0-5.fc41
2
ocaml-logs-devel
0.7.0-22.fc41
0.7.0-23.fc41
2
ocaml-fmt
0.9.0-18.fc41
0.9.0-19.fc41
2
ocaml-rresult
0.7.0-19.fc41
0.7.0-20.fc41
2
ocaml-re
1.11.0-9.fc41
1.13.3-1.fc41
2
ocaml-cmdliner
1.3.0-4.fc41
1.3.0-5.fc41
3
ocaml-stdune
3.16.1-1.fc41
3.17.2-1.fc41
3
ocaml-ordering
3.16.1-1.fc41
3.17.2-1.fc41
3
ocaml-dyn
3.16.1-1.fc41
3.17.2-1.fc41
3
glibc-gconv-extra
2.40-17.fc41
2.40-21.fc41
3
ocaml-camlidl-devel
1.12-9.fc41
1.12-10.fc41
3
ocaml-psmt2-frontend
0.4.0-20.fc41
0.4.0-21.fc41
3
ocaml-pp
1.2.0-9.fc41
2.0.0-1.fc41
3
glibc-minimal-langpack
2.40-17.fc41
2.40-21.fc41
3
zlib-ng-devel
2.2.3-1.fc41
3
ocaml-pp-devel
1.2.0-9.fc41
2.0.0-1.fc41
3
ocaml-lwt
5.7.0-13.fc41
5.9.0-1.fc41
3
ocaml-ocplib-simplex
1:0.4.1-9.fc41
1:0.4.1-10.fc41
3
glibc-common
2.40-17.fc41
2.40-21.fc41
3
ocaml-dyn-devel
3.16.1-1.fc41
3.17.2-1.fc41
3
ocaml-ordering-devel
3.16.1-1.fc41
3.17.2-1.fc41
3
ocaml-cmdliner-devel
1.3.0-4.fc41
1.3.0-5.fc41
3
ocaml-lwt-devel
5.7.0-13.fc41
5.9.0-1.fc41
3
glibc-devel
2.40-17.fc41
2.40-21.fc41
3
ocaml-ocplib-endian-devel
1.2-18.fc41
1.2-19.fc41
4
ocaml-ocplib-endian
1.2-18.fc41
1.2-19.fc41
4
libdav1d
1.5.0-1.fc41
1.5.1-1.fc41
4
libsoup3
3.6.0-1.fc41
3.6.4-1.fc41
4
ocaml-camlidl
1.12-9.fc41
1.12-10.fc41
4
Koschei version 2afbb17
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues