frama-c

Package information

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

Scheduler parameters

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

Most recent builds

complete
117140119
2024-05-02 04:06:24
aarch64
├117140200 ( build.log | root.log )
x86_64
└117140201 ( build.log | root.log )
graphviz
10.0.1-1.fc41
11.0.0-1.fc41
1
emacs-nw
1:29.3-8.fc41
1:29.3-10.fc41
1
emacs-common
1:29.3-8.fc41
1:29.3-10.fc41
2
libarchive
3.7.2-3.fc41
3.7.4-1.fc41
2
libgccjit
14.0.1-0.15.fc41
14.0.1-0.16.fc41
2
gcc
14.0.1-0.15.fc41
14.0.1-0.16.fc41
2
libstdc++
14.0.1-0.15.fc41
14.0.1-0.16.fc41
2
gcc-c++
14.0.1-0.15.fc41
14.0.1-0.16.fc41
2
libstdc++-devel
14.0.1-0.15.fc41
14.0.1-0.16.fc41
2
glibc
2.39.9000-16.fc41
2.39.9000-17.fc41
2
libgcc
14.0.1-0.15.fc41
14.0.1-0.16.fc41
2
glibc-common
2.39.9000-16.fc41
2.39.9000-17.fc41
3
grep
3.11-7.fc40
3.11-8.fc41
3
libgomp
14.0.1-0.15.fc41
14.0.1-0.16.fc41
3
glibc-gconv-extra
2.39.9000-16.fc41
2.39.9000-17.fc41
3
glibc-minimal-langpack
2.39.9000-16.fc41
2.39.9000-17.fc41
3
glibc-devel
2.39.9000-16.fc41
2.39.9000-17.fc41
3
gcc-plugin-annobin
14.0.1-0.15.fc41
14.0.1-0.16.fc41
3
emacsclient
1:29.3-10.fc41
3
cpp
14.0.1-0.15.fc41
14.0.1-0.16.fc41
3
kernel-headers
6.9.0-0.rc5.44.fc41
6.9.0-0.rc6.51.fc41
4
debugedit
5.0-14.fc40
5.0-15.fc41
4
glibc-headers-x86
2.39.9000-16.fc41
2.39.9000-17.fc41
4
gdb-minimal
14.2-5.fc41
14.2-6.fc41
4
libgfortran
14.0.1-0.15.fc41
14.0.1-0.16.fc41
B
libquadmath
14.0.1-0.15.fc41
14.0.1-0.16.fc41
B
complete
117025638
2024-04-29 10:10:05
aarch64
├117025739 ( build.log | root.log )
x86_64
└117025738 ( build.log | root.log )
flamegraph
1.0-17.20231107gi...
1.0-18.20231107gi...
1
emacs-nw
1:29.3-7.fc41
1:29.3-8.fc41
1
emacs-common
1:29.3-7.fc41
1:29.3-8.fc41
2
glibc
2.39.9000-14.fc41
2.39.9000-16.fc41
2
sqlite-libs
3.45.2-1.fc41
3.45.3-1.fc41
2
systemd-libs
255.4-1.fc41
255.5-1.fc41
2
glibc-devel
2.39.9000-14.fc41
2.39.9000-16.fc41
3
libtracker-sparql
3.7.1-1.fc41
3.7.2-1.fc41
3
annobin-plugin-gcc
12.51-1.fc41
12.52-1.fc41
3
glibc-minimal-langpack
2.39.9000-14.fc41
2.39.9000-16.fc41
3
libpaper
1:2.1.1-4.fc41
1:2.1.1-5.fc41
3
glibc-common
2.39.9000-14.fc41
2.39.9000-16.fc41
3
default-fonts-core-sans
4.0-12.fc40
4.0-13.fc41
3
glibc-gconv-extra
2.39.9000-14.fc41
2.39.9000-16.fc41
3
gdb-minimal
14.2-1.fc41
14.2-5.fc41
4
lynx
2.9.0-4.fc40
2.9.1-1.fc41
4
glibc-headers-x86
2.39.9000-14.fc41
2.39.9000-16.fc41
4
annobin-docs
12.51-1.fc41
12.52-1.fc41
4
mesa-libEGL
24.0.5-1.fc41
24.0.6-2.fc41
B
mesa-libglapi
24.0.5-1.fc41
24.0.6-2.fc41
B
mesa-libGL
24.0.5-1.fc41
24.0.6-2.fc41
B
mesa-libgbm
24.0.5-1.fc41
24.0.6-2.fc41
B
libgpg-error
1.48-1.fc41
1.49-1.fc41
B
tpm2-tss
4.0.1-7.fc40
4.1.0-1.fc41
B
complete
116823613
2024-04-24 16:17:31
aarch64
├116823694 ( build.log | root.log )
x86_64
└116823693 ( build.log | root.log )
emacs-nw
1:29.3-6.fc41
1:29.3-7.fc41
1
ocaml-dune
3.15.1-1.fc41
3.15.2-1.fc41
1
ocaml-dune-configurator-devel
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
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-dune-site
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-stdune-devel
3.15.1-1.fc41
3.15.2-1.fc41
2
glibc-common
2.39.9000-12.fc41
2.39.9000-14.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
ocaml-ordering-devel
3.15.1-1.fc41
3.15.2-1.fc41
3
libjpeg-turbo
3.0.2-1.fc40
3.0.2-2.fc41
3
glibc-gconv-extra
2.39.9000-12.fc41
2.39.9000-14.fc41
3
libpaper
1:2.1.1-3.fc40
1:2.1.1-4.fc41
3
annobin-plugin-gcc
12.49-1.fc41
12.51-1.fc41
3
cmake-filesystem
3.28.3-1.fc41
3.28.3-4.fc41
3
glibc-devel
2.39.9000-12.fc41
2.39.9000-14.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-headers-x86
2.39.9000-12.fc41
2.39.9000-14.fc41
4
elfutils
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-libelf
0.191-5.fc41
0.191-7.fc41
4
libgusb
0.4.8-3.fc40
0.4.9-1.fc41
4
libjpeg-turbo-devel
3.0.2-1.fc40
3.0.2-2.fc41
4
annobin-docs
12.49-1.fc41
12.51-1.fc41
4
elfutils-debuginfod-client
0.191-5.fc41
0.191-7.fc41
4
elfutils-default-yama-scope
0.191-5.fc41
0.191-7.fc41
B
liblockfile
1.17-8.fc40
elfutils-libs
0.191-5.fc41
0.191-7.fc41
B
ed
1.20.1-1.fc41
1.20.2-1.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
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
llvm-libs
18.1.2-1.fc41
18.1.3-1.fc41
2
gdk-pixbuf2
2.42.10-8.fc40
2.42.11-1.fc41
2
emacs-common
1:29.3-5.fc41
1:29.3-6.fc41
2
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
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-overloading
0.02-506.fc40
0.02-507.fc41
4
perl-File-Basename
2.86-506.fc40
2.86-507.fc41
4
annobin-docs
12.48-1.fc41
12.49-1.fc41
4
glibc-headers-x86
2.39.9000-10.fc41
2.39.9000-12.fc41
4
perl-mro
1.28-506.fc40
1.28-507.fc41
4
perl-Getopt-Std
1.13-506.fc40
1.13-507.fc41
4
perl-Errno
1.37-506.fc40
1.37-507.fc41
4
perl-FileHandle
2.05-506.fc40
2.05-507.fc41
4
perl-vars
1.05-506.fc40
1.05-507.fc41
4
perl-IO
1.52-506.fc40
1.52-507.fc41
B
perl-SelectSaver
1.02-506.fc40
1.02-507.fc41
B
perl-File-stat
1.13-506.fc40
1.13-507.fc41
B
perl-B
1.88-506.fc40
1.88-507.fc41
B
perl-Symbol
1.09-506.fc40
1.09-507.fc41
B
perl-Class-Struct
0.68-506.fc40
0.68-507.fc41
B
perl-AutoLoader
5.74-506.fc40
5.74-507.fc41
B
perl-Fcntl
1.15-506.fc40
1.15-507.fc41
B
perl-IPC-Open3
1.22-506.fc40
1.22-507.fc41
B
perl-if
0.61.000-506.fc40
0.61.000-507.fc41
B
perl-locale
1.10-506.fc40
1.10-507.fc41
B
perl-POSIX
2.13-506.fc40
2.13-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 )
python3-devel
3.12.3-1.fc41
3.12.3-2.fc41
1
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
ocaml-dune-site
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-private-libs-devel
3.15.0-2.fc41
3.15.1-1.fc41
2
python3-libs
3.12.3-1.fc41
3.12.3-2.fc41
2
urw-base35-fonts
20200910-19.fc40
20200910-20.fc41
2
python3
3.12.3-1.fc41
3.12.3-2.fc41
2
ocaml-stdune-devel
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-dune-private-libs
3.15.0-2.fc41
3.15.1-1.fc41
2
urw-base35-standard-symbols-ps-fonts
20200910-19.fc40
20200910-20.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
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
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
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 )
pango-devel
1.51.2-1.fc41
1.52.2-1.fc41
2
libtree-sitter
0.22.2-1.fc41
0.22.5-1.fc41
2
gcc
14.0.1-0.14.fc41
14.0.1-0.15.fc41
2
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
libwebp
1.3.2-5.fc41
1.4.0-1.fc41
2
gcc-c++
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
libstdc++
14.0.1-0.14.fc41
14.0.1-0.15.fc41
2
libstdc++-devel
14.0.1-0.14.fc41
14.0.1-0.15.fc41
2
libgomp
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
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 )
emacs-nw
1:29.3-2.fc41
1:29.3-5.fc41
1
python3-devel
3.12.2-3.fc41
3.12.3-1.fc41
1
vim-filesystem
2:9.1.264-1.fc41
2:9.1.309-1.fc41
2
emacs-common
1:29.3-2.fc41
1:29.3-5.fc41
2
gcc
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
texlive-base
11:20230311-83.fc41
11:20230311-84.fc41
2
python3-libs
3.12.2-3.fc41
3.12.3-1.fc41
2
python3
3.12.2-3.fc41
3.12.3-1.fc41
2
gcc-c++
14.0.1-0.13.fc41
14.0.1-0.14.fc41
2
libstdc++-devel
14.0.1-0.13.fc41
14.0.1-0.14.fc41
2
libgcc
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
emacs-filesystem
1:29.3-2.fc41
1:29.3-5.fc41
2
libgccjit
14.0.1-0.13.fc41
14.0.1-0.14.fc41
2
redhat-rpm-config
287-1.fc41
288-1.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
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
mesa-libgbm
24.0.4-1.fc41
24.0.5-1.fc41
B
mesa-libglapi
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
llvm
18.1.2-1.fc41
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
Previous history
Koschei version
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues