frama-c

Package information

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

Scheduler parameters

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

alsa-lib
1.2.12-1.fc40
1.2.13-3.fc40
2
cups-libs
1:2.4.11-1.fc40
1:2.4.11-3.fc40
3
cups-filesystem
1:2.4.11-3.fc40
4
libsoup3
3.4.4-3.fc40
3.4.4-5.fc40
4
nss
3.105.0-1.fc40
3.106.0-1.fc40
4
nspr
4.35.0-30.fc40
4.36.0-1.fc40
4
nss-softokn
3.105.0-1.fc40
3.106.0-1.fc40
B
nss-softokn-freebl
3.105.0-1.fc40
3.106.0-1.fc40
B
nss-util
3.105.0-1.fc40
3.106.0-1.fc40
B
nss-sysinit
3.105.0-1.fc40
3.106.0-1.fc40
B

State overview

Groups

This package is not part of any global group.

Historical builds

complete
121143231
2024-07-28 07:38:59
aarch64
├121143336 ( build.log | root.log )
x86_64
└121143335 ( build.log | root.log )
emacs-nw
1:29.4-8.fc40
1:29.4-9.fc40
1
redhat-rpm-config
286-1.fc40
288-1.fc40
2
emacs-common
1:29.4-8.fc40
1:29.4-9.fc40
2
libgs
10.02.1-10.fc40
10.02.1-12.fc40
2
systemd-libs
255.8-1.fc40
255.10-1.fc40
2
emacs-filesystem
1:29.4-8.fc40
1:29.4-9.fc40
2
gtk3
3.24.42-2.fc40
3.24.43-1.fc40
2
gtk3-devel
3.24.42-2.fc40
3.24.43-1.fc40
2
cups-libs
1:2.4.10-1.fc40
1:2.4.10-3.fc40
3
rpm-sequoia
1.6.0-3.fc40
1.7.0-1.fc40
3
gtk-update-icon-cache
3.24.42-2.fc40
3.24.43-1.fc40
3
qt5-srpm-macros
5.15.14-1.fc40
5.15.14-2.fc40
3
libtirpc
1.3.4-1.rc3.fc40
1.3.5-0.fc40
3
qt6-srpm-macros
6.7.2-1.fc40
6.7.2-2.fc40
3
mesa-libgbm
24.1.2-8.fc40
24.1.4-3.fc40
B
libdrm
2.4.121-1.fc40
2.4.122-1.fc40
B
mesa-libEGL
24.1.2-8.fc40
24.1.4-3.fc40
B
mesa-libglapi
24.1.2-8.fc40
24.1.4-3.fc40
B
mesa-libGL
24.1.2-8.fc40
24.1.4-3.fc40
B
complete
120603857
2024-07-17 02:13:06
aarch64
├120603915 ( build.log | root.log )
x86_64
└120603914 ( build.log | root.log )
emacs-nw
1:29.4-3.fc40
1:29.4-8.fc40
1
harfbuzz
8.4.0-1.fc40
8.5.0-1.fc40
2
vim-filesystem
2:9.1.452-1.fc40
2:9.1.571-1.fc40
2
emacs-filesystem
1:29.4-3.fc40
1:29.4-8.fc40
2
emacs-common
1:29.4-3.fc40
1:29.4-8.fc40
2
krb5-libs
1.21.2-5.fc40
1.21.3-1.fc40
3
coreutils
9.4-6.fc40
9.4-7.fc40
3
coreutils-common
9.4-6.fc40
9.4-7.fc40
4
harfbuzz-devel
8.4.0-1.fc40
8.5.0-1.fc40
4
gdb-minimal
14.2-2.fc40
14.2-3.fc40
4
mesa-libgbm
24.1.2-7.fc40
24.1.2-8.fc40
B
libjxl
1:0.8.2-6.fc40
1:0.8.3-1.fc40
B
harfbuzz-icu
8.4.0-1.fc40
8.5.0-1.fc40
B
mesa-libGL
24.1.2-7.fc40
24.1.2-8.fc40
B
mesa-libEGL
24.1.2-7.fc40
24.1.2-8.fc40
B
mesa-libglapi
24.1.2-7.fc40
24.1.2-8.fc40
B
complete
120252380
2024-07-09 20:56:31
aarch64
├120252455 ( build.log | root.log )
x86_64
└120252454 ( build.log | root.log )
python3-devel
3.12.3-2.fc40
3.12.4-1.fc40
1
python3-libs
3.12.3-2.fc40
3.12.4-1.fc40
2
pyproject-rpm-macros
1.12.2-1.fc40
1.13.0-1.fc40
2
python3
3.12.3-2.fc40
3.12.4-1.fc40
2
gnutls
3.8.5-1.fc40
3.8.6-1.fc40
2
glibc
2.39-15.fc40
2.39-17.fc40
2
glibc-devel
2.39-15.fc40
2.39-17.fc40
3
p11-kit
0.25.3-4.fc40
0.25.5-1.fc40
3
glibc-minimal-langpack
2.39-15.fc40
2.39-17.fc40
3
findutils
1:4.9.0-8.fc40
1:4.9.0-9.fc40
3
qt6-srpm-macros
6.7.1-1.fc40
6.7.2-1.fc40
3
p11-kit-trust
0.25.3-4.fc40
0.25.5-1.fc40
3
pyproject-srpm-macros
1.12.2-1.fc40
1.13.0-1.fc40
3
glibc-gconv-extra
2.39-15.fc40
2.39-17.fc40
3
glibc-common
2.39-15.fc40
2.39-17.fc40
3
pcre2
10.42-2.fc40.2
10.44-1.fc40
3
pcre2-syntax
10.42-2.fc40.2
10.44-1.fc40
4
pcre2-devel
10.42-2.fc40.2
10.44-1.fc40
4
glibc-headers-x86
2.39-15.fc40
2.39-17.fc40
4
pcre2-utf16
10.42-2.fc40.2
10.44-1.fc40
B
pcre2-utf32
10.42-2.fc40.2
10.44-1.fc40
B
complete
119971155
2024-07-04 02:47:24
aarch64
├119971338 ( build.log | root.log )
x86_64
└119971339 ( build.log | root.log )
emacs-nw
1:29.3-6.fc40
1:29.4-3.fc40
1
python-rpm-macros
3.12-7.fc40
3.12-8.fc40
2
libgcc
14.1.1-6.fc40
14.1.1-7.fc40
2
systemd-libs
255.7-1.fc40
255.8-1.fc40
2
emacs-filesystem
1:29.3-6.fc40
1:29.4-3.fc40
2
emacs-common
1:29.3-6.fc40
1:29.4-3.fc40
2
pkgconf-pkg-config
2.1.0-1.fc40
2.1.1-1.fc40
2
libstdc++-devel
14.1.1-6.fc40
14.1.1-7.fc40
2
gcc-c++
14.1.1-6.fc40
14.1.1-7.fc40
2
zlib-ng-compat
2.1.6-5.fc40
2.1.7-1.fc40
2
libgs
10.02.1-9.fc40
10.02.1-10.fc40
2
libgccjit
14.1.1-6.fc40
14.1.1-7.fc40
2
libstdc++
14.1.1-6.fc40
14.1.1-7.fc40
2
python3-rpm-macros
3.12-7.fc40
3.12-8.fc40
2
gcc
14.1.1-6.fc40
14.1.1-7.fc40
2
pyproject-rpm-macros
1.12.0-1.fc40
1.12.2-1.fc40
2
pkgconf-m4
2.1.0-1.fc40
2.1.1-1.fc40
3
python-srpm-macros
3.12-7.fc40
3.12-8.fc40
3
cups-libs
1:2.4.8-3.fc40
1:2.4.10-1.fc40
3
pkgconf
2.1.0-1.fc40
2.1.1-1.fc40
3
pyproject-srpm-macros
1.12.0-1.fc40
1.12.2-1.fc40
3
cpp
14.1.1-6.fc40
14.1.1-7.fc40
3
gcc-plugin-annobin
14.1.1-6.fc40
14.1.1-7.fc40
3
libgomp
14.1.1-6.fc40
14.1.1-7.fc40
3
annobin-plugin-gcc
12.57-1.fc40
12.60-1.fc40
3
annobin-docs
12.57-1.fc40
12.60-1.fc40
4
libpkgconf
2.1.0-1.fc40
2.1.1-1.fc40
4
zlib-ng-compat-devel
2.1.6-5.fc40
2.1.7-1.fc40
4
mesa-libEGL
24.1.2-2.fc40
24.1.2-7.fc40
B
libgfortran
14.1.1-6.fc40
14.1.1-7.fc40
B
mesa-libGL
24.1.2-2.fc40
24.1.2-7.fc40
B
mesa-libgbm
24.1.2-2.fc40
24.1.2-7.fc40
B
mesa-libglapi
24.1.2-2.fc40
24.1.2-7.fc40
B
libquadmath
14.1.1-6.fc40
14.1.1-7.fc40
B
complete
119476026
2024-06-23 18:36:54
aarch64
├119476037 ( build.log | root.log )
x86_64
└119476038 ( build.log | root.log )
yq
4.43.1-2.fc40
1
gcc
14.1.1-5.fc40
14.1.1-6.fc40
2
gcc-c++
14.1.1-5.fc40
14.1.1-6.fc40
2
libgcc
14.1.1-5.fc40
14.1.1-6.fc40
2
libgs
10.02.1-8.fc40
10.02.1-9.fc40
2
libstdc++-devel
14.1.1-5.fc40
14.1.1-6.fc40
2
glib2
2.80.2-1.fc40
2.80.3-1.fc40
2
libxml2
2.12.7-1.fc40
2.12.8-1.fc40
2
libgccjit
14.1.1-5.fc40
14.1.1-6.fc40
2
libstdc++
14.1.1-5.fc40
14.1.1-6.fc40
2
pango
1.52.2-1.fc40
1.54.0-1.fc40
2
annobin-plugin-gcc
12.51-1.fc40
12.57-1.fc40
3
gcc-plugin-annobin
14.1.1-5.fc40
14.1.1-6.fc40
3
fribidi-devel
1.0.13-4.fc40
1.0.14-2.fc40
3
glib2-devel
2.80.2-1.fc40
2.80.3-1.fc40
3
libxml2-devel
2.12.7-1.fc40
2.12.8-1.fc40
3
cpp
14.1.1-5.fc40
14.1.1-6.fc40
3
libgomp
14.1.1-5.fc40
14.1.1-6.fc40
3
pango-devel
1.52.2-1.fc40
1.54.0-1.fc40
3
fribidi
1.0.13-4.fc40
1.0.14-2.fc40
3
kernel-headers
6.8.3-300.fc40
6.9.4-200.fc40
4
libdav1d
1.4.0-1.fc40
1.4.3-1.fc40
4
annobin-docs
12.51-1.fc40
12.57-1.fc40
4
docbook-utils
0.6.14-60.fc40
libgnomecanvas-devel
2.30.3-28.fc40
libgnomecanvas
2.30.3-28.fc40
python3-pygments
2.17.2-3.fc40
libart_lgpl-devel
2.3.21-32.fc40
docbook-style-xsl
1.79.2-22.fc40
libxslt
1.1.40-1.fc40
highway
1.1.0-1.fc40
1.2.0-2.fc40
B
ocaml-findlib
1.9.6-11.fc40
libquadmath
14.1.1-5.fc40
14.1.1-6.fc40
B
docbook-style-dsssl
1.79-39.fc40
perl-SGMLSpm
1.03ii-62.fc40
gtk-doc
1.34.0-1.fc40
ocaml-ppx-import-devel
1.10.0-15.fc40
openjade
1.3.2-80.fc40
mesa-libEGL
24.1.1-5.fc40
24.1.2-2.fc40
B
lynx
2.9.0-4.fc40
python3-lxml
5.1.0-7.fc40
mesa-libglapi
24.1.1-5.fc40
24.1.2-2.fc40
B
libgfortran
14.1.1-5.fc40
14.1.1-6.fc40
B
ocaml-ppx-import
1.10.0-15.fc40
libglade2
2.6.4-32.fc40
mesa-libGL
24.1.1-5.fc40
24.1.2-2.fc40
B
gtk2
2.24.33-18.fc40
docbook-dtds
1.0-85.fc40
ocaml-findlib-devel
1.9.6-11.fc40
opensp
1.5.2-46.fc40
libart_lgpl
2.3.21-32.fc40
gtk2-devel
2.24.33-18.fc40
mesa-libgbm
24.1.1-5.fc40
24.1.2-2.fc40
B
sgml-common
0.6.3-63.fc40
complete
119092184
2024-06-16 07:57:18
aarch64
├119092429 ( build.log | root.log )
x86_64
└119092428 ( build.log | root.log )
libappstream-glib
0.8.2-6.fc40
0.8.3-1.fc40
1
gcc-c++
14.1.1-4.fc40
14.1.1-5.fc40
2
libgccjit
14.1.1-4.fc40
14.1.1-5.fc40
2
librsvg2
2.57.1-4.fc40
2.57.1-6.fc40
2
libstdc++
14.1.1-4.fc40
14.1.1-5.fc40
2
libgcc
14.1.1-4.fc40
14.1.1-5.fc40
2
zlib-ng-compat
2.1.6-2.fc40
2.1.6-5.fc40
2
glibc
2.39-13.fc40
2.39-15.fc40
2
gcc
14.1.1-4.fc40
14.1.1-5.fc40
2
alsa-lib
1.2.11-2.fc40
1.2.12-1.fc40
2
libstdc++-devel
14.1.1-4.fc40
14.1.1-5.fc40
2
fontconfig
2.15.0-4.fc40
2.15.0-6.fc40
2
vim-filesystem
2:9.1.393-1.fc40
2:9.1.452-1.fc40
2
libxslt
1.1.39-3.fc40
1.1.40-1.fc40
3
glibc-devel
2.39-13.fc40
2.39-15.fc40
3
fontconfig-devel
2.15.0-4.fc40
2.15.0-6.fc40
3
glibc-gconv-extra
2.39-13.fc40
2.39-15.fc40
3
glibc-minimal-langpack
2.39-13.fc40
2.39-15.fc40
3
glibc-common
2.39-13.fc40
2.39-15.fc40
3
libgomp
14.1.1-4.fc40
14.1.1-5.fc40
3
gcc-plugin-annobin
14.1.1-4.fc40
14.1.1-5.fc40
3
rsvg-pixbuf-loader
2.57.1-4.fc40
2.57.1-6.fc40
3
cpp
14.1.1-4.fc40
14.1.1-5.fc40
3
flexiblas-netlib
3.4.2-1.fc40
3.4.4-1.fc40
4
glibc-headers-x86
2.39-13.fc40
2.39-15.fc40
4
nss
3.100.0-1.fc40
3.101.0-1.fc40
4
zlib-ng-compat-devel
2.1.6-2.fc40
2.1.6-5.fc40
4
nspr
4.35.0-23.fc40
4.35.0-24.fc40
4
libquadmath
14.1.1-4.fc40
14.1.1-5.fc40
B
nss-sysinit
3.100.0-1.fc40
3.101.0-1.fc40
B
mesa-libEGL
24.0.8-1.fc40
24.1.1-5.fc40
B
nss-softokn
3.100.0-1.fc40
3.101.0-1.fc40
B
flexiblas-openblas-openmp
3.4.2-1.fc40
3.4.4-1.fc40
B
nss-softokn-freebl
3.100.0-1.fc40
3.101.0-1.fc40
B
mesa-libgbm
24.0.8-1.fc40
24.1.1-5.fc40
B
nss-util
3.100.0-1.fc40
3.101.0-1.fc40
B
mesa-libglapi
24.0.8-1.fc40
24.1.1-5.fc40
B
flexiblas
3.4.2-1.fc40
3.4.4-1.fc40
B
libgfortran
14.1.1-4.fc40
14.1.1-5.fc40
B
mesa-libGL
24.0.8-1.fc40
24.1.1-5.fc40
B
libdrm
2.4.120-3.fc40
2.4.121-1.fc40
B
Real build: frama-c-29.0-1.fc40
complete
118983078
2024-06-13 22:02:51
aarch64
├118983193 ( build.log | root.log )
s390x
├118983194 ( build.log | root.log )
x86_64
└118983192 ( build.log | root.log )
Dependencies for this build couldn't be processed
complete
118648764
2024-06-06 11:55:27
aarch64
├118648841 ( build.log | root.log )
x86_64
└118648840 ( build.log | root.log )
perl-Getopt-Long
1:2.57-3.fc40
1:2.57-4.fc40
2
systemd-libs
255.6-1.fc40
255.7-1.fc40
2
libarchive
3.7.2-3.fc40
3.7.2-4.fc40
2
alternatives
1.26-3.fc40
1.27-1.fc40
2
llvm-libs
18.1.6-1.fc40
18.1.6-2.fc40
2
qt6-srpm-macros
6.7.0-1.fc40
6.7.1-1.fc40
3
adwaita-icon-theme
46.0-1.fc40
46.2-2.fc40
3
qt5-srpm-macros
5.15.13-1.fc40
5.15.14-1.fc40
3
perl-Pod-Usage
4:2.03-503.fc40
4:2.03-504.fc40
3
libavif
1.0.4-1.fc40
1.0.4-3.fc40
3
llvm
18.1.6-1.fc40
18.1.6-2.fc40
3
nss
3.99.0-1.fc40
3.100.0-1.fc40
4
adwaita-cursor-theme
46.0-1.fc40
46.2-2.fc40
4
nspr
4.35.0-22.fc40
4.35.0-23.fc40
4
gdb-minimal
14.2-1.fc40
14.2-2.fc40
4
libsodium
1.0.19-4.fc40
1.0.20-1.fc40
4
pam-libs
1.6.1-1.fc40
1.6.1-3.fc40
4
svt-av1-libs
1.4.1-5.fc40
2.1.0-1.fc40
4
xorg-x11-proto-devel
2024.1-1.fc40
2024.1-2.fc40
4
adwaita-icon-theme-legacy
46.2-1.fc40
4
pam
1.6.1-1.fc40
1.6.1-3.fc40
4
tpm2-tss
4.1.0-1.fc40
4.1.3-1.fc40
B
nss-softokn-freebl
3.99.0-1.fc40
3.100.0-1.fc40
B
hwdata
0.382-1.fc40
0.383-1.fc40
B
shadow-utils
2:4.15.1-2.fc40
2:4.15.1-3.fc40
B
libeconf
0.6.2-1.fc40
0.6.2-2.fc40
B
nss-sysinit
3.99.0-1.fc40
3.100.0-1.fc40
B
nss-util
3.99.0-1.fc40
3.100.0-1.fc40
B
nss-softokn
3.99.0-1.fc40
3.100.0-1.fc40
B
fedora-repos
40-1
40-2
B
fedora-gpg-keys
40-1
40-2
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