frama-c

Package information

State
ok
Packages
Bodhi
Dist-git
Bugzilla
Koji
File new FTBFS bug

Scheduler parameters

Tracked by Koschei
True
Current priority
2159
Manual priority
0
Static priority
0
Arch override
None
Skip resolution
False

Configure scheduling

Tracked by Koschei
Manual priority
Skip resolution
Arch override
Cancel

Dependency changes since last build

graphviz
12.1.2-1.fc42
12.2.0-1.fc42
1
bash
5.2.32-2.fc42
5.2.37-1.fc42
2
pyproject-rpm-macros
1.16.0-1.fc42
1.16.1-1.fc42
2
glib2
2.82.2-1.fc42
2.83.0-1.fc42
2
systemd-libs
256.7-1.fc42
257~rc1-2.fc42
2
libarchive
3.7.6-1.fc42
3.7.7-1.fc42
2
expat
2.6.3-1.fc42
2.6.4-1.fc42
2
graphviz-libs
12.1.2-1.fc42
12.2.0-1.fc42
2
glib2-devel
2.82.2-1.fc42
2.83.0-1.fc42
3
libXcursor-devel
1.2.2-2.fc41
1.2.3-1.fc42
3
libXcursor
1.2.2-2.fc41
1.2.3-1.fc42
3
pixman
0.43.4-2.fc41
0.44.0-0.fc42
3
libxcrypt
4.4.36-8.fc42
4.4.36-10.fc42
3
pyproject-srpm-macros
1.16.0-1.fc42
1.16.1-1.fc42
3
pam-libs
1.7.0-1.fc42
1.7.0-2.fc42
4
pixman-devel
0.43.4-2.fc41
0.44.0-0.fc42
4
pam
1.7.0-1.fc42
1.7.0-2.fc42
4
libxcrypt-devel
4.4.36-8.fc42
4.4.36-10.fc42
4
json-c
0.17-4.fc41
0.18-1.fc42
B
libeconf
0.7.4-2.fc42
0.7.4-3.fc42
B

State overview

Groups

This package is not part of any global group.

Historical builds

Real build: frama-c-29.0-4.fc41
complete
119968452
2024-07-04 00:13:28
aarch64
├119968746 ( build.log | root.log )
ppc64le
├119968747 ( build.log | root.log )
s390x
├119968748 ( build.log | root.log )
x86_64
└119968745 ( build.log | root.log )
ocaml-why3-devel
1.7.2-4.fc41
1.7.2-5.fc41
1
why3
1.7.2-4.fc41
1.7.2-5.fc41
1
ocaml-yaml-devel
3.2.0-8.fc41
3.2.0-9.fc41
1
ocaml-ppx-deriving-devel
6.0.2-3.fc41
6.0.2-4.fc41
1
ocaml-ppx-deriving-yojson-devel
3.8.0-3.fc41
3.8.0-4.fc41
1
ocaml-ppx-deriving-yaml-devel
0.3.0-2.fc41
0.3.0-3.fc41
1
gnutls
3.8.5-6.fc41
3.8.6-1.fc41
2
ocaml-sexplib0-devel
0.16.0-10.fc41
0.17.0-1.fc41
2
glibc
2.39.9000-26.fc41
2.39.9000-29.fc41
2
ocaml-why3
1.7.2-4.fc41
1.7.2-5.fc41
2
ocaml-ppx-deriving-yojson
3.8.0-3.fc41
3.8.0-4.fc41
2
ocaml-yaml
3.2.0-8.fc41
3.2.0-9.fc41
2
ocaml-parsexp-devel
0.16.0-12.fc41
0.17.0-1.fc41
2
ocaml-ppxlib-devel
1:0.32.1-3.fc41
1:0.32.1-4.fc41
2
systemd-libs
256.1-3.fc41
256.1-8.fc41
2
ocaml-sexplib
1:0.16.0-13.fc41
1:0.17.0-1.fc41
2
pyproject-rpm-macros
1.12.2-1.fc41
1.13.0-1.fc41
2
ocaml-sexplib-devel
1:0.16.0-13.fc41
1:0.17.0-1.fc41
2
ocaml-ppx-deriving-yaml
0.3.0-2.fc41
0.3.0-3.fc41
2
ocaml-parsexp
0.16.0-12.fc41
0.17.0-1.fc41
2
ocaml-sexplib0
0.16.0-10.fc41
0.17.0-1.fc41
2
ocaml-ppxlib
1:0.32.1-3.fc41
1:0.32.1-4.fc41
2
ocaml-ppx-deriving
6.0.2-3.fc41
6.0.2-4.fc41
2
ocaml-lwt-devel
5.7.0-10.fc41
5.7.0-11.fc41
3
glibc-gconv-extra
2.39.9000-26.fc41
2.39.9000-29.fc41
3
glibc-devel
2.39.9000-26.fc41
2.39.9000-29.fc41
3
glibc-minimal-langpack
2.39.9000-26.fc41
2.39.9000-29.fc41
3
findutils
1:4.10.0-2.fc41
1:4.10.0-3.fc41
3
mpdecimal
2.5.1-9.fc40
2.5.1-15.fc41
3
pyproject-srpm-macros
1.12.2-1.fc41
1.13.0-1.fc41
3
ocaml-lwt
5.7.0-10.fc41
5.7.0-11.fc41
3
qt6-srpm-macros
6.7.1-1.fc41
6.7.2-1.fc41
3
glibc-common
2.39.9000-26.fc41
2.39.9000-29.fc41
3
glibc-headers-x86
2.39.9000-26.fc41
2.39.9000-29.fc41
4
complete
119911385
2024-07-02 18:56:31
aarch64
├119911470 ( build.log | root.log )
ppc64le
├119911471 ( build.log | root.log )
x86_64
└119911472 ( build.log | root.log )
python3-devel
3.13.0~b3-1.fc41
3.13.0~b3-2.fc41
1
libarchive
3.7.4-1.fc41
3.7.4-2.fc41
2
libgcc
14.1.1-6.fc41
14.1.1-7.fc41
2
gcc-c++
14.1.1-6.fc41
14.1.1-7.fc41
2
python3-libs
3.13.0~b3-1.fc41
3.13.0~b3-2.fc41
2
libselinux
3.6-6.fc41
3.7-1.fc41
2
libstdc++
14.1.1-6.fc41
14.1.1-7.fc41
2
libstdc++-devel
14.1.1-6.fc41
14.1.1-7.fc41
2
libgccjit
14.1.1-6.fc41
14.1.1-7.fc41
2
gcc
14.1.1-6.fc41
14.1.1-7.fc41
2
python3
3.13.0~b3-1.fc41
3.13.0~b3-2.fc41
2
libsepol
3.6-3.fc40
3.7-1.fc41
3
libquadmath
14.1.1-6.fc41
14.1.1-7.fc41
3
libgfortran
14.1.1-6.fc41
14.1.1-7.fc41
3
gcc-plugin-annobin
14.1.1-6.fc41
14.1.1-7.fc41
3
gc
8.2.2-6.fc40
8.2.6-1.fc41
3
annobin-plugin-gcc
12.59-1.fc41
12.60-1.fc41
3
libgomp
14.1.1-6.fc41
14.1.1-7.fc41
3
build-reproducibility-srpm-macros
0.3.2-1.fc41
0.3.3-1.fc41
3
openssl-libs
1:3.2.2-2.fc41
1:3.2.2-3.fc41
3
cpp
14.1.1-6.fc41
14.1.1-7.fc41
3
pam-libs
1.6.1-3.fc41
1.6.1-4.fc41
4
pam
1.6.1-3.fc41
1.6.1-4.fc41
4
add-determinism
0.3.2-1.fc41
0.3.3-1.fc41
4
kernel-headers
6.10.0-0.rc5.43.fc41
6.10.0-0.rc6.50.fc41
4
libselinux-devel
3.6-6.fc41
3.7-1.fc41
4
annobin-docs
12.59-1.fc41
12.60-1.fc41
4
authselect-libs
1.5.0-5.fc41
1.5.0-6.fc41
4
authselect
1.5.0-5.fc41
1.5.0-6.fc41
B
libsepol-devel
3.6-3.fc40
3.7-1.fc41
B
libsemanage
3.6-4.fc41
3.7-1.fc41
B
complete
119788581
2024-06-29 19:27:03
aarch64
├119788800 ( build.log | root.log )
ppc64le
├119788801 ( build.log | root.log )
x86_64
└119788802 ( build.log | root.log )
python3-devel
3.13.0~b2-4.fc41
3.13.0~b3-1.fc41
1
python3-libs
3.13.0~b2-4.fc41
3.13.0~b3-1.fc41
2
python3
3.13.0~b2-4.fc41
3.13.0~b3-1.fc41
2
gnutls
3.8.5-5.fc41
3.8.5-6.fc41
2
crypto-policies
20240521-1.gitf71d135....
20240628-1.gitddd11d3....
3
openssl-libs
1:3.2.2-1.fc41
1:3.2.2-2.fc41
3
python-pip-wheel
24.0-5.fc41
24.1.1-1.fc41
3
build-reproducibility-srpm-macros
0.3.1-2.fc41
0.3.2-1.fc41
3
wayland-devel
1.22.0-3.fc40
1.23.0-1.fc41
3
libwayland-cursor
1.22.0-3.fc40
1.23.0-1.fc41
3
libwayland-client
1.22.0-3.fc40
1.23.0-1.fc41
3
libwayland-egl
1.22.0-3.fc40
1.23.0-1.fc41
3
add-determinism
0.3.1-2.fc41
0.3.2-1.fc41
4
libwayland-server
1.22.0-3.fc40
1.23.0-1.fc41
4
gdb-minimal
14.2-12.fc41
14.2-13.fc41
4
mesa-libgbm
24.1.2-2.fc41
24.1.2-6.fc41
B
mesa-libGL
24.1.2-2.fc41
24.1.2-6.fc41
B
crypto-policies-scripts
20240521-1.gitf71d135....
20240628-1.gitddd11d3....
B
mesa-libEGL
24.1.2-2.fc41
24.1.2-6.fc41
B
mesa-libglapi
24.1.2-2.fc41
24.1.2-6.fc41
B
complete
119710904
2024-06-27 19:35:18
aarch64
├119710995 ( build.log | root.log )
ppc64le
├119710996 ( build.log | root.log )
x86_64
└119710997 ( build.log | root.log )
pyproject-rpm-macros
1.12.1-1.fc41
1.12.2-1.fc41
2
python-rpm-macros
3.13-1.fc41
3.13-2.fc41
2
python3-rpm-macros
3.13-1.fc41
3.13-2.fc41
2
pcre2
10.43-2.fc41.1
10.44-1.fc41
3
cups-libs
1:2.4.8-5.fc41
1:2.4.10-1.fc41
3
openldap
2.6.8-2.fc41
2.6.8-3.fc41
3
build-reproducibility-srpm-macros
0.3.1-1.fc41
0.3.1-2.fc41
3
libnghttp2
1.62.0-1.fc41
1.62.1-1.fc41
3
pyproject-srpm-macros
1.12.1-1.fc41
1.12.2-1.fc41
3
python-srpm-macros
3.13-1.fc41
3.13-2.fc41
3
libcap
2.70-1.fc41
2.70-2.fc41
3
kernel-headers
6.10.0-0.rc4.38.fc41
6.10.0-0.rc5.43.fc41
4
libsoup3
3.5.1-1.fc41
3.5.1-3.fc41
4
add-determinism
0.3.1-1.fc41
0.3.1-2.fc41
4
libcom_err-devel
1.47.0-5.fc40
1.47.1-1.fc41
4
libicu
74.2-1.fc40
74.2-1.fc41
4
pcre2-devel
10.43-2.fc41.1
10.44-1.fc41
4
libcom_err
1.47.0-5.fc40
1.47.1-1.fc41
4
pcre2-syntax
10.43-2.fc41.1
10.44-1.fc41
4
pcre2-utf16
10.43-2.fc41.1
10.44-1.fc41
B
mesa-libglapi
24.1.2-1.fc41
24.1.2-2.fc41
B
mesa-libGL
24.1.2-1.fc41
24.1.2-2.fc41
B
libicu-devel
74.2-1.fc40
74.2-1.fc41
B
pcre2-utf32
10.43-2.fc41.1
10.44-1.fc41
B
mesa-libEGL
24.1.2-1.fc41
24.1.2-2.fc41
B
mesa-libgbm
24.1.2-1.fc41
24.1.2-2.fc41
B
complete
119517504
2024-06-24 16:10:45
aarch64
├119517644 ( build.log | root.log )
ppc64le
├119517645 ( build.log | root.log )
x86_64
└119517646 ( build.log | root.log )
graphviz
11.0.0-7.fc41
11.0.0-8.fc41
1
emacs-nw
1:29.3-10.fc41
1:29.4-3.fc41
1
python3-devel
3.13.0~b2-3.fc41
3.13.0~b2-4.fc41
1
clang
18.1.6-4.fc41
18.1.7-1.fc41
1
python3
3.13.0~b2-3.fc41
3.13.0~b2-4.fc41
2
graphviz-libs
11.0.0-7.fc41
11.0.0-8.fc41
2
llvm-libs
18.1.6-2.fc41
18.1.7-1.fc41
2
rpm-libs
4.19.91-13.fc41
4.19.92-1.fc41
2
emacs-common
1:29.3-10.fc41
1:29.4-3.fc41
2
clang-libs
18.1.6-4.fc41
18.1.7-1.fc41
2
python3-libs
3.13.0~b2-3.fc41
3.13.0~b2-4.fc41
2
clang-resource-filesystem
18.1.6-4.fc41
18.1.7-1.fc41
3
rpm-build
4.19.91-13.fc41
4.19.92-1.fc41
3
emacsclient
1:29.3-10.fc41
1:29.4-3.fc41
3
ca-certificates
2023.2.62_v7.0.401-6.fc40
2024.2.68_v8.0.302-2.fc41
3
default-fonts-core-sans
4.0-14.fc41
4.1-1.fc41
3
rpm
4.19.91-13.fc41
4.19.92-1.fc41
3
rpm-build-libs
4.19.91-13.fc41
4.19.92-1.fc41
4
libksba
1.6.6-1.fc41
1.6.7-1.fc41
B
complete
119424955
2024-06-22 11:25:38
aarch64
├119425111 ( build.log | root.log )
ppc64le
├119425112 ( build.log | root.log )
x86_64
└119425113 ( build.log | root.log )
perl-Getopt-Long
1:2.57-510.fc41
1:2.58-1.fc41
2
libgccjit
14.1.1-5.fc41
14.1.1-6.fc41
2
gcc
14.1.1-5.fc41
14.1.1-6.fc41
2
gcc-c++
14.1.1-5.fc41
14.1.1-6.fc41
2
libgcc
14.1.1-5.fc41
14.1.1-6.fc41
2
alternatives
1.27-1.fc41
1.28-1.fc41
2
harfbuzz
8.4.0-2.fc41
8.5.0-1.fc41
2
libstdc++-devel
14.1.1-5.fc41
14.1.1-6.fc41
2
zlib-ng-compat
2.1.6-6.fc41
2.1.7-1.fc41
2
libstdc++
14.1.1-5.fc41
14.1.1-6.fc41
2
cpp
14.1.1-5.fc41
14.1.1-6.fc41
3
libgomp
14.1.1-5.fc41
14.1.1-6.fc41
3
libgfortran
14.1.1-5.fc41
14.1.1-6.fc41
3
xz-libs
1:5.4.6-3.fc41
1:5.6.2-1.fc41
3
libquadmath
14.1.1-5.fc41
14.1.1-6.fc41
3
build-reproducibility-srpm-macros
0.3.0-2.fc41
0.3.1-1.fc41
3
gcc-plugin-annobin
14.1.1-5.fc41
14.1.1-6.fc41
3
xz
1:5.4.6-3.fc41
1:5.6.2-1.fc41
4
zlib-ng-compat-devel
2.1.6-6.fc41
2.1.7-1.fc41
4
harfbuzz-devel
8.4.0-2.fc41
8.5.0-1.fc41
4
add-determinism
0.3.0-2.fc41
0.3.1-1.fc41
4
xz-devel
1:5.4.6-3.fc41
1:5.6.2-1.fc41
4
cyrus-sasl-lib
2.1.28-22.fc41
2.1.28-24.fc41
4
nss
3.101.0-2.fc41
3.101.0-3.fc41
4
nspr
4.35.0-25.fc41
4.35.0-26.fc41
4
nss-util
3.101.0-2.fc41
3.101.0-3.fc41
B
nss-softokn-freebl
3.101.0-2.fc41
3.101.0-3.fc41
B
fedora-release-common
41-0.13
41-0.14
B
fedora-release
41-0.13
41-0.14
B
libgpg-error
1.49-1.fc41
1.50-1.fc41
B
mesa-libGL
24.1.1-4.fc41
24.1.2-1.fc41
B
mesa-libglapi
24.1.1-4.fc41
24.1.2-1.fc41
B
nss-sysinit
3.101.0-2.fc41
3.101.0-3.fc41
B
nss-softokn
3.101.0-2.fc41
3.101.0-3.fc41
B
mesa-libgbm
24.1.1-4.fc41
24.1.2-1.fc41
B
mesa-libEGL
24.1.1-4.fc41
24.1.2-1.fc41
B
libgcrypt
1.10.3-4.fc41
1.11.0-1.fc41
B
harfbuzz-icu
8.4.0-2.fc41
8.5.0-1.fc41
B
fedora-release-identity-basic
41-0.13
41-0.14
B
Real build: frama-c-29.0-3.fc41
complete
119306159
2024-06-19 19:05:38
aarch64
├119306173 ( build.log | root.log )
ppc64le
├119306174 ( build.log | root.log )
s390x
├119306175 ( build.log | root.log )
x86_64
└119306172 ( build.log | root.log )
graphviz
11.0.0-5.fc41
11.0.0-7.fc41
1
ocaml-why3-devel
1.7.2-3.fc41
1.7.2-4.fc41
1
ocaml-yaml-devel
3.2.0-7.fc41
3.2.0-8.fc41
1
ocaml-yojson-devel
2.1.2-6.fc41
2.1.2-7.fc41
1
ocaml-ppx-deriving-yojson-devel
3.8.0-2.fc41
3.8.0-3.fc41
1
ocaml-ocamlgraph-devel
2.1.0-7.fc41
2.1.0-8.fc41
1
ocaml
5.2.0-1.fc41
5.2.0-2.fc41
1
ocaml-ppx-deriving-devel
6.0.2-2.fc41
6.0.2-3.fc41
1
z3
4.13.0-3.fc41
4.13.0-4.fc41
1
why3
1.7.2-3.fc41
1.7.2-4.fc41
1
ocaml-menhir
20231231-4.fc41
20231231-5.fc41
1
ocaml-ppx-deriving-yaml-devel
0.3.0-1.fc41
0.3.0-2.fc41
1
alt-ergo
2.3.3-18.fc41
2.3.3-19.fc41
1
ocaml-dune-site-devel
3.16.0-1.fc41
3.16.0-2.fc41
1
ocaml-mlmpfr-devel
4.2.1-4.fc41
4.2.1-5.fc41
1
ocaml-zarith-devel
1.13-7.fc41
1.13-8.fc41
1
ocaml-lablgtk3-devel
3.1.5-1.fc41
3.1.5-2.fc41
1
ocaml-zmq-devel
5.3.0-2.fc41
5.3.0-3.fc41
1
ocaml-apron-devel
0.9.15-1.fc41
0.9.15-2.fc41
1
ocaml-unionfind-devel
20220122-5.fc41
20220122-6.fc41
1
ocaml-lablgtk3-sourceview3-devel
3.1.5-1.fc41
3.1.5-2.fc41
1
ocaml-dune
3.16.0-1.fc41
3.16.0-2.fc41
1
ocaml-dune-configurator-devel
3.16.0-1.fc41
3.16.0-2.fc41
1
ocaml-sexplib0-devel
0.16.0-9.fc41
0.16.0-10.fc41
2
ocaml-re-devel
1.11.0-7.fc41
1.11.0-8.fc41
2
ocaml-dune-configurator
3.16.0-1.fc41
3.16.0-2.fc41
2
ocaml-sexplib
1:0.16.0-12.fc41
1:0.16.0-13.fc41
2
ocaml-bos
0.2.1-19.fc41
0.2.1-20.fc41
2
ocaml-cairo
2:0.6.4-12.fc41
2:0.6.4-13.fc41
2
ocaml-bigarray-compat-devel
1.1.0-15.fc41
1.1.0-16.fc41
2
ocaml-logs
0.7.0-19.fc41
0.7.0-20.fc41
2
ocaml-ppxlib-devel
1:0.32.1-2.fc41
1:0.32.1-3.fc41
2
libgs
10.03.1-1.fc41
10.03.1-2.fc41
2
ocaml-dune-site
3.16.0-1.fc41
3.16.0-2.fc41
2
ocaml-parsexp-devel
0.16.0-11.fc41
0.16.0-12.fc41
2
ocaml-compiler-libs
5.2.0-1.fc41
5.2.0-2.fc41
2
ocaml-dune-private-libs
3.16.0-1.fc41
3.16.0-2.fc41
2
ocaml-fmt-devel
0.9.0-16.fc41
0.9.0-17.fc41
2
ocaml-unionfind
20220122-5.fc41
20220122-6.fc41
2
ocaml-bos-devel
0.2.1-19.fc41
0.2.1-20.fc41
2
ocaml-cairo-devel
2:0.6.4-12.fc41
2:0.6.4-13.fc41
2
ocaml-ppx-derivers-devel
1.2.1-36.fc41
1.2.1-37.fc41
2
ocaml-alt-ergo-lib
2.3.3-18.fc41
2.3.3-19.fc41
2
ocaml-apron
0.9.15-1.fc41
0.9.15-2.fc41
2
ocaml-integers
0.7.0-14.fc41
0.7.0-15.fc41
2
ocaml-lablgtk3
3.1.5-1.fc41
3.1.5-2.fc41
2
ocaml-dune-private-libs-devel
3.16.0-1.fc41
3.16.0-2.fc41
2
ocaml-sexplib0
0.16.0-9.fc41
0.16.0-10.fc41
2
ocaml-mlmpfr
4.2.1-4.fc41
4.2.1-5.fc41
2
ocaml-ppx-deriving
6.0.2-2.fc41
6.0.2-3.fc41
2
ocaml-num-devel
1.5-7.fc41
1.5-8.fc41
2
ocaml-alt-ergo-parsers
2.3.3-18.fc41
2.3.3-19.fc41
2
ocaml-integers-devel
0.7.0-14.fc41
0.7.0-15.fc41
2
apron-devel
0.9.15-1.fc41
0.9.15-2.fc41
2
ocaml-mlgmpidl-devel
1.3.0-9.fc41
1.3.0-10.fc41
2
ocaml-ppx-derivers
1.2.1-36.fc41
1.2.1-37.fc41
2
ocaml-rpm-macros
5.2.0-1.fc41
5.2.0-2.fc41
2
ocaml-bigarray-compat
1.1.0-15.fc41
1.1.0-16.fc41
2
ocaml-stdune-devel
3.16.0-1.fc41
3.16.0-2.fc41
2
ocaml-rresult-devel
0.7.0-17.fc41
0.7.0-18.fc41
2
apron
0.9.15-1.fc41
0.9.15-2.fc41
2
ocaml-why3
1.7.2-3.fc41
1.7.2-4.fc41
2
ocaml-ppxlib
1:0.32.1-2.fc41
1:0.32.1-3.fc41
2
ocaml-logs-devel
0.7.0-19.fc41
0.7.0-20.fc41
2
ocaml-runtime
5.2.0-1.fc41
5.2.0-2.fc41
2
ocaml-compiler-libs-janestreet-devel
0.17.0-2.fc41
0.17.0-3.fc41
2
ocaml-rresult
0.7.0-17.fc41
0.7.0-18.fc41
2
ocaml-fpath
0.7.3-21.fc41
0.7.3-22.fc41
2
ocaml-astring-devel
0.8.5-24.fc41
0.8.5-25.fc41
2
harfbuzz
8.4.0-1.fc41
8.4.0-2.fc41
2
ocaml-ctypes
0.22.0-2.fc41
0.22.0-3.fc41
2
ocaml-ppx-deriving-yojson
3.8.0-2.fc41
3.8.0-3.fc41
2
ocaml-fpath-devel
0.7.3-21.fc41
0.7.3-22.fc41
2
ocaml-zmq
5.3.0-2.fc41
5.3.0-3.fc41
2
ocaml-mlgmpidl
1.3.0-9.fc41
1.3.0-10.fc41
2
ocaml-compiler-libs-janestreet
0.17.0-2.fc41
0.17.0-3.fc41
2
ocaml-ocamlgraph
2.1.0-7.fc41
2.1.0-8.fc41
2
ocaml-csexp
1.5.2-11.fc41
1.5.2-12.fc41
2
systemd-libs
256-1.fc41
256.1-3.fc41
2
ocaml-parsexp
0.16.0-11.fc41
0.16.0-12.fc41
2
ocaml-ppx-deriving-yaml
0.3.0-1.fc41
0.3.0-2.fc41
2
ocaml-num
1.5-7.fc41
1.5-8.fc41
2
ocaml-fmt
0.9.0-16.fc41
0.9.0-17.fc41
2
ocaml-zip
1.11-16.fc41
1.11-17.fc41
2
ocaml-yojson
2.1.2-6.fc41
2.1.2-7.fc41
2
ocaml-zarith
1.13-7.fc41
1.13-8.fc41
2
ocaml-astring
0.8.5-24.fc41
0.8.5-25.fc41
2
ocaml-re
1.11.0-7.fc41
1.11.0-8.fc41
2
ocaml-zip-devel
1.11-16.fc41
1.11-17.fc41
2
ocaml-yaml
3.2.0-7.fc41
3.2.0-8.fc41
2
ocaml-sexplib-devel
1:0.16.0-12.fc41
1:0.16.0-13.fc41
2
ocaml-menhirlib-devel
20231231-4.fc41
20231231-5.fc41
2
ocaml-ctypes-devel
0.22.0-2.fc41
0.22.0-3.fc41
2
ocaml-menhirlib
20231231-4.fc41
20231231-5.fc41
2
ocaml-csexp-devel
1.5.2-11.fc41
1.5.2-12.fc41
2
ocaml-lablgtk3-sourceview3
3.1.5-1.fc41
3.1.5-2.fc41
2
graphviz-libs
11.0.0-5.fc41
11.0.0-7.fc41
2
ocaml-lwt
5.7.0-9.fc41
5.7.0-10.fc41
3
ocaml-pp-devel
1.2.0-7.fc41
1.2.0-8.fc41
3
ocaml-camlidl-devel
1.12-7.fc41
1.12-8.fc41
3
default-fonts-core-sans
4.0-13.fc41
4.0-14.fc41
3
nettle
3.10-1.fc41
3.10-2.fc41
3
fonts-srpm-macros
1:2.0.5-15.fc41
1:2.0.5-16.fc41
3
ocaml-cmdliner
1.3.0-2.fc41
1.3.0-3.fc41
3
ocaml-ordering-devel
3.16.0-1.fc41
3.16.0-2.fc41
3
build-reproducibility-srpm-macros
0.3.0-1.fc41
0.3.0-2.fc41
3
ocaml-pp
1.2.0-7.fc41
1.2.0-8.fc41
3
ocaml-ocplib-simplex
1:0.4.1-7.fc41
1:0.4.1-8.fc41
3
ocaml-psmt2-frontend
0.4.0-17.fc41
0.4.0-18.fc41
3
ocaml-stdune
3.16.0-1.fc41
3.16.0-2.fc41
3
ocaml-ordering
3.16.0-1.fc41
3.16.0-2.fc41
3
ocaml-dyn
3.16.0-1.fc41
3.16.0-2.fc41
3
fonts-filesystem
1:2.0.5-15.fc41
1:2.0.5-16.fc41
3
ocaml-dyn-devel
3.16.0-1.fc41
3.16.0-2.fc41
3
ocaml-lwt-devel
5.7.0-9.fc41
5.7.0-10.fc41
3
ocaml-cmdliner-devel
1.3.0-2.fc41
1.3.0-3.fc41
3
ocaml-ocplib-endian
1.2-16.fc41
1.2-17.fc41
4
ocaml-camlidl
1.12-7.fc41
1.12-8.fc41
4
harfbuzz-devel
8.4.0-1.fc41
8.4.0-2.fc41
4
gdb-minimal
14.2-11.fc41
14.2-12.fc41
4
ocaml-ocplib-endian-devel
1.2-16.fc41
1.2-17.fc41
4
add-determinism
0.3.0-1.fc41
0.3.0-2.fc41
4
harfbuzz-icu
8.4.0-1.fc41
8.4.0-2.fc41
B
Real build: frama-c-29.0-2.fc41
complete
119186388
2024-06-17 18:59:14
aarch64
├119186403 ( build.log | root.log )
s390x
├119186404 ( build.log | root.log )
x86_64
└119186402 ( build.log | root.log )
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
ocaml-dune-configurator-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-site
3.15.3-2.fc41
3.16.0-1.fc41
2
sqlite-libs
3.46.0-1.fc41
3.46.0-2.fc41
2
gnutls
3.8.5-2.fc41
3.8.5-5.fc41
2
ocaml-dune-configurator
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
pango
1.52.2-1.fc41
1.54.0-1.fc41
2
ocaml-dune-private-libs
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
glib2
2.80.2-1.fc41
2.80.3-1.fc41
2
ocaml-ordering
3.15.3-2.fc41
3.16.0-1.fc41
3
pango-devel
1.52.2-1.fc41
1.54.0-1.fc41
3
ocaml-stdune
3.15.3-2.fc41
3.16.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
python3-packaging
24.0-3.fc41
24.1-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-libglapi
24.1.1-2.fc41
24.1.1-4.fc41
B
mesa-libEGL
24.1.1-2.fc41
24.1.1-4.fc41
B
mesa-libgbm
24.1.1-2.fc41
24.1.1-4.fc41
B
mesa-libGL
24.1.1-2.fc41
24.1.1-4.fc41
B
Previous history
Koschei version 2afbb17
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues