frama-c

Package information

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

Scheduler parameters

Tracked by Koschei
True
Current priority
2345
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

python3-devel
3.12.5-2.fc40
3.12.6-1.fc40
1
zlib-ng-compat
2.1.7-1.fc40
2.1.7-2.fc40
2
libstdc++-devel
14.2.1-1.fc40
14.2.1-3.fc40
2
python3
3.12.5-2.fc40
3.12.6-1.fc40
2
llvm-libs
18.1.8-1.fc40
18.1.8-2.fc40
2
gcc
14.2.1-1.fc40
14.2.1-3.fc40
2
gcc-c++
14.2.1-1.fc40
14.2.1-3.fc40
2
libgcc
14.2.1-1.fc40
14.2.1-3.fc40
2
libgccjit
14.2.1-1.fc40
14.2.1-3.fc40
2
libstdc++
14.2.1-1.fc40
14.2.1-3.fc40
2
python3-libs
3.12.5-2.fc40
3.12.6-1.fc40
2
qt5-srpm-macros
5.15.14-2.fc40
5.15.15-1.fc40
3
gcc-plugin-annobin
14.2.1-1.fc40
14.2.1-3.fc40
3
cpp
14.2.1-1.fc40
14.2.1-3.fc40
3
libgomp
14.2.1-1.fc40
14.2.1-3.fc40
3
llvm
18.1.8-1.fc40
18.1.8-2.fc40
3
zlib-ng-compat-devel
2.1.7-1.fc40
2.1.7-2.fc40
4
libgfortran
14.2.1-1.fc40
14.2.1-3.fc40
B
libquadmath
14.2.1-1.fc40
14.2.1-3.fc40
B

State overview

Groups

This package is not part of any global group.

Historical builds

complete
115587980
2024-03-29 00:53:27
aarch64
├115588069 ( build.log | root.log )
x86_64
└115588068 ( build.log | root.log )
pandoc
3.1.3-27.fc40
3.1.3-29.fc40
1
ocaml-apron-devel
0.9.14-5.fc40
0.9.14-7.fc40
1
apron-devel
0.9.14-5.fc40
0.9.14-7.fc40
2
libgcc
14.0.1-0.8.fc40
14.0.1-0.12.fc40
2
pandoc-common
3.1.3-27.fc40
3.1.3-29.fc40
2
redhat-rpm-config
285-1.fc40
286-1.fc40
2
glibc
2.39-2.fc40
2.39-4.fc40
2
libgccjit
14.0.1-0.8.fc40
14.0.1-0.12.fc40
2
libtree-sitter
0.21.0-1.fc40
0.22.2-1.fc40
2
gcc
14.0.1-0.8.fc40
14.0.1-0.12.fc40
2
ocaml-apron
0.9.14-5.fc40
0.9.14-7.fc40
2
apron
0.9.14-5.fc40
0.9.14-7.fc40
2
gcc-c++
14.0.1-0.8.fc40
14.0.1-0.12.fc40
2
libstdc++-devel
14.0.1-0.8.fc40
14.0.1-0.12.fc40
2
libstdc++
14.0.1-0.8.fc40
14.0.1-0.12.fc40
2
gcc-plugin-annobin
14.0.1-0.8.fc40
14.0.1-0.12.fc40
3
glibc-gconv-extra
2.39-2.fc40
2.39-4.fc40
3
perl-encoding
4:3.00-504.fc40
4:3.00-505.fc40
3
cpp
14.0.1-0.8.fc40
14.0.1-0.12.fc40
3
perl-Encode
4:3.20-504.fc40
4:3.21-505.fc40
3
pplite
0.11-4.fc40
0.11-5.fc40
3
glibc-minimal-langpack
2.39-2.fc40
2.39-4.fc40
3
flint
2.9.0-7.fc40
3.1.2-1.fc40
3
glibc-devel
2.39-2.fc40
2.39-4.fc40
3
glibc-common
2.39-2.fc40
2.39-4.fc40
3
libgomp
14.0.1-0.8.fc40
14.0.1-0.12.fc40
3
glibc-headers-x86
2.39-2.fc40
2.39-4.fc40
4
audit-libs
4.0-8.fc40
4.0.1-1.fc40
4
perl-Text-Tabs+Wrap
2023.0511-5.fc40
2024.001-1.fc40
B
gf2x
1.3.0-12.fc40
libquadmath
14.0.1-0.8.fc40
14.0.1-0.12.fc40
B
libjxl
1:0.8.2-3.fc40
1:0.8.2-6.fc40
B
ntl
11.5.1-9.fc40
libgfortran
14.0.1-0.8.fc40
14.0.1-0.12.fc40
B
complete
115329154
2024-03-23 10:39:39
aarch64
├115329244 ( build.log | root.log )
x86_64
└115329245 ( build.log | root.log )
z3
4.12.6-1.fc40
4.13.0-1.fc40
1
ocaml-dune
3.14.0-1.fc40
3.14.2-1.fc40
1
ocaml-dune-configurator-devel
3.14.0-1.fc40
3.14.2-1.fc40
1
python3-devel
3.12.2-1.fc40
3.12.2-2.fc40
1
ocaml-dune-site-devel
3.14.0-1.fc40
3.14.2-1.fc40
1
gcc-c++
14.0.1-0.7.fc40
14.0.1-0.8.fc40
2
libstdc++-devel
14.0.1-0.7.fc40
14.0.1-0.8.fc40
2
python3
3.12.2-1.fc40
3.12.2-2.fc40
2
libgccjit
14.0.1-0.7.fc40
14.0.1-0.8.fc40
2
ocaml-dune-configurator
3.14.0-1.fc40
3.14.2-1.fc40
2
gd
2.3.3-15.fc40
2.3.3-16.fc40
2
ocaml-dune-private-libs-devel
3.14.0-1.fc40
3.14.2-1.fc40
2
libgcc
14.0.1-0.7.fc40
14.0.1-0.8.fc40
2
systemd-libs
255.3-1.fc40
255.4-1.fc40
2
libstdc++
14.0.1-0.7.fc40
14.0.1-0.8.fc40
2
vim-filesystem
2:9.1.113-1.fc40
2:9.1.158-1.fc40
2
gcc
14.0.1-0.7.fc40
14.0.1-0.8.fc40
2
ocaml-dune-site
3.14.0-1.fc40
3.14.2-1.fc40
2
python3-libs
3.12.2-1.fc40
3.12.2-2.fc40
2
ocaml-stdune-devel
3.14.0-1.fc40
3.14.2-1.fc40
2
ocaml-dune-private-libs
3.14.0-1.fc40
3.14.2-1.fc40
2
kernel-srpm-macros
1.0-22.fc40
1.0-23.fc40
3
annobin-plugin-gcc
12.40-1.fc40
12.42-1.fc40
3
libgomp
14.0.1-0.7.fc40
14.0.1-0.8.fc40
3
openjpeg2
2.5.1-1.fc40
2.5.2-1.fc40
3
cpp
14.0.1-0.7.fc40
14.0.1-0.8.fc40
3
ocaml-dyn-devel
3.14.0-1.fc40
3.14.2-1.fc40
3
ocaml-stdune
3.14.0-1.fc40
3.14.2-1.fc40
3
ocaml-ordering-devel
3.14.0-1.fc40
3.14.2-1.fc40
3
ocaml-dyn
3.14.0-1.fc40
3.14.2-1.fc40
3
gcc-plugin-annobin
14.0.1-0.7.fc40
14.0.1-0.8.fc40
3
libssh
0.10.6-4.fc40
0.10.6-5.fc40
3
ocaml-ordering
3.14.0-1.fc40
3.14.2-1.fc40
3
elfutils-libelf
0.190-6.fc40
0.191-4.fc40
4
libunwind
1.8.0-2.fc40
1.8.0-3.fc40
4
flexiblas-netlib
3.4.1-3.fc40
3.4.2-1.fc40
4
annobin-docs
12.40-1.fc40
12.42-1.fc40
4
libssh-config
0.10.6-4.fc40
0.10.6-5.fc40
4
elfutils
0.190-6.fc40
0.191-4.fc40
4
gettext
0.22-4.fc40
0.22.4-2.fc40
4
elfutils-debuginfod-client
0.190-6.fc40
0.191-4.fc40
4
libdav1d
1.3.0-3.fc40
1.4.0-1.fc40
4
kernel-headers
6.8.0-0.rc6.49.fc40
6.8.1-0.fc40
4
shadow-utils
2:4.15.0rc2-1.fc40
2:4.15.1-1.fc40
B
elfutils-default-yama-scope
0.190-6.fc40
0.191-4.fc40
B
gettext-envsubst
0.22-4.fc40
0.22.4-2.fc40
B
libgfortran
14.0.1-0.7.fc40
14.0.1-0.8.fc40
B
elfutils-libs
0.190-6.fc40
0.191-4.fc40
B
libeconf
0.5.2-3.fc40
0.6.2-1.fc40
B
libusb1
1.0.26-6.fc40
1.0.27-1.fc40
B
gettext-runtime
0.22-4.fc40
0.22.4-2.fc40
B
flexiblas
3.4.1-3.fc40
3.4.2-1.fc40
B
fedora-release-common
40-0.36
40-0.37
B
libassuan
2.5.6-4.fc40
2.5.7-1.fc40
B
fedora-release
40-0.36
40-0.37
B
libquadmath
14.0.1-0.7.fc40
14.0.1-0.8.fc40
B
gettext-libs
0.22-4.fc40
0.22.4-2.fc40
B
flexiblas-openblas-openmp
3.4.1-3.fc40
3.4.2-1.fc40
B
hwdata
0.379-1.fc40
0.380-1.fc40
B
fedora-release-identity-basic
40-0.36
40-0.37
B
complete
115278012
2024-03-22 04:37:26
aarch64
├115278057 ( build.log | root.log )
x86_64
└115278056 ( build.log | root.log )
z3
4.12.5-1.fc40
4.12.6-1.fc40
1
clang
17.0.6-6.fc40
18.1.0~rc4-2.fc40
1
gtk-doc
1.33.2-10.fc40
1.34.0-1.fc40
2
clang-libs
17.0.6-6.fc40
18.1.0~rc4-2.fc40
2
llvm-libs
17.0.6-6.fc40
18.1.0~rc4-1.fc40
2
redhat-rpm-config
282-1.fc40
285-1.fc40
2
llvm
17.0.6-6.fc40
18.1.0~rc4-1.fc40
3
at-spi2-atk-devel
2.51.90-1.fc40
2.51.91-1.fc40
3
crypto-policies
20240201-1.git9f501f3....
20240201-2.git9f501f3....
3
libtracker-sparql
3.7~beta-1.fc40
3.7~rc-1.fc40
3
at-spi2-atk
2.51.90-1.fc40
2.51.91-1.fc40
3
rust-srpm-macros
26.1-1.fc40
26.2-1.fc40
3
atk-devel
2.51.90-1.fc40
2.51.91-1.fc40
3
atk
2.51.90-1.fc40
2.51.91-1.fc40
3
adwaita-icon-theme
46~beta-2.fc40
46~rc-1.fc40
3
openjpeg2
2.5.0-7.fc40
2.5.1-1.fc40
3
clang-resource-filesystem
17.0.6-6.fc40
18.1.0~rc4-2.fc40
3
libavif
1.0.3-1.fc40
1.0.4-1.fc40
3
authselect-libs
1.5.0-4.fc40
1.5.0-5.fc40
4
sysprof-capture-devel
46~beta-1.fc40
46~rc-1.fc40
4
kernel-headers
6.8.0-0.rc5.41.fc40
6.8.0-0.rc6.49.fc40
4
at-spi2-core-devel
2.51.90-1.fc40
2.51.91-1.fc40
4
at-spi2-core
2.51.90-1.fc40
2.51.91-1.fc40
4
adwaita-cursor-theme
46~beta-2.fc40
46~rc-1.fc40
4
crypto-policies-scripts
20240201-1.git9f501f3....
20240201-2.git9f501f3....
B
highway
1.0.7-3.fc40
1.1.0-1.fc40
B
libei
1.2.1-1.fc40
fedora-repos
40-0.3
40-0.4
B
fedora-release-common
40-0.34
40-0.36
B
fedora-release
40-0.34
40-0.36
B
authselect
1.5.0-4.fc40
1.5.0-5.fc40
B
fedora-release-identity-basic
40-0.34
40-0.36
B
libgpg-error
1.47-4.fc40
1.48-1.fc40
B
libei-devel
1.2.1-1.fc40
libksba
1.6.5-3.fc40
1.6.6-1.fc40
B
fedora-gpg-keys
40-0.3
40-0.4
B
Koschei version 2afbb17
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues