frama-c

Package information

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

Scheduler parameters

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

emacs-nw
1:29.4-38.fc41
1:29.4-43.fc41
1
emacs-common
1:29.4-38.fc41
1:29.4-43.fc41
2
libgccjit
14.2.1-3.fc41
14.2.1-7.fc41
2
gcc-c++
14.2.1-3.fc41
14.2.1-7.fc41
2
libstdc++-devel
14.2.1-3.fc41
14.2.1-7.fc41
2
libgcc
14.2.1-3.fc41
14.2.1-7.fc41
2
gcc
14.2.1-3.fc41
14.2.1-7.fc41
2
libstdc++
14.2.1-3.fc41
14.2.1-7.fc41
2
cpp
14.2.1-3.fc41
14.2.1-7.fc41
3
libgomp
14.2.1-3.fc41
14.2.1-7.fc41
3
emacsclient
1:29.4-38.fc41
1:29.4-43.fc41
3
gcc-plugin-annobin
14.2.1-3.fc41
14.2.1-7.fc41
3
flexiblas-netlib
3.4.4-3.fc41
3.4.4-5.fc41
4
libquadmath
14.2.1-3.fc41
14.2.1-7.fc41
B
flexiblas
3.4.4-3.fc41
3.4.4-5.fc41
B
flexiblas-openblas-openmp
3.4.4-3.fc41
3.4.4-5.fc41
B
libgfortran
14.2.1-3.fc41
14.2.1-7.fc41
B

State overview

Groups

This package is not part of any global group.

Historical builds

complete
123757259
2024-09-22 02:29:07
aarch64
├123757301 ( build.log | root.log )
ppc64le
├123757303 ( build.log | root.log )
x86_64
└123757302 ( build.log | root.log )
python3-devel
3.13.0~rc2-1.fc41
3.13.0~rc2-3.fc41
1
ocaml-logs
0.7.0-21.fc41
0.7.0-22.fc41
2
ocaml-bos
0.2.1-21.fc41
0.2.1-22.fc41
2
systemd-libs
256.5-1.fc41
256.6-1.fc41
2
expat
2.6.2-2.fc41
2.6.3-1.fc41
2
ocaml-logs-devel
0.7.0-21.fc41
0.7.0-22.fc41
2
zlib-ng-compat
2.1.7-2.fc41
2.1.7-3.fc41
2
ocaml-bos-devel
0.2.1-21.fc41
0.2.1-22.fc41
2
python3
3.13.0~rc2-1.fc41
3.13.0~rc2-3.fc41
2
python3-libs
3.13.0~rc2-1.fc41
3.13.0~rc2-3.fc41
2
libXi
1.8.1-6.fc41
1.8.2-1.fc41
3
openjpeg
2.5.2-3.fc41
2.5.2-4.fc41
3
libXi-devel
1.8.1-6.fc41
1.8.2-1.fc41
3
openssl-libs
1:3.2.2-5.fc41
1:3.2.2-7.fc41
3
shadow-utils
2:4.15.1-9.fc41
2:4.15.1-10.fc41
4
nss
3.103.0-1.fc41
3.104.0-1.fc41
4
nspr
4.35.0-28.fc41
4.35.0-29.fc41
4
zlib-ng-compat-devel
2.1.7-2.fc41
2.1.7-3.fc41
4
nss-softokn-freebl
3.103.0-1.fc41
3.104.0-1.fc41
B
hwdata
0.385-1.fc41
0.387-1.fc41
B
nss-softokn
3.103.0-1.fc41
3.104.0-1.fc41
B
mesa-filesystem
24.2.2-1.fc41
24.2.3-2.fc41
B
mesa-dri-drivers
24.2.2-1.fc41
24.2.3-2.fc41
B
mesa-libGL
24.2.2-1.fc41
24.2.3-2.fc41
B
nss-sysinit
3.103.0-1.fc41
3.104.0-1.fc41
B
perl-MIME-Base32
1.303-21.fc41
B
mesa-libEGL
24.2.2-1.fc41
24.2.3-2.fc41
B
mesa-libglapi
24.2.2-1.fc41
24.2.3-2.fc41
B
mesa-libgbm
24.2.2-1.fc41
24.2.3-2.fc41
B
nss-util
3.103.0-1.fc41
3.104.0-1.fc41
B
perl-URI
5.28-2.fc41
5.29-1.fc41
B
complete
123540309
2024-09-17 12:32:42
aarch64
├123540532 ( build.log | root.log )
ppc64le
├123540534 ( build.log | root.log )
x86_64
└123540533 ( build.log | root.log )
python3-devel
3.13.0~rc1-2.fc41
3.13.0~rc2-1.fc41
1
libgccjit
14.2.1-1.fc41
14.2.1-3.fc41
2
python3-libs
3.13.0~rc1-2.fc41
3.13.0~rc2-1.fc41
2
python3
3.13.0~rc1-2.fc41
3.13.0~rc2-1.fc41
2
gcc
14.2.1-1.fc41
14.2.1-3.fc41
2
libstdc++
14.2.1-1.fc41
14.2.1-3.fc41
2
vim-filesystem
2:9.1.660-2.fc41
2:9.1.719-1.fc41
2
libgcc
14.2.1-1.fc41
14.2.1-3.fc41
2
gcc-c++
14.2.1-1.fc41
14.2.1-3.fc41
2
libstdc++-devel
14.2.1-1.fc41
14.2.1-3.fc41
2
libgfortran
14.2.1-1.fc41
14.2.1-3.fc41
3
cpp
14.2.1-1.fc41
14.2.1-3.fc41
3
qt5-srpm-macros
5.15.14-3.fc41
5.15.15-1.fc41
3
libquadmath
14.2.1-1.fc41
14.2.1-3.fc41
3
libgomp
14.2.1-1.fc41
14.2.1-3.fc41
3
gcc-plugin-annobin
14.2.1-1.fc41
14.2.1-3.fc41
3
kernel-headers
6.11.0-0.rc5.43.fc41
6.11.0-63.fc41
4
perl-IO-Socket-SSL
2.088-2.fc41
2.089-1.fc41
B
mesa-libgbm
24.2.0-2.fc41
24.2.2-1.fc41
B
mesa-libglapi
24.2.0-2.fc41
24.2.2-1.fc41
B
mesa-libEGL
24.2.0-2.fc41
24.2.2-1.fc41
B
mesa-libGL
24.2.0-2.fc41
24.2.2-1.fc41
B
fedora-repos
41-0.4
41-0.5
B
mesa-filesystem
24.2.0-2.fc41
24.2.2-1.fc41
B
mesa-dri-drivers
24.2.0-2.fc41
24.2.2-1.fc41
B
fedora-gpg-keys
41-0.4
41-0.5
B
complete
122738493
2024-08-31 13:16:22
aarch64
├122738571 ( build.log | root.log )
ppc64le
├122738573 ( build.log | root.log )
x86_64
└122738572 ( build.log | root.log )
poppler-glib
24.02.0-4.fc41
24.08.0-1.fc41
2
libffi
3.4.6-2.fc41
3.4.6-3.fc41
2
libX11
1.8.10-1.fc41
1.8.10-2.fc41
2
glib2
2.81.2-2.fc41
2.82.0-1.fc41
2
glib2-devel
2.81.2-2.fc41
2.82.0-1.fc41
3
crypto-policies
20240807-1.git5795660....
20240826-1.gite824389....
3
libX11-common
1.8.10-1.fc41
1.8.10-2.fc41
3
poppler
24.02.0-4.fc41
24.08.0-1.fc41
3
coreutils
9.5-8.fc41
9.5-9.fc41
3
libX11-devel
1.8.10-1.fc41
1.8.10-2.fc41
3
libffi-devel
3.4.6-2.fc41
3.4.6-3.fc41
4
libsoup3
3.5.2-2.fc41
3.6.0-1.fc41
4
coreutils-common
9.5-8.fc41
9.5-9.fc41
4
kernel-headers
6.11.0-0.rc4.37.fc41
6.11.0-0.rc5.43.fc41
4
libX11-xcb
1.8.10-1.fc41
1.8.10-2.fc41
4
mesa-libGL
24.2.0-1.fc41
24.2.0-2.fc41
B
mesa-filesystem
24.2.0-1.fc41
24.2.0-2.fc41
B
mesa-libgbm
24.2.0-1.fc41
24.2.0-2.fc41
B
mesa-dri-drivers
24.2.0-1.fc41
24.2.0-2.fc41
B
libdrm
2.4.122-1.fc41
2.4.123-1.fc41
B
mesa-libEGL
24.2.0-1.fc41
24.2.0-2.fc41
B
mesa-libglapi
24.2.0-1.fc41
24.2.0-2.fc41
B
complete
122298791
2024-08-22 08:10:31
aarch64
├122298890 ( build.log | root.log )
ppc64le
├122298888 ( build.log | root.log )
x86_64
└122298889 ( build.log | root.log )
xapian-core-libs
1.4.23-3.fc41
1.4.26-1.fc41
2
harfbuzz
9.0.0-2.fc41
9.0.0-3.fc41
2
systemd-libs
256.4-1.fc41
256.5-1.fc41
2
glib2
2.81.1-1.fc41
2.81.2-2.fc41
2
pkgconf-pkg-config
2.1.1-2.fc41
2.3.0-1.fc41
2
sqlite-libs
3.46.0-4.fc41
3.46.1-1.fc41
2
pkgconf
2.1.1-2.fc41
2.3.0-1.fc41
3
glib2-devel
2.81.1-1.fc41
2.81.2-2.fc41
3
atk-devel
2.53.1-1.fc41
2.53.1-2.fc41
3
atk
2.53.1-1.fc41
2.53.1-2.fc41
3
binutils
2.43-2.fc41
2.43-3.fc41
3
rust-srpm-macros
26.3-1.fc41
26.3-3.fc41
3
pkgconf-m4
2.1.1-2.fc41
2.3.0-1.fc41
3
at-spi2-atk
2.53.1-1.fc41
2.53.1-2.fc41
3
coreutils
9.5-7.fc41
9.5-8.fc41
3
at-spi2-atk-devel
2.53.1-1.fc41
2.53.1-2.fc41
3
harfbuzz-devel
9.0.0-2.fc41
9.0.0-3.fc41
4
at-spi2-core
2.53.1-1.fc41
2.53.1-2.fc41
4
kernel-headers
6.11.0-0.rc3.30.fc41
6.11.0-0.rc4.37.fc41
4
libpkgconf
2.1.1-2.fc41
2.3.0-1.fc41
4
coreutils-common
9.5-7.fc41
9.5-8.fc41
4
at-spi2-core-devel
2.53.1-1.fc41
2.53.1-2.fc41
4
mesa-filesystem
24.2.0~rc4-1.fc41
24.2.0-1.fc41
B
harfbuzz-cairo
9.0.0-3.fc41
B
mesa-libEGL
24.2.0~rc4-1.fc41
24.2.0-1.fc41
B
harfbuzz-icu
9.0.0-2.fc41
9.0.0-3.fc41
B
mesa-dri-drivers
24.2.0~rc4-1.fc41
24.2.0-1.fc41
B
mesa-libglapi
24.2.0~rc4-1.fc41
24.2.0-1.fc41
B
mesa-libGL
24.2.0~rc4-1.fc41
24.2.0-1.fc41
B
mesa-libgbm
24.2.0~rc4-1.fc41
24.2.0-1.fc41
B
complete
122067397
2024-08-17 06:21:55
aarch64
├122067467 ( build.log | root.log )
ppc64le
├122067468 ( build.log | root.log )
x86_64
└122067469 ( build.log | root.log )
graphviz
12.0.0-3.fc41
12.1.0-1.fc41
1
libgccjit
14.1.1-7.fc41
14.2.1-1.fc41
2
graphviz-libs
12.0.0-3.fc41
12.1.0-1.fc41
2
libstdc++
14.1.1-7.fc41
14.2.1-1.fc41
2
libstdc++-devel
14.1.1-7.fc41
14.2.1-1.fc41
2
libgcc
14.1.1-7.fc41
14.2.1-1.fc41
2
gcc-c++
14.1.1-7.fc41
14.2.1-1.fc41
2
gcc
14.1.1-7.fc41
14.2.1-1.fc41
2
binutils
2.42.90-1.fc41
2.43-2.fc41
3
libquadmath
14.1.1-7.fc41
14.2.1-1.fc41
3
gcc-plugin-annobin
14.1.1-7.fc41
14.2.1-1.fc41
3
cpp
14.1.1-7.fc41
14.2.1-1.fc41
3
libgomp
14.1.1-7.fc41
14.2.1-1.fc41
3
cups-libs
1:2.4.10-3.fc41
1:2.4.10-6.fc41
3
libgfortran
14.1.1-7.fc41
14.2.1-1.fc41
3
libtiff
4.6.0-5.fc41
4.6.0-6.fc41
3
perl-Scalar-List-Utils
5:1.63-511.fc41
5:1.65-1.fc41
4
perl-parent
1:0.241-511.fc41
1:0.242-1.fc41
4
libtiff-devel
4.6.0-5.fc41
4.6.0-6.fc41
4
fedora-repos-rawhide
41-0.3
fedora-release-identity-basic
41-0.20
41-0.21
B
fedora-release
41-0.20
41-0.21
B
fedora-gpg-keys
41-0.3
41-0.4
B
fedora-repos
41-0.3
41-0.4
B
fedora-release-common
41-0.20
41-0.21
B
Real build: frama-c-29.0-8.fc41
complete
121876471
2024-08-13 03:49:42
aarch64
├121876755 ( build.log | root.log )
ppc64le
├121876756 ( build.log | root.log )
s390x
├121876757 ( build.log | root.log )
x86_64
└121876754 ( build.log | root.log )
ocaml-yaml-devel
3.2.0-11.fc41
3.2.0-12.fc41
1
ocaml-ctypes-devel
0.22.0-4.fc41
0.23.0-1.fc41
2
ocaml-yaml
3.2.0-11.fc41
3.2.0-12.fc41
2
ocaml-ctypes
0.22.0-4.fc41
0.23.0-1.fc41
2
complete
121859912
2024-08-12 20:10:01
aarch64
├121860057 ( build.log | root.log )
ppc64le
├121860058 ( build.log | root.log )
x86_64
└121860056 ( build.log | root.log )
libwebp
1.4.0-3.fc41
1.4.0-4.fc41
2
vim-filesystem
2:9.1.660-1.fc41
2:9.1.660-2.fc41
2
bash
5.2.26-4.fc41
5.2.32-1.fc41
2
libimagequant
4.0.3-4.fc41
4.0.3-5.fc41
3
adwaita-icon-theme
46.2-3.fc41
47~beta-1.fc41
3
annobin-plugin-gcc
12.67-1.fc41
12.69-1.fc41
3
crypto-policies
20240802-1.git2e5e430....
20240807-1.git5795660....
3
libedit
3.1-52.20240517cv...
3.1-53.20240808cv...
3
readline
8.2-9.fc41
8.2-10.fc41
3
nspr
4.35.0-27.fc41
4.35.0-28.fc41
4
audit-libs
4.0.1-4.fc41
4.0.2-1.fc41
4
nss
3.101.0-4.fc41
3.103.0-1.fc41
4
adwaita-cursor-theme
46.2-3.fc41
47~beta-1.fc41
4
kernel-headers
6.11.0-0.rc2.23.fc41
6.11.0-0.rc3.30.fc41
4
annobin-docs
12.67-1.fc41
12.69-1.fc41
4
fedora-repos
41-0.2
41-0.3
B
nss-sysinit
3.101.0-4.fc41
3.103.0-1.fc41
B
nss-util
3.101.0-4.fc41
3.103.0-1.fc41
B
fedora-gpg-keys
41-0.2
41-0.3
B
mesa-libgbm
24.2.0~rc3-1.fc41
24.2.0~rc4-1.fc41
B
nss-softokn
3.101.0-4.fc41
3.103.0-1.fc41
B
mesa-filesystem
24.2.0~rc3-1.fc41
24.2.0~rc4-1.fc41
B
nss-softokn-freebl
3.101.0-4.fc41
3.103.0-1.fc41
B
crypto-policies-scripts
20240802-1.git2e5e430....
mesa-libEGL
24.2.0~rc3-1.fc41
24.2.0~rc4-1.fc41
B
mesa-dri-drivers
24.2.0~rc3-1.fc41
24.2.0~rc4-1.fc41
B
mesa-libglapi
24.2.0~rc3-1.fc41
24.2.0~rc4-1.fc41
B
mesa-libGL
24.2.0~rc3-1.fc41
24.2.0~rc4-1.fc41
B
fedora-repos-rawhide
41-0.2
41-0.3
B
libwebp-devel
1.4.0-3.fc41
1.4.0-4.fc41
B
complete
121651392
2024-08-08 13:40:27
aarch64
├121651696 ( build.log | root.log )
ppc64le
├121651697 ( build.log | root.log )
x86_64
└121651695 ( build.log | root.log )
python3-devel
3.13.0~rc1-1.fc41
3.13.0~rc1-2.fc41
1
pandoc
3.1.3-30.fc41
3.1.11.1-32.fc41
1
doxygen
2:1.11.0-5.fc41
2:1.12.0-1.fc41
1
python3
3.13.0~rc1-1.fc41
3.13.0~rc1-2.fc41
2
python3-libs
3.13.0~rc1-1.fc41
3.13.0~rc1-2.fc41
2
alternatives
1.29-1.fc41
1.30-1.fc41
2
sqlite-libs
3.46.0-3.fc41
3.46.0-4.fc41
2
pandoc-common
3.1.3-30.fc41
3.1.11.1-31.fc41
2
at-spi2-atk
2.53.0-2.fc41
2.53.1-1.fc41
3
annobin-plugin-gcc
12.66-1.fc41
12.67-1.fc41
3
atk
2.53.0-2.fc41
2.53.1-1.fc41
3
forge-srpm-macros
0.3.1-2.fc41
0.3.2-1.fc41
3
python-pip-wheel
24.1.1-2.fc41
24.2-1.fc41
3
atk-devel
2.53.0-2.fc41
2.53.1-1.fc41
3
at-spi2-atk-devel
2.53.0-2.fc41
2.53.1-1.fc41
3
flexiblas-netlib
3.4.4-2.fc41
3.4.4-3.fc41
4
sysprof-capture-devel
47~alpha-2.fc41
47~beta-1.fc41
4
annobin-docs
12.66-1.fc41
12.67-1.fc41
4
at-spi2-core-devel
2.53.0-2.fc41
2.53.1-1.fc41
4
gdb-minimal
14.2-15.fc41
15.1-1.fc41
4
at-spi2-core
2.53.0-2.fc41
2.53.1-1.fc41
4
flexiblas
3.4.4-2.fc41
3.4.4-3.fc41
B
flexiblas-openblas-openmp
3.4.4-2.fc41
3.4.4-3.fc41
B
hwdata
0.384-2.fc41
0.385-1.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