frama-c

Package information

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

Scheduler parameters

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

libgccjit
14.0.1-0.14.fc41
14.0.1-0.15.fc41
2
pango
1.51.2-1.fc41
1.52.2-1.fc41
2
libtree-sitter
0.22.2-1.fc41
0.22.5-1.fc41
2
libstdc++-devel
14.0.1-0.14.fc41
14.0.1-0.15.fc41
2
gcc-c++
14.0.1-0.14.fc41
14.0.1-0.15.fc41
2
gcc
14.0.1-0.14.fc41
14.0.1-0.15.fc41
2
libwebp
1.3.2-5.fc41
1.4.0-1.fc41
2
libstdc++
14.0.1-0.14.fc41
14.0.1-0.15.fc41
2
libgcc
14.0.1-0.14.fc41
14.0.1-0.15.fc41
2
pango-devel
1.51.2-1.fc41
1.52.2-1.fc41
2
cpp
14.0.1-0.14.fc41
14.0.1-0.15.fc41
3
ansible-srpm-macros
1-14.fc40
1-15.fc41
3
go-srpm-macros
3.5.0-1.fc41
3.6.0-1.fc41
3
libgomp
14.0.1-0.14.fc41
14.0.1-0.15.fc41
3
gcc-plugin-annobin
14.0.1-0.14.fc41
14.0.1-0.15.fc41
3
kernel-headers
6.9.0-0.rc3.30.fc41
6.9.0-0.rc4.37.fc41
4
libwebp-devel
1.3.2-5.fc41
1.4.0-1.fc41
B
fedora-release-identity-basic
41-0.6
41-0.9
B
fedora-release-common
41-0.6
41-0.9
B
fedora-release
41-0.6
41-0.9
B
libgfortran
14.0.1-0.14.fc41
14.0.1-0.15.fc41
B
libquadmath
14.0.1-0.14.fc41
14.0.1-0.15.fc41
B

State overview

Groups

This package is not part of any global group.

Most recent builds

complete
116262748
2024-04-12 12:18:26
aarch64
├116262944 ( build.log | root.log )
x86_64
└116262945 ( build.log | root.log )
python3-devel
3.12.2-3.fc41
3.12.3-1.fc41
1
emacs-nw
1:29.3-2.fc41
1:29.3-5.fc41
1
libstdc++-devel
14.0.1-0.13.fc41
14.0.1-0.14.fc41
2
libstdc++
14.0.1-0.13.fc41
14.0.1-0.14.fc41
2
librsvg2
2.57.1-4.fc40
2.57.1-5.fc41
2
gcc
14.0.1-0.13.fc41
14.0.1-0.14.fc41
2
vim-filesystem
2:9.1.264-1.fc41
2:9.1.309-1.fc41
2
python3
3.12.2-3.fc41
3.12.3-1.fc41
2
redhat-rpm-config
287-1.fc41
288-1.fc41
2
gcc-c++
14.0.1-0.13.fc41
14.0.1-0.14.fc41
2
emacs-filesystem
1:29.3-2.fc41
1:29.3-5.fc41
2
libgcc
14.0.1-0.13.fc41
14.0.1-0.14.fc41
2
emacs-common
1:29.3-2.fc41
1:29.3-5.fc41
2
python3-libs
3.12.2-3.fc41
3.12.3-1.fc41
2
texlive-base
11:20230311-83.fc41
11:20230311-84.fc41
2
libgccjit
14.0.1-0.13.fc41
14.0.1-0.14.fc41
2
libgomp
14.0.1-0.13.fc41
14.0.1-0.14.fc41
3
rsvg-pixbuf-loader
2.57.1-4.fc40
2.57.1-5.fc41
3
cpp
14.0.1-0.13.fc41
14.0.1-0.14.fc41
3
tzdata
2024a-4.fc41
2024a-5.fc41
3
gcc-plugin-annobin
14.0.1-0.13.fc41
14.0.1-0.14.fc41
3
filesystem
3.18-8.fc40
3.18-9.fc41
3
forge-srpm-macros
0.3.0-1.fc41
0.3.1-1.fc41
3
libcap-ng
0.8.4-4.fc40
0.8.5-1.fc41
4
pam
1.6.0-2.fc41
1.6.1-1.fc41
4
kernel-headers
6.9.0-0.rc2.23.fc41
6.9.0-0.rc3.30.fc41
4
pam-libs
1.6.0-2.fc41
1.6.1-1.fc41
4
mesa-libglapi
24.0.4-1.fc41
24.0.5-1.fc41
B
mesa-libgbm
24.0.4-1.fc41
24.0.5-1.fc41
B
llvm
18.1.2-1.fc41
libgfortran
14.0.1-0.13.fc41
14.0.1-0.14.fc41
B
libquadmath
14.0.1-0.13.fc41
14.0.1-0.14.fc41
B
mesa-libEGL
24.0.4-1.fc41
24.0.5-1.fc41
B
mesa-libGL
24.0.4-1.fc41
24.0.5-1.fc41
B
complete
116100418
2024-04-08 19:42:27
aarch64
├116100467 ( build.log | root.log )
x86_64
└116100468 ( build.log | root.log )
ocaml-dune-configurator-devel
3.15.0-1.fc41
3.15.0-2.fc41
1
ocaml-dune-site-devel
3.15.0-1.fc41
3.15.0-2.fc41
1
ocaml-dune
3.15.0-1.fc41
3.15.0-2.fc41
1
libX11
1.8.8-1.fc41
1.8.9-1.fc41
2
ocaml-dune-private-libs-devel
3.15.0-1.fc41
3.15.0-2.fc41
2
libuuid
2.40-0.12.fc41
2.40-13.fc41
2
libarchive
3.7.2-3.fc40
3.7.2-3.fc41
2
ocaml-dune-private-libs
3.15.0-1.fc41
3.15.0-2.fc41
2
ocaml-stdune-devel
3.15.0-1.fc41
3.15.0-2.fc41
2
ocaml-dune-site
3.15.0-1.fc41
3.15.0-2.fc41
2
ocaml-dune-configurator
3.15.0-1.fc41
3.15.0-2.fc41
2
ocaml-dyn-devel
3.15.0-1.fc41
3.15.0-2.fc41
3
ocaml-ordering-devel
3.15.0-1.fc41
3.15.0-2.fc41
3
ocaml-dyn
3.15.0-1.fc41
3.15.0-2.fc41
3
ocaml-ordering
3.15.0-1.fc41
3.15.0-2.fc41
3
libmount
2.40-0.12.fc41
2.40-13.fc41
3
ocaml-stdune
3.15.0-1.fc41
3.15.0-2.fc41
3
util-linux
2.40-0.12.fc41
2.40-13.fc41
3
libX11-devel
1.8.8-1.fc41
1.8.9-1.fc41
3
libX11-common
1.8.8-1.fc41
1.8.9-1.fc41
3
util-linux-core
2.40-0.12.fc41
2.40-13.fc41
4
libblkid
2.40-0.12.fc41
2.40-13.fc41
4
libsmartcols
2.40-0.12.fc41
2.40-13.fc41
4
libX11-xcb
1.8.8-1.fc41
1.8.9-1.fc41
4
libfdisk
2.40-0.12.fc41
2.40-13.fc41
4
libmount-devel
2.40-0.12.fc41
2.40-13.fc41
4
libblkid-devel
2.40-0.12.fc41
2.40-13.fc41
B
complete
115986781
2024-04-06 17:34:20
aarch64
├115986889 ( build.log | root.log )
x86_64
└115986888 ( build.log | root.log )
clang
18.1.2-1.fc41
18.1.2-2.fc41
1
ocaml-dune-configurator-devel
3.14.2-1.fc41
3.15.0-1.fc41
1
ocaml-dune
3.14.2-1.fc41
3.15.0-1.fc41
1
ocaml-dune-site-devel
3.14.2-1.fc41
3.15.0-1.fc41
1
ocaml-stdune-devel
3.14.2-1.fc41
3.15.0-1.fc41
2
ocaml-dune-configurator
3.14.2-1.fc41
3.15.0-1.fc41
2
clang-libs
18.1.2-1.fc41
18.1.2-2.fc41
2
ocaml-dune-private-libs-devel
3.14.2-1.fc41
3.15.0-1.fc41
2
ocaml-dune-private-libs
3.14.2-1.fc41
3.15.0-1.fc41
2
ocaml-dune-site
3.14.2-1.fc41
3.15.0-1.fc41
2
vim-filesystem
2:9.1.252-1.fc41
2:9.1.264-1.fc41
2
python3-lxml
5.1.0-7.fc41
5.2.1-1.fc41
3
qt6-srpm-macros
6.6.2-1.fc41
6.7.0-1.fc41
3
ocaml-ordering-devel
3.14.2-1.fc41
3.15.0-1.fc41
3
ocaml-stdune
3.14.2-1.fc41
3.15.0-1.fc41
3
cups-libs
1:2.4.7-12.fc41
1:2.4.7-13.fc41
3
ocaml-dyn-devel
3.14.2-1.fc41
3.15.0-1.fc41
3
ocaml-dyn
3.14.2-1.fc41
3.15.0-1.fc41
3
ocaml-ordering
3.14.2-1.fc41
3.15.0-1.fc41
3
libcap
2.69-3.fc40
2.69-8.fc41
3
clang-resource-filesystem
18.1.2-1.fc41
18.1.2-2.fc41
3
complete
115888765
2024-04-04 19:56:53
aarch64
├115888807 ( build.log | root.log )
x86_64
└115888806 ( build.log | root.log )
emacs-nw
1:29.3-1.fc41
1:29.3-2.fc41
1
harfbuzz
8.3.1-1.fc41
8.4.0-1.fc41
2
emacs-common
1:29.3-1.fc41
1:29.3-2.fc41
2
gnutls
3.8.4-1.fc41
3.8.5-1.fc41
2
vim-filesystem
2:9.1.181-1.fc41
2:9.1.252-1.fc41
2
libX11
1.8.7-3.fc40
1.8.8-1.fc41
2
emacs-filesystem
1:29.3-1.fc41
1:29.3-2.fc41
2
libcurl
8.6.0-7.fc41
8.7.1-1.fc41
2
libxkbcommon-devel
1.6.0-2.fc41
1.7.0-1.fc41
3
libX11-common
1.8.7-3.fc40
1.8.8-1.fc41
3
libX11-devel
1.8.7-3.fc40
1.8.8-1.fc41
3
openssl-libs
1:3.2.1-3.fc41
1:3.2.1-6.fc41
3
libnghttp2
1.60.0-2.fc41
1.61.0-1.fc41
3
libxkbcommon
1.6.0-2.fc41
1.7.0-1.fc41
3
annobin-plugin-gcc
12.46-1.fc41
12.48-1.fc41
3
pixman
0.43.0-3.fc40
0.43.4-1.fc41
3
coreutils
9.4-6.fc40
9.5-1.fc41
3
harfbuzz-devel
8.3.1-1.fc41
8.4.0-1.fc41
3
pixman-devel
0.43.0-3.fc40
0.43.4-1.fc41
4
coreutils-common
9.4-6.fc40
9.5-1.fc41
4
libX11-xcb
1.8.7-3.fc40
1.8.8-1.fc41
4
google-noto-sans-vf-fonts
20240301-3.fc41
20240401-1.fc41
4
suitesparse
7.6.1-1.fc41
7.7.0-1.fc41
4
harfbuzz-icu
8.3.1-1.fc41
8.4.0-1.fc41
4
annobin-docs
12.46-1.fc41
12.48-1.fc41
4
curl
8.6.0-7.fc41
8.7.1-1.fc41
4
kernel-headers
6.9.0-0.rc1.17.fc41
6.9.0-0.rc2.23.fc41
4
mesa-libglapi
24.0.3-3.fc41
24.0.4-1.fc41
B
hwdata
0.380-1.fc41
0.381-1.fc41
B
google-noto-fonts-common
20240301-3.fc41
20240401-1.fc41
B
mesa-libGL
24.0.3-3.fc41
24.0.4-1.fc41
B
mesa-libEGL
24.0.3-3.fc41
24.0.4-1.fc41
B
mesa-libgbm
24.0.3-3.fc41
24.0.4-1.fc41
B
complete
115654062
2024-03-30 16:34:11
aarch64
├115654168 ( build.log | root.log )
x86_64
└115654167 ( build.log | root.log )
gcc-c++
14.0.1-0.12.fc41
14.0.1-0.13.fc41
2
libstdc++
14.0.1-0.12.fc41
14.0.1-0.13.fc41
2
libuuid
2.40-0.11.rc1.fc41
2.40-0.12.fc41
2
gcc
14.0.1-0.12.fc41
14.0.1-0.13.fc41
2
libzstd-devel
1.5.5-5.fc40
1.5.6-1.fc41
2
python3-rpm-macros
3.12-8.fc41
3.12-9.fc41
2
libgcc
14.0.1-0.12.fc41
14.0.1-0.13.fc41
2
libstdc++-devel
14.0.1-0.12.fc41
14.0.1-0.13.fc41
2
libgccjit
14.0.1-0.12.fc41
14.0.1-0.13.fc41
2
python-rpm-macros
3.12-8.fc41
3.12-9.fc41
2
libzstd
1.5.5-5.fc40
1.5.6-1.fc41
2
util-linux
2.40-0.11.rc1.fc41
2.40-0.12.fc41
3
xz-libs
5.6.1-1.fc41
1:5.4.6-3.fc41
3
cpp
14.0.1-0.12.fc41
14.0.1-0.13.fc41
3
libgomp
14.0.1-0.12.fc41
14.0.1-0.13.fc41
3
libtracker-sparql
3.7.0-1.fc41
3.7.1-1.fc41
3
libmount
2.40-0.11.rc1.fc41
2.40-0.12.fc41
3
gcc-plugin-annobin
14.0.1-0.12.fc41
14.0.1-0.13.fc41
3
python-srpm-macros
3.12-8.fc41
3.12-9.fc41
3
util-linux-core
2.40-0.11.rc1.fc41
2.40-0.12.fc41
4
libblkid
2.40-0.11.rc1.fc41
2.40-0.12.fc41
4
elfutils
0.191-4.fc41
0.191-5.fc41
4
libmount-devel
2.40-0.11.rc1.fc41
2.40-0.12.fc41
4
xz
5.6.1-1.fc41
1:5.4.6-3.fc41
4
elfutils-debuginfod-client
0.191-4.fc41
0.191-5.fc41
4
elfutils-libelf
0.191-4.fc41
0.191-5.fc41
4
zstd
1.5.5-5.fc40
1.5.6-1.fc41
4
xz-devel
5.6.1-1.fc41
1:5.4.6-3.fc41
4
libfdisk
2.40-0.11.rc1.fc41
2.40-0.12.fc41
4
libsmartcols
2.40-0.11.rc1.fc41
2.40-0.12.fc41
4
libgfortran
14.0.1-0.12.fc41
14.0.1-0.13.fc41
B
elfutils-default-yama-scope
0.191-4.fc41
0.191-5.fc41
B
mesa-libgbm
24.0.3-2.fc41
24.0.3-3.fc41
B
mesa-libEGL
24.0.3-2.fc41
24.0.3-3.fc41
B
elfutils-libs
0.191-4.fc41
0.191-5.fc41
B
perl-URI
5.27-1.fc40
5.28-1.fc41
B
libquadmath
14.0.1-0.12.fc41
14.0.1-0.13.fc41
B
mesa-libGL
24.0.3-2.fc41
24.0.3-3.fc41
B
libblkid-devel
2.40-0.11.rc1.fc41
2.40-0.12.fc41
B
mesa-libglapi
24.0.3-2.fc41
24.0.3-3.fc41
B
complete
115491501
2024-03-27 01:29:43
aarch64
├115491620 ( build.log | root.log )
x86_64
└115491619 ( build.log | root.log )
emacs-nw
1:29.2-3.fc40
1:29.3-1.fc41
1
ocaml-why3-devel
1.7.1-2.fc40
1.7.1-3.fc41
1
python3-devel
3.12.2-2.fc41
3.12.2-3.fc41
1
clang
18.1.1-1.fc41
18.1.2-1.fc41
1
why3
1.7.1-2.fc40
1.7.1-3.fc41
1
python3
3.12.2-2.fc41
3.12.2-3.fc41
2
llvm-libs
18.1.1-1.fc41
18.1.2-1.fc41
2
emacs-filesystem
1:29.2-3.fc40
1:29.3-1.fc41
2
emacs-common
1:29.2-3.fc40
1:29.3-1.fc41
2
glibc
2.39.9000-9.fc41
2.39.9000-10.fc41
2
python3-libs
3.12.2-2.fc41
3.12.2-3.fc41
2
ocaml-why3
1.7.1-2.fc40
1.7.1-3.fc41
2
clang-libs
18.1.1-1.fc41
18.1.2-1.fc41
2
glibc-common
2.39.9000-9.fc41
2.39.9000-10.fc41
3
glibc-gconv-extra
2.39.9000-9.fc41
2.39.9000-10.fc41
3
llvm
18.1.1-1.fc41
18.1.2-1.fc41
3
crypto-policies
20240304-1.git0375239....
20240320-1.git58e3d95....
3
glibc-minimal-langpack
2.39.9000-9.fc41
2.39.9000-10.fc41
3
clang-resource-filesystem
18.1.1-1.fc41
18.1.2-1.fc41
3
glibc-devel
2.39.9000-9.fc41
2.39.9000-10.fc41
3
annobin-plugin-gcc
12.45-1.fc41
12.46-1.fc41
3
xorg-x11-proto-devel
2023.2-4.fc40
2024.1-1.fc41
4
glibc-headers-x86
2.39.9000-9.fc41
2.39.9000-10.fc41
4
kernel-headers
6.8.0-0.rc7.55.fc41
6.9.0-0.rc1.17.fc41
4
annobin-docs
12.45-1.fc41
12.46-1.fc41
4
libgcrypt
1.10.3-3.fc40
1.10.3-4.fc41
B
crypto-policies-scripts
20240304-1.git0375239....
20240320-1.git58e3d95....
B
Real build: frama-c-28.1-2.fc41
complete
115406239
2024-03-25 11:29:36
aarch64
├115406395 ( build.log | root.log )
s390x
├115406396 ( build.log | root.log )
x86_64
└115406394 ( build.log | root.log )
glib2
2.79.1-1.fc40
2.80.0-1.fc41
2
python3-rpm-macros
3.12-7.fc40
3.12-8.fc41
2
python-rpm-macros
3.12-7.fc40
3.12-8.fc41
2
adwaita-icon-theme
46~rc-1.fc41
46.0-1.fc41
3
libtracker-sparql
3.7~rc-1.fc41
3.7.0-1.fc41
3
atk-devel
2.51.91-1.fc41
2.52.0-1.fc41
3
csdp
6.2.0-18.fc40
6.2.0-27.20181018gi...
3
python3-packaging
23.2-4.fc40
24.0-1.fc41
3
atk
2.51.91-1.fc41
2.52.0-1.fc41
3
annobin-plugin-gcc
12.44-1.fc41
12.45-1.fc41
3
glib2-devel
2.79.1-1.fc40
2.80.0-1.fc41
3
python-srpm-macros
3.12-7.fc40
3.12-8.fc41
3
at-spi2-atk-devel
2.51.91-1.fc41
2.52.0-1.fc41
3
at-spi2-atk
2.51.91-1.fc41
2.52.0-1.fc41
3
at-spi2-core
2.51.91-1.fc41
2.52.0-1.fc41
4
sysprof-capture-devel
46~rc-1.fc41
46.0-1.fc41
4
suitesparse
7.6.0-1.fc40
7.6.1-1.fc41
4
google-noto-sans-vf-fonts
20240301-2.fc41
20240301-3.fc41
4
at-spi2-core-devel
2.51.91-1.fc41
2.52.0-1.fc41
4
adwaita-cursor-theme
46~rc-1.fc41
46.0-1.fc41
4
annobin-docs
12.44-1.fc41
12.45-1.fc41
4
google-noto-fonts-common
20240301-2.fc41
20240301-3.fc41
B
complete
115250802
2024-03-21 14:27:40
aarch64
├115250883 ( build.log | root.log )
x86_64
└115250881 ( build.log | root.log )
gnutls
3.8.3-2.fc40
3.8.4-1.fc41
2
libffi
3.4.4-8.fc41
3.4.6-1.fc41
2
glibc
2.39.9000-8.fc41
2.39.9000-9.fc41
2
expat
2.6.0-1.fc41
2.6.2-1.fc41
2
libtree-sitter
0.22.1-1.fc41
0.22.2-1.fc41
2
libtirpc
1.3.4-1.rc2.fc40.2
1.3.4-1.rc3.fc41
3
glibc-devel
2.39.9000-8.fc41
2.39.9000-9.fc41
3
glibc-common
2.39.9000-8.fc41
2.39.9000-9.fc41
3
binutils
2.42.50-5.fc41
2.42.50-6.fc41
3
pcre2
10.42-2.fc40.2
10.43-1.fc41
3
glibc-minimal-langpack
2.39.9000-8.fc41
2.39.9000-9.fc41
3
ghc-srpm-macros
1.9-1.fc41
1.9.1-1.fc41
3
glibc-gconv-extra
2.39.9000-8.fc41
2.39.9000-9.fc41
3
flint
3.1.0-1.fc41
3.1.2-1.fc41
3
glibc-headers-x86
2.39.9000-8.fc41
2.39.9000-9.fc41
4
libffi-devel
3.4.4-8.fc41
3.4.6-1.fc41
4
elfutils-libelf
0.191-2.fc41
0.191-4.fc41
4
binutils-gold
2.42.50-5.fc41
2.42.50-6.fc41
4
nss
3.98.0-1.fc41
3.99.0-1.fc41
4
pcre2-syntax
10.42-2.fc40.2
10.43-1.fc41
4
nspr
4.35.0-21.fc41
4.35.0-22.fc41
4
pcre2-devel
10.42-2.fc40.2
10.43-1.fc41
4
elfutils
0.191-2.fc41
0.191-4.fc41
4
elfutils-debuginfod-client
0.191-2.fc41
0.191-4.fc41
4
nss-util
3.98.0-1.fc41
3.99.0-1.fc41
B
mesa-libEGL
24.0.3-1.fc41
24.0.3-2.fc41
B
nss-softokn
3.98.0-1.fc41
3.99.0-1.fc41
B
shadow-utils
2:4.15.1-1.fc41
2:4.15.1-2.fc41
B
nss-softokn-freebl
3.98.0-1.fc41
3.99.0-1.fc41
B
mesa-libGL
24.0.3-1.fc41
24.0.3-2.fc41
B
elfutils-libs
0.191-2.fc41
0.191-4.fc41
B
mesa-libgbm
24.0.3-1.fc41
24.0.3-2.fc41
B
pcre2-utf32
10.42-2.fc40.2
10.43-1.fc41
B
nss-sysinit
3.98.0-1.fc41
3.99.0-1.fc41
B
pcre2-utf16
10.42-2.fc40.2
10.43-1.fc41
B
elfutils-default-yama-scope
0.191-2.fc41
0.191-4.fc41
B
mesa-libglapi
24.0.3-1.fc41
24.0.3-2.fc41
B
Previous history
Koschei version
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues