frama-c

Package information

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

Scheduler parameters

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

flamegraph
1.0-17.20231107gi...
1.0-18.20231107gi...
1
systemd-libs
255.4-1.fc41
255.5-1.fc41
2
libtracker-sparql
3.7.1-1.fc41
3.7.2-1.fc41
3
gdb-minimal
14.2-1.fc41
14.2-5.fc41
4

State overview

Groups

This package is not part of any global group.

Most recent builds

complete
116823613
2024-04-24 16:17:31
aarch64
├116823694 ( build.log | root.log )
x86_64
└116823693 ( build.log | root.log )
ocaml-dune
3.15.1-1.fc41
3.15.2-1.fc41
1
ocaml-dune-site-devel
3.15.1-1.fc41
3.15.2-1.fc41
1
emacs-nw
1:29.3-6.fc41
1:29.3-7.fc41
1
ocaml-dune-configurator-devel
3.15.1-1.fc41
3.15.2-1.fc41
1
ocaml-dune-private-libs-devel
3.15.1-1.fc41
3.15.2-1.fc41
2
emacs-common
1:29.3-6.fc41
1:29.3-7.fc41
2
glibc
2.39.9000-12.fc41
2.39.9000-14.fc41
2
vim-filesystem
2:9.1.309-1.fc41
2:9.1.354-1.fc41
2
ocaml-stdune-devel
3.15.1-1.fc41
3.15.2-1.fc41
2
ocaml-dune-configurator
3.15.1-1.fc41
3.15.2-1.fc41
2
ocaml-dune-private-libs
3.15.1-1.fc41
3.15.2-1.fc41
2
ocaml-dune-site
3.15.1-1.fc41
3.15.2-1.fc41
2
libjpeg-turbo
3.0.2-1.fc40
3.0.2-2.fc41
3
ocaml-stdune
3.15.1-1.fc41
3.15.2-1.fc41
3
ocaml-dyn
3.15.1-1.fc41
3.15.2-1.fc41
3
glibc-common
2.39.9000-12.fc41
2.39.9000-14.fc41
3
ocaml-ordering-devel
3.15.1-1.fc41
3.15.2-1.fc41
3
glibc-minimal-langpack
2.39.9000-12.fc41
2.39.9000-14.fc41
3
ocaml-dyn-devel
3.15.1-1.fc41
3.15.2-1.fc41
3
ocaml-ordering
3.15.1-1.fc41
3.15.2-1.fc41
3
glibc-devel
2.39.9000-12.fc41
2.39.9000-14.fc41
3
cmake-filesystem
3.28.3-1.fc41
3.28.3-4.fc41
3
annobin-plugin-gcc
12.49-1.fc41
12.51-1.fc41
3
libpaper
1:2.1.1-3.fc40
1:2.1.1-4.fc41
3
glibc-gconv-extra
2.39.9000-12.fc41
2.39.9000-14.fc41
3
glibc-headers-x86
2.39.9000-12.fc41
2.39.9000-14.fc41
4
annobin-docs
12.49-1.fc41
12.51-1.fc41
4
libgusb
0.4.8-3.fc40
0.4.9-1.fc41
4
elfutils
0.191-5.fc41
0.191-7.fc41
4
libjpeg-turbo-devel
3.0.2-1.fc40
3.0.2-2.fc41
4
elfutils-libelf
0.191-5.fc41
0.191-7.fc41
4
kernel-headers
6.9.0-0.rc4.37.fc41
6.9.0-0.rc5.44.fc41
4
elfutils-debuginfod-client
0.191-5.fc41
0.191-7.fc41
4
ed
1.20.1-1.fc41
1.20.2-1.fc41
B
elfutils-libs
0.191-5.fc41
0.191-7.fc41
B
liblockfile
1.17-8.fc40
elfutils-default-yama-scope
0.191-5.fc41
0.191-7.fc41
B
complete
116705795
2024-04-22 03:03:42
aarch64
├116706018 ( build.log | root.log )
x86_64
└116706017 ( build.log | root.log )
clang
18.1.2-2.fc41
18.1.3-2.fc41
1
emacs-nw
1:29.3-5.fc41
1:29.3-6.fc41
1
perl-interpreter
4:5.38.2-506.fc40
4:5.38.2-507.fc41
2
perl-libs
4:5.38.2-506.fc40
4:5.38.2-507.fc41
2
perl-open
1.13-506.fc40
1.13-507.fc41
2
glibc
2.39.9000-10.fc41
2.39.9000-12.fc41
2
clang-libs
18.1.2-2.fc41
18.1.3-2.fc41
2
emacs-common
1:29.3-5.fc41
1:29.3-6.fc41
2
gdk-pixbuf2
2.42.10-8.fc40
2.42.11-1.fc41
2
llvm-libs
18.1.2-1.fc41
18.1.3-1.fc41
2
gdk-pixbuf2-devel
2.42.10-8.fc40
2.42.11-1.fc41
3
perl-overload
1.37-506.fc40
1.37-507.fc41
3
glibc-common
2.39.9000-10.fc41
2.39.9000-12.fc41
3
glibc-devel
2.39.9000-10.fc41
2.39.9000-12.fc41
3
glibc-minimal-langpack
2.39.9000-10.fc41
2.39.9000-12.fc41
3
gdk-pixbuf2-modules
2.42.10-8.fc40
2.42.11-1.fc41
3
annobin-plugin-gcc
12.48-1.fc41
12.49-1.fc41
3
perl-DynaLoader
1.54-506.fc40
1.54-507.fc41
3
clang-resource-filesystem
18.1.2-2.fc41
18.1.3-2.fc41
3
perl-base
2.27-506.fc40
2.27-507.fc41
3
glibc-gconv-extra
2.39.9000-10.fc41
2.39.9000-12.fc41
3
perl-File-Basename
2.86-506.fc40
2.86-507.fc41
4
perl-overloading
0.02-506.fc40
0.02-507.fc41
4
perl-vars
1.05-506.fc40
1.05-507.fc41
4
perl-FileHandle
2.05-506.fc40
2.05-507.fc41
4
perl-Errno
1.37-506.fc40
1.37-507.fc41
4
annobin-docs
12.48-1.fc41
12.49-1.fc41
4
perl-Getopt-Std
1.13-506.fc40
1.13-507.fc41
4
perl-mro
1.28-506.fc40
1.28-507.fc41
4
glibc-headers-x86
2.39.9000-10.fc41
2.39.9000-12.fc41
4
perl-locale
1.10-506.fc40
1.10-507.fc41
B
perl-if
0.61.000-506.fc40
0.61.000-507.fc41
B
perl-Symbol
1.09-506.fc40
1.09-507.fc41
B
perl-IPC-Open3
1.22-506.fc40
1.22-507.fc41
B
perl-Fcntl
1.15-506.fc40
1.15-507.fc41
B
perl-AutoLoader
5.74-506.fc40
5.74-507.fc41
B
perl-File-stat
1.13-506.fc40
1.13-507.fc41
B
perl-SelectSaver
1.02-506.fc40
1.02-507.fc41
B
perl-IO
1.52-506.fc40
1.52-507.fc41
B
perl-POSIX
2.13-506.fc40
2.13-507.fc41
B
perl-Class-Struct
0.68-506.fc40
0.68-507.fc41
B
perl-B
1.88-506.fc40
1.88-507.fc41
B
Real build: frama-c-28.1-3.fc41
complete
116562430
2024-04-18 16:09:08
aarch64
├116562590 ( build.log | root.log )
s390x
├116562591 ( build.log | root.log )
x86_64
└116562589 ( build.log | root.log )
why3
1.7.1-3.fc41
1.7.2-1.fc41
1
ocaml-why3-devel
1.7.1-3.fc41
1.7.2-1.fc41
1
ocaml-why3
1.7.1-3.fc41
1.7.2-1.fc41
2
complete
116560759
2024-04-18 15:23:14
aarch64
├116560831 ( build.log | root.log )
x86_64
└116560832 ( build.log | root.log )
ocaml-dune-site-devel
3.15.0-2.fc41
3.15.1-1.fc41
1
ocaml-dune-configurator-devel
3.15.0-2.fc41
3.15.1-1.fc41
1
ocaml-dune
3.15.0-2.fc41
3.15.1-1.fc41
1
python3-devel
3.12.3-1.fc41
3.12.3-2.fc41
1
ocaml-dune-private-libs
3.15.0-2.fc41
3.15.1-1.fc41
2
emacs-filesystem
1:29.3-5.fc41
1:30.0-2.fc41
2
ocaml-stdune-devel
3.15.0-2.fc41
3.15.1-1.fc41
2
python3
3.12.3-1.fc41
3.12.3-2.fc41
2
urw-base35-fonts
20200910-19.fc40
20200910-20.fc41
2
python3-libs
3.12.3-1.fc41
3.12.3-2.fc41
2
ocaml-dune-private-libs-devel
3.15.0-2.fc41
3.15.1-1.fc41
2
ocaml-dune-configurator
3.15.0-2.fc41
3.15.1-1.fc41
2
ocaml-dune-site
3.15.0-2.fc41
3.15.1-1.fc41
2
urw-base35-z003-fonts
20200910-19.fc40
20200910-20.fc41
3
urw-base35-p052-fonts
20200910-19.fc40
20200910-20.fc41
3
ocaml-stdune
3.15.0-2.fc41
3.15.1-1.fc41
3
urw-base35-nimbus-roman-fonts
20200910-19.fc40
20200910-20.fc41
3
ocaml-dyn-devel
3.15.0-2.fc41
3.15.1-1.fc41
3
ocaml-ordering
3.15.0-2.fc41
3.15.1-1.fc41
3
urw-base35-bookman-fonts
20200910-19.fc40
20200910-20.fc41
3
libavif
1.0.4-1.fc41
1.0.4-2.fc41
3
urw-base35-gothic-fonts
20200910-19.fc40
20200910-20.fc41
3
ocaml-ordering-devel
3.15.0-2.fc41
3.15.1-1.fc41
3
urw-base35-standard-symbols-ps-fonts
20200910-19.fc40
20200910-20.fc41
3
ocaml-dyn
3.15.0-2.fc41
3.15.1-1.fc41
3
urw-base35-nimbus-mono-ps-fonts
20200910-19.fc40
20200910-20.fc41
3
urw-base35-d050000l-fonts
20200910-19.fc40
20200910-20.fc41
3
urw-base35-c059-fonts
20200910-19.fc40
20200910-20.fc41
3
urw-base35-nimbus-sans-fonts
20200910-19.fc40
20200910-20.fc41
3
urw-base35-fonts-common
20200910-19.fc40
20200910-20.fc41
3
libaom
3.8.2-1.fc41
3.8.2-2.fc41
4
perl-Socket
4:2.037-5.fc40
4:2.038-1.fc41
B
complete
116450755
2024-04-16 11:40:55
aarch64
├116450848 ( build.log | root.log )
x86_64
└116450847 ( build.log | root.log )
libstdc++-devel
14.0.1-0.14.fc41
14.0.1-0.15.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
gcc-c++
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
pango
1.51.2-1.fc41
1.52.2-1.fc41
2
libgccjit
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
libtree-sitter
0.22.2-1.fc41
0.22.5-1.fc41
2
pango-devel
1.51.2-1.fc41
1.52.2-1.fc41
2
ansible-srpm-macros
1-14.fc40
1-15.fc41
3
libgomp
14.0.1-0.14.fc41
14.0.1-0.15.fc41
3
go-srpm-macros
3.5.0-1.fc41
3.6.0-1.fc41
3
gcc-plugin-annobin
14.0.1-0.14.fc41
14.0.1-0.15.fc41
3
cpp
14.0.1-0.14.fc41
14.0.1-0.15.fc41
3
libxcb
1.16.1-1.fc41
1.17.0-1.fc41
3
libxcb-devel
1.16.1-1.fc41
1.17.0-1.fc41
4
kernel-headers
6.9.0-0.rc3.30.fc41
6.9.0-0.rc4.37.fc41
4
fedora-release
41-0.6
41-0.9
B
libwebp-devel
1.3.2-5.fc41
1.4.0-1.fc41
B
libquadmath
14.0.1-0.14.fc41
14.0.1-0.15.fc41
B
libgfortran
14.0.1-0.14.fc41
14.0.1-0.15.fc41
B
dbus-broker
35-4.fc40
36-2.fc41
B
fedora-release-common
41-0.6
41-0.9
B
fedora-release-identity-basic
41-0.6
41-0.9
B
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
libgccjit
14.0.1-0.13.fc41
14.0.1-0.14.fc41
2
gcc-c++
14.0.1-0.13.fc41
14.0.1-0.14.fc41
2
python3
3.12.2-3.fc41
3.12.3-1.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
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
redhat-rpm-config
287-1.fc41
288-1.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
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
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
pam-libs
1.6.0-2.fc41
1.6.1-1.fc41
4
pam
1.6.0-2.fc41
1.6.1-1.fc41
4
libcap-ng
0.8.4-4.fc40
0.8.5-1.fc41
4
kernel-headers
6.9.0-0.rc2.23.fc41
6.9.0-0.rc3.30.fc41
4
mesa-libgbm
24.0.4-1.fc41
24.0.5-1.fc41
B
libquadmath
14.0.1-0.13.fc41
14.0.1-0.14.fc41
B
mesa-libglapi
24.0.4-1.fc41
24.0.5-1.fc41
B
libgfortran
14.0.1-0.13.fc41
14.0.1-0.14.fc41
B
mesa-libGL
24.0.4-1.fc41
24.0.5-1.fc41
B
mesa-libEGL
24.0.4-1.fc41
24.0.5-1.fc41
B
llvm
18.1.2-1.fc41
complete
116100418
2024-04-08 19:42:27
aarch64
├116100467 ( build.log | root.log )
x86_64
└116100468 ( build.log | root.log )
ocaml-dune
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-configurator-devel
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
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-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
ocaml-dyn-devel
3.15.0-1.fc41
3.15.0-2.fc41
3
libsmartcols
2.40-0.12.fc41
2.40-13.fc41
4
libblkid
2.40-0.12.fc41
2.40-13.fc41
4
libmount-devel
2.40-0.12.fc41
2.40-13.fc41
4
util-linux-core
2.40-0.12.fc41
2.40-13.fc41
4
libfdisk
2.40-0.12.fc41
2.40-13.fc41
4
libX11-xcb
1.8.8-1.fc41
1.8.9-1.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 )
ocaml-dune-site-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-configurator-devel
3.14.2-1.fc41
3.15.0-1.fc41
1
clang
18.1.2-1.fc41
18.1.2-2.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
vim-filesystem
2:9.1.252-1.fc41
2:9.1.264-1.fc41
2
ocaml-dune-site
3.14.2-1.fc41
3.15.0-1.fc41
2
clang-resource-filesystem
18.1.2-1.fc41
18.1.2-2.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
python3-lxml
5.1.0-7.fc41
5.2.1-1.fc41
3
libcap
2.69-3.fc40
2.69-8.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
Previous history
Koschei version
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues