frama-c

Package information

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

Scheduler parameters

Package is currently ineligible for scheduling due to following reasons:
  • Package dependencies are not resolvable
Tracked by Koschei
True
Current priority
0
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

No dependency changes

State overview

Groups

This package is not part of any global group.

Historical builds

complete
124040118
2024-09-27 06:58:09
aarch64
├124040226 ( build.log | root.log )
ppc64le
├124040228 ( build.log | root.log )
x86_64
└124040227 ( build.log | root.log )
graphviz
12.0.0-3.fc41
12.1.1-1.fc42
1
libarchive
3.7.4-3.fc41
3.7.6-1.fc42
2
glib2
2.82.1-1.fc42
2.82.1-2.fc42
2
libstdc++
14.2.1-3.fc42
14.2.1-4.fc42
2
libstdc++-devel
14.2.1-3.fc42
14.2.1-4.fc42
2
libgccjit
14.2.1-3.fc42
14.2.1-4.fc42
2
gcc-c++
14.2.1-3.fc42
14.2.1-4.fc42
2
harfbuzz
9.0.0-3.fc42
10.0.1-1.fc42
2
libgcc
14.2.1-3.fc42
14.2.1-4.fc42
2
vim-filesystem
2:9.1.719-1.fc42
2:9.1.737-1.fc42
2
librsvg2
2.57.1-8.fc41
2.57.1-9.fc42
2
gcc
14.2.1-3.fc42
14.2.1-4.fc42
2
redhat-rpm-config
295-1.fc42
296-1.fc42
2
graphviz-libs
12.0.0-3.fc41
12.1.1-1.fc42
2
libcurl
8.10.1-1.fc42
8.10.1-2.fc42
2
pyproject-rpm-macros
1.14.0-1.fc41
1.15.0-1.fc42
2
cpp
14.2.1-3.fc42
14.2.1-4.fc42
3
libgomp
14.2.1-3.fc42
14.2.1-4.fc42
3
cups-libs
1:2.4.10-6.fc42
1:2.4.10-7.fc42
3
rsvg-pixbuf-loader
2.57.1-8.fc41
2.57.1-9.fc42
3
gcc-plugin-annobin
14.2.1-3.fc42
14.2.1-4.fc42
3
glib2-devel
2.82.1-1.fc42
2.82.1-2.fc42
3
pyproject-srpm-macros
1.14.0-1.fc41
1.15.0-1.fc42
3
curl
8.10.1-1.fc42
8.10.1-2.fc42
4
harfbuzz-devel
9.0.0-3.fc42
10.0.1-1.fc42
4
perl-Scalar-List-Utils
5:1.65-1.fc41
5:1.66-1.fc42
4
ca-certificates
2024.2.68_v8.0.302-3.fc41
2024.2.69_v8.0.401-1.fc42
4
harfbuzz-icu
9.0.0-3.fc42
10.0.1-1.fc42
B
harfbuzz-cairo
9.0.0-3.fc42
10.0.1-1.fc42
B
libgfortran
14.2.1-3.fc42
14.2.1-4.fc42
B
libquadmath
14.2.1-3.fc42
14.2.1-4.fc42
B
complete
123816117
2024-09-23 08:38:43
aarch64
├123816184 ( build.log | root.log )
ppc64le
├123816187 ( build.log | root.log )
x86_64
└123816186 ( build.log | root.log )
emacs-nw
1:29.4-31.fc42
1:29.4-33.fc42
1
python3-devel
3.13.0~rc2-1.fc42
3.13.0~rc2-3.fc42
1
glib2
2.82.0-1.fc42
2.82.1-1.fc42
2
python3-libs
3.13.0~rc2-1.fc42
3.13.0~rc2-3.fc42
2
python3
3.13.0~rc2-1.fc42
3.13.0~rc2-3.fc42
2
libcurl
8.10.0-1.fc42
8.10.1-1.fc42
2
emacs-common
1:29.4-31.fc42
1:29.4-33.fc42
2
ghc-srpm-macros
1.9.1-2.fc41
1.9.2-1.fc42
3
libpng
2:1.6.40-4.fc41
2:1.6.44-1.fc42
3
libjpeg-turbo
3.0.2-3.fc41
3.0.4-1.fc42
3
emacsclient
1:29.4-31.fc42
1:29.4-33.fc42
3
glib2-devel
2.82.0-1.fc42
2.82.1-1.fc42
3
libpng-devel
2:1.6.40-4.fc41
2:1.6.44-1.fc42
4
libjpeg-turbo-devel
3.0.2-3.fc41
3.0.4-1.fc42
4
shadow-utils
2:4.16.0-3.fc42
2:4.16.0-4.fc42
4
curl
8.10.0-1.fc42
8.10.1-1.fc42
4
mesa-libGL
24.2.2-2.fc42
24.2.3-2.fc42
B
mesa-dri-drivers
24.2.2-2.fc42
24.2.3-2.fc42
B
mesa-libgbm
24.2.2-2.fc42
24.2.3-2.fc42
B
mesa-libglapi
24.2.2-2.fc42
24.2.3-2.fc42
B
mesa-libEGL
24.2.2-2.fc42
24.2.3-2.fc42
B
mesa-filesystem
24.2.2-2.fc42
24.2.3-2.fc42
B
fedora-repos
42-0.1
42-0.2
B
fedora-gpg-keys
42-0.1
42-0.2
B
fedora-repos-rawhide
42-0.1
42-0.2
B
complete
123571314
2024-09-17 23:34:02
aarch64
├123571423 ( build.log | root.log )
ppc64le
├123571425 ( build.log | root.log )
x86_64
└123571424 ( build.log | root.log )
gcc
14.2.1-2.fc42
14.2.1-3.fc42
2
libgcc
14.2.1-2.fc42
14.2.1-3.fc42
2
gnutls
3.8.7-2.fc42
3.8.7-4.fc42
2
libstdc++
14.2.1-2.fc42
14.2.1-3.fc42
2
libstdc++-devel
14.2.1-2.fc42
14.2.1-3.fc42
2
gcc-c++
14.2.1-2.fc42
14.2.1-3.fc42
2
libgccjit
14.2.1-2.fc42
14.2.1-3.fc42
2
cpp
14.2.1-2.fc42
14.2.1-3.fc42
3
at-spi2-atk-devel
2.53.90-1.fc42
2.54.0-1.fc42
3
gcc-plugin-annobin
14.2.1-2.fc42
14.2.1-3.fc42
3
atk
2.53.90-1.fc42
2.54.0-1.fc42
3
adwaita-icon-theme
47~beta-1.fc41
47.0-1.fc42
3
ppl
1.2-33.fc41
1.2-34.fc42
3
filesystem
3.18-23.fc41
3.18-29.fc42
3
atk-devel
2.53.90-1.fc42
2.54.0-1.fc42
3
libgomp
14.2.1-2.fc42
14.2.1-3.fc42
3
at-spi2-atk
2.53.90-1.fc42
2.54.0-1.fc42
3
openssl-libs
1:3.2.2-5.fc41
1:3.2.2-8.fc42
3
python-pip-wheel
24.2-1.fc41
24.2-2.fc42
3
shadow-utils
2:4.16.0-2.fc42
2:4.16.0-3.fc42
4
sysprof-capture-devel
47~beta-1.fc41
47.0-1.fc42
4
adwaita-cursor-theme
47~beta-1.fc41
47.0-1.fc42
4
at-spi2-core
2.53.90-1.fc42
2.54.0-1.fc42
4
kernel-headers
6.11.0-0.rc7.56.fc42
6.11.0-63.fc42
4
at-spi2-core-devel
2.53.90-1.fc42
2.54.0-1.fc42
4
libgfortran
14.2.1-2.fc42
14.2.1-3.fc42
B
libquadmath
14.2.1-2.fc42
14.2.1-3.fc42
B
complete
123312624
2024-09-12 18:16:20
aarch64
├123312930 ( build.log | root.log )
ppc64le
├123312932 ( build.log | root.log )
x86_64
└123312931 ( build.log | root.log )
python3-devel
3.13.0~rc1-3.fc42
3.13.0~rc2-1.fc42
1
ocaml-logs-devel
0.7.0-21.fc41
0.7.0-22.fc42
2
libselinux
3.7-5.fc41
3.7-6.fc42
2
ocaml-bos
0.2.1-21.fc41
0.2.1-22.fc42
2
ocaml-logs
0.7.0-21.fc41
0.7.0-22.fc42
2
ocaml-bos-devel
0.2.1-21.fc41
0.2.1-22.fc42
2
python3
3.13.0~rc1-3.fc42
3.13.0~rc2-1.fc42
2
rpm-libs
4.19.93-1.fc42
4.19.94-1.fc42
2
libcurl
8.9.1-3.fc42
8.10.0-1.fc42
2
python3-libs
3.13.0~rc1-3.fc42
3.13.0~rc2-1.fc42
2
zlib-ng-compat
2.1.7-2.fc41
2.1.7-3.fc42
2
rpm-build
4.19.93-1.fc42
4.19.94-1.fc42
3
libsepol
3.7-2.fc41
3.7-3.fc42
3
rpm
4.19.93-1.fc42
4.19.94-1.fc42
3
rpm-build-libs
4.19.93-1.fc42
4.19.94-1.fc42
4
gdb-minimal
15.1-1.fc41
15.1-2.fc42
4
kernel-headers
6.11.0-0.rc6.49.fc42
6.11.0-0.rc7.56.fc42
4
shadow-utils
2:4.15.1-9.fc41
2:4.16.0-2.fc42
4
libselinux-devel
3.7-5.fc41
3.7-6.fc42
4
curl
8.9.1-3.fc42
8.10.0-1.fc42
4
zlib-ng-compat-devel
2.1.7-2.fc41
2.1.7-3.fc42
4
info
7.1-3.fc41
7.1.1-1.fc42
B
libsepol-devel
3.7-2.fc41
3.7-3.fc42
B
libsemanage
3.7-2.fc41
3.7-3.fc42
B
complete
123080700
2024-09-08 02:05:17
aarch64
├123080795 ( build.log | root.log )
ppc64le
├123080799 ( build.log | root.log )
x86_64
└123080798 ( build.log | root.log )
gcc
14.2.1-1.fc42
14.2.1-2.fc42
2
libstdc++
14.2.1-1.fc42
14.2.1-2.fc42
2
redhat-rpm-config
294-1.fc42
295-1.fc42
2
gcc-c++
14.2.1-1.fc42
14.2.1-2.fc42
2
expat
2.6.2-2.fc41
2.6.3-1.fc42
2
glibc
2.40-3.fc41
2.40.9000-1.fc42
2
vim-filesystem
2:9.1.703-1.fc42
2:9.1.719-1.fc42
2
libstdc++-devel
14.2.1-1.fc42
14.2.1-2.fc42
2
libgccjit
14.2.1-1.fc42
14.2.1-2.fc42
2
libgcc
14.2.1-1.fc42
14.2.1-2.fc42
2
glibc-minimal-langpack
2.40-3.fc41
2.40.9000-1.fc42
3
glibc-gconv-extra
2.40-3.fc41
2.40.9000-1.fc42
3
gcc-plugin-annobin
14.2.1-1.fc42
14.2.1-2.fc42
3
libgomp
14.2.1-1.fc42
14.2.1-2.fc42
3
qt5-srpm-macros
5.15.14-3.fc41
5.15.15-1.fc42
3
openjpeg
2.5.2-3.fc41
2.5.2-4.fc42
3
cpp
14.2.1-1.fc42
14.2.1-2.fc42
3
glibc-common
2.40-3.fc41
2.40.9000-1.fc42
3
glibc-devel
2.40-3.fc41
2.40.9000-1.fc42
3
nss
3.103.0-1.fc41
3.104.0-1.fc42
4
nspr
4.35.0-28.fc41
4.35.0-29.fc42
4
glibc-headers-x86
2.40-3.fc41
2.40.9000-1.fc42
4
mesa-libgbm
24.2.1-5.fc42
24.2.2-2.fc42
B
nss-softokn
3.103.0-1.fc41
3.104.0-1.fc42
B
perl-URI
5.28-2.fc41
5.29-1.fc42
B
mesa-filesystem
24.2.1-5.fc42
24.2.2-2.fc42
B
mesa-libGL
24.2.1-5.fc42
24.2.2-2.fc42
B
mesa-libEGL
24.2.1-5.fc42
24.2.2-2.fc42
B
nss-sysinit
3.103.0-1.fc41
3.104.0-1.fc42
B
libgfortran
14.2.1-1.fc42
14.2.1-2.fc42
B
perl-MIME-Base32
1.303-21.fc41
B
hwdata
0.386-1.fc42
0.387-1.fc42
B
nss-util
3.103.0-1.fc41
3.104.0-1.fc42
B
nss-softokn-freebl
3.103.0-1.fc41
3.104.0-1.fc42
B
mesa-libglapi
24.2.1-5.fc42
24.2.2-2.fc42
B
mesa-dri-drivers
24.2.1-5.fc42
24.2.2-2.fc42
B
libquadmath
14.2.1-1.fc42
14.2.1-2.fc42
B
complete
122967901
2024-09-05 04:08:54
aarch64
├122968009 ( build.log | root.log )
ppc64le
├122968011 ( build.log | root.log )
x86_64
└122968010 ( build.log | root.log )
bash
5.2.32-1.fc41
5.2.32-2.fc42
2
json-glib
1.9.2-2.fc41
1.10.0-1.fc42
2
libuuid
2.40.2-6.fc42
2.40.2-8.fc42
2
rpm-libs
4.19.92-6.fc41
4.19.93-1.fc42
2
rpm
4.19.92-6.fc41
4.19.93-1.fc42
3
libXi
1.8.1-6.fc41
1.8.2-1.fc42
3
rpm-build
4.19.92-6.fc41
4.19.93-1.fc42
3
readline
8.2-10.fc41
8.2-11.fc42
3
libmount
2.40.2-6.fc42
2.40.2-8.fc42
3
util-linux
2.40.2-6.fc42
2.40.2-8.fc42
3
libXi-devel
1.8.1-6.fc41
1.8.2-1.fc42
3
rpm-build-libs
4.19.92-6.fc41
4.19.93-1.fc42
4
libfdisk
2.40.2-6.fc42
2.40.2-8.fc42
4
pam
1.6.1-5.fc41
1.6.1-6.fc42
4
libsmartcols
2.40.2-6.fc42
2.40.2-8.fc42
4
kernel-headers
6.11.0-0.rc5.43.fc42
6.11.0-0.rc6.49.fc42
4
google-noto-sans-vf-fonts
20240701-2.fc41
20240901-1.fc42
4
libmount-devel
2.40.2-6.fc42
2.40.2-8.fc42
4
libblkid
2.40.2-6.fc42
2.40.2-8.fc42
4
pam-libs
1.6.1-5.fc41
1.6.1-6.fc42
4
util-linux-core
2.40.2-6.fc42
2.40.2-8.fc42
4
mesa-filesystem
24.2.1-2.fc42
24.2.1-5.fc42
B
libutempter
1.2.1-15.fc41
mesa-libEGL
24.2.1-2.fc42
24.2.1-5.fc42
B
mesa-libGL
24.2.1-2.fc42
24.2.1-5.fc42
B
hwdata
0.385-1.fc41
0.386-1.fc42
B
libblkid-devel
2.40.2-6.fc42
2.40.2-8.fc42
B
mesa-libglapi
24.2.1-2.fc42
24.2.1-5.fc42
B
google-noto-fonts-common
20240701-2.fc41
20240901-1.fc42
B
mesa-libgbm
24.2.1-2.fc42
24.2.1-5.fc42
B
mesa-dri-drivers
24.2.1-2.fc42
24.2.1-5.fc42
B
complete
122808449
2024-09-01 21:35:27
aarch64
├122808532 ( build.log | root.log )
ppc64le
├122808534 ( build.log | root.log )
x86_64
└122808533 ( build.log | root.log )
python3-devel
3.13.0~rc1-2.fc41
3.13.0~rc1-3.fc42
1
vim-filesystem
2:9.1.660-2.fc41
2:9.1.703-1.fc42
2
python3
3.13.0~rc1-2.fc41
3.13.0~rc1-3.fc42
2
python3-libs
3.13.0~rc1-2.fc41
3.13.0~rc1-3.fc42
2
atk-devel
2.53.1-2.fc42
2.53.90-1.fc42
3
at-spi2-atk
2.53.1-2.fc42
2.53.90-1.fc42
3
libssh
0.10.6-8.fc41
0.11.1-1.fc42
3
atk
2.53.1-2.fc42
2.53.90-1.fc42
3
at-spi2-atk-devel
2.53.1-2.fc42
2.53.90-1.fc42
3
libssh-config
0.10.6-8.fc41
0.11.1-1.fc42
4
at-spi2-core-devel
2.53.1-2.fc42
2.53.90-1.fc42
4
at-spi2-core
2.53.1-2.fc42
2.53.90-1.fc42
4
mesa-filesystem
24.2.0-2.fc42
24.2.1-2.fc42
B
mesa-libgbm
24.2.0-2.fc42
24.2.1-2.fc42
B
perl-IO-Socket-SSL
2.088-2.fc41
2.089-1.fc42
B
mesa-dri-drivers
24.2.0-2.fc42
24.2.1-2.fc42
B
mesa-libGL
24.2.0-2.fc42
24.2.1-2.fc42
B
mesa-libglapi
24.2.0-2.fc42
24.2.1-2.fc42
B
mesa-libEGL
24.2.0-2.fc42
24.2.1-2.fc42
B
complete
122608583
2024-08-28 14:16:57
aarch64
├122608635 ( build.log | root.log )
ppc64le
├122608634 ( build.log | root.log )
x86_64
└122608636 ( build.log | root.log )
emacs-nw
1:29.4-29.fc41
1:29.4-31.fc42
1
libcurl
8.9.1-2.fc41
8.9.1-3.fc42
2
libX11
1.8.10-1.fc41
1.8.10-2.fc42
2
emacs-common
1:29.4-29.fc41
1:29.4-31.fc42
2
libtree-sitter
0.22.5-2.fc41
0.23.0-1.fc42
2
glib2
2.81.2-2.fc42
2.82.0-1.fc42
2
coreutils
9.5-8.fc42
9.5-9.fc42
3
libX11-devel
1.8.10-1.fc41
1.8.10-2.fc42
3
glib2-devel
2.81.2-2.fc42
2.82.0-1.fc42
3
libX11-common
1.8.10-1.fc41
1.8.10-2.fc42
3
emacsclient
1:29.4-29.fc41
1:29.4-31.fc42
3
libnghttp2
1.62.1-2.fc41
1.63.0-1.fc42
3
crypto-policies
20240822-1.git64c9381....
20240828-1.git5f66e81....
3
coreutils-common
9.5-8.fc42
9.5-9.fc42
4
curl
8.9.1-2.fc41
8.9.1-3.fc42
4
libsoup3
3.5.2-2.fc41
3.6.0-1.fc42
4
libX11-xcb
1.8.10-1.fc41
1.8.10-2.fc42
4
kernel-headers
6.11.0-0.rc4.37.fc42
6.11.0-0.rc5.43.fc42
4
mesa-filesystem
24.2.0-1.fc42
24.2.0-2.fc42
B
libdrm
2.4.122-1.fc41
2.4.123-1.fc42
B
mesa-libglapi
24.2.0-1.fc42
24.2.0-2.fc42
B
mesa-libEGL
24.2.0-1.fc42
24.2.0-2.fc42
B
mesa-dri-drivers
24.2.0-1.fc42
24.2.0-2.fc42
B
mesa-libgbm
24.2.0-1.fc42
24.2.0-2.fc42
B
mesa-libGL
24.2.0-1.fc42
24.2.0-2.fc42
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