frama-c

Package information

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

Scheduler parameters

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

vim-filesystem
2:9.1.672-1.fc39
2:9.1.719-1.fc39
2
gcc-c++
13.3.1-1.fc39
13.3.1-3.fc39
2
libgcc
13.3.1-1.fc39
13.3.1-3.fc39
2
libgccjit
13.3.1-1.fc39
13.3.1-3.fc39
2
libstdc++
13.3.1-1.fc39
13.3.1-3.fc39
2
gcc
13.3.1-1.fc39
13.3.1-3.fc39
2
libstdc++-devel
13.3.1-1.fc39
13.3.1-3.fc39
2
rpmautospec-rpm-macros
0.6.5-1.fc39
0.7.2-1.fc39
3
gcc-plugin-annobin
13.3.1-1.fc39
13.3.1-3.fc39
3
libgomp
13.3.1-1.fc39
13.3.1-3.fc39
3
cpp
13.3.1-1.fc39
13.3.1-3.fc39
3
cups-libs
1:2.4.10-3.fc39
1:2.4.10-6.fc39
3
gdb-minimal
14.2-2.fc39
15.1-1.fc39
4
libgfortran
13.3.1-1.fc39
13.3.1-3.fc39
B
libquadmath
13.3.1-1.fc39
13.3.1-3.fc39
B

State overview

Groups

This package is not part of any global group.

Historical builds

complete
119784575
2024-06-29 18:00:53
aarch64
├119784672 ( build.log | root.log )
x86_64
└119784673 ( build.log | root.log )
llvm-libs
17.0.6-3.fc39
17.0.6-4.fc39
2
vim-filesystem
2:9.1.393-1.fc39
2:9.1.452-1.fc39
2
libarchive
3.7.1-1.fc39
3.7.1-2.fc39
2
alsa-lib
1.2.11-2.fc39
1.2.12-1.fc39
2
annobin-plugin-gcc
12.51-1.fc39
12.57-1.fc39
3
libxslt
1.1.39-1.fc39
1.1.41-1.fc39
3
openldap
2.6.6-1.fc39
2.6.7-1.fc39
3
llvm
17.0.6-3.fc39
17.0.6-4.fc39
3
nss
3.99.0-1.fc39
3.101.0-1.fc39
4
flexiblas-netlib
3.4.2-1.fc39
3.4.4-1.fc39
4
annobin-docs
12.51-1.fc39
12.57-1.fc39
4
kernel-headers
6.8.3-200.fc39
6.9.4-100.fc39
4
nspr
4.35.0-19.fc39
4.35.0-21.fc39
4
nss-util
3.99.0-1.fc39
3.101.0-1.fc39
B
nss-sysinit
3.99.0-1.fc39
3.101.0-1.fc39
B
flexiblas-openblas-openmp
3.4.2-1.fc39
3.4.4-1.fc39
B
libdrm
2.4.120-1.fc39
2.4.121-1.fc39
B
flexiblas
3.4.2-1.fc39
3.4.4-1.fc39
B
nss-softokn-freebl
3.99.0-1.fc39
3.101.0-1.fc39
B
fedora-gpg-keys
39-1
39-2
B
fedora-repos
39-1
39-2
B
hwdata
0.382-1.fc39
0.383-1.fc39
B
nss-softokn
3.99.0-1.fc39
3.101.0-1.fc39
B
complete
118429508
2024-06-02 02:23:54
aarch64
├118429624 ( build.log | root.log )
x86_64
└118429623 ( build.log | root.log )
libgcc
13.2.1-7.fc39
13.3.1-1.fc39
2
libstdc++
13.2.1-7.fc39
13.3.1-1.fc39
2
texlive-base
11:20230311-77.fc39
11:20230311-78.fc39
2
libstdc++-devel
13.2.1-7.fc39
13.3.1-1.fc39
2
librsvg2
2.57.1-1.fc39
2.57.1-2.fc39
2
gcc-c++
13.2.1-7.fc39
13.3.1-1.fc39
2
glib2
2.78.3-1.fc39
2.78.6-1.fc39
2
libgccjit
13.2.1-7.fc39
13.3.1-1.fc39
2
systemd-libs
254.10-1.fc39
254.13-1.fc39
2
gcc
13.2.1-7.fc39
13.3.1-1.fc39
2
qt5-srpm-macros
5.15.12-1.fc39
5.15.13-1.fc39
3
glib2-devel
2.78.3-1.fc39
2.78.6-1.fc39
3
rpm-sequoia
1.6.0-1.fc39
1.6.0-3.fc39
3
cpp
13.2.1-7.fc39
13.3.1-1.fc39
3
libgomp
13.2.1-7.fc39
13.3.1-1.fc39
3
cups-libs
1:2.4.7-13.fc39
1:2.4.8-3.fc39
3
gcc-plugin-annobin
13.2.1-7.fc39
13.3.1-1.fc39
3
rsvg-pixbuf-loader
2.57.1-1.fc39
2.57.1-2.fc39
3
libedit
3.1-48.20230828cv...
3.1-51.20240517cv...
3
rust-srpm-macros
26.2-1.fc39
26.3-1.fc39
3
rav1e-libs
0.7.1-1.fc39
0.7.1-2.fc39
4
libaom
3.8.2-1.fc39
3.9.0-1.fc39
4
audit-libs
3.1.2-8.fc39
3.1.3-1.fc39
4
hwdata
0.381-1.fc39
0.382-1.fc39
B
libgfortran
13.2.1-7.fc39
13.3.1-1.fc39
B
libusb1
1.0.27-1.fc39
1.0.27-2.fc39
B
libquadmath
13.2.1-7.fc39
13.3.1-1.fc39
B
2024-05-23 03:04:17
Package dependencies resolved successfuly
complete
117632830
2024-05-13 04:51:21
aarch64
├117632927 ( build.log | root.log )
x86_64
└117632928 ( build.log | root.log )
python3-devel
3.12.2-2.fc39
3.12.3-2.fc39
1
ocaml-why3-devel
1.7.1-1.fc39
1.7.2-1.fc39
1
why3
1.7.1-1.fc39
1.7.2-1.fc39
1
vim-filesystem
2:9.1.309-1.fc39
2:9.1.393-1.fc39
2
ocaml-why3
1.7.1-1.fc39
1.7.2-1.fc39
2
python3-libs
3.12.2-2.fc39
3.12.3-2.fc39
2
python3
3.12.2-2.fc39
3.12.3-2.fc39
2
forge-srpm-macros
0.2.0-3.fc39
0.3.1-1.fc39
3
annobin-plugin-gcc
12.46-1.fc39
12.51-1.fc39
3
annobin-docs
12.46-1.fc39
12.51-1.fc39
4
dbus-broker
35-2.fc39
36-2.fc39
B
complete
116895174
2024-04-26 07:08:15
aarch64
├116895352 ( build.log | root.log )
x86_64
└116895353 ( build.log | root.log )
gnutls
3.8.4-1.fc39
3.8.5-1.fc39
2
glibc
2.38-17.fc39
2.38-18.fc39
2
libcurl
8.2.1-4.fc39
8.2.1-5.fc39
2
urw-base35-fonts
20200910-18.fc39
20200910-20.fc39
2
vim-filesystem
2:9.1.264-1.fc39
2:9.1.309-1.fc39
2
libX11
1.8.7-1.fc39
1.8.9-1.fc39
2
urw-base35-fonts-common
20200910-18.fc39
20200910-20.fc39
3
cups-libs
1:2.4.7-11.fc39
1:2.4.7-13.fc39
3
glibc-gconv-extra
2.38-17.fc39
2.38-18.fc39
3
urw-base35-p052-fonts
20200910-18.fc39
20200910-20.fc39
3
urw-base35-nimbus-roman-fonts
20200910-18.fc39
20200910-20.fc39
3
libnghttp2
1.55.1-4.fc39
1.55.1-5.fc39
3
urw-base35-d050000l-fonts
20200910-18.fc39
20200910-20.fc39
3
glibc-minimal-langpack
2.38-17.fc39
2.38-18.fc39
3
libX11-devel
1.8.7-1.fc39
1.8.9-1.fc39
3
urw-base35-c059-fonts
20200910-18.fc39
20200910-20.fc39
3
glibc-devel
2.38-17.fc39
2.38-18.fc39
3
urw-base35-bookman-fonts
20200910-18.fc39
20200910-20.fc39
3
python-pip-wheel
23.2.1-1.fc39
23.2.1-2.fc39
3
urw-base35-nimbus-mono-ps-fonts
20200910-18.fc39
20200910-20.fc39
3
glibc-common
2.38-17.fc39
2.38-18.fc39
3
urw-base35-nimbus-sans-fonts
20200910-18.fc39
20200910-20.fc39
3
urw-base35-z003-fonts
20200910-18.fc39
20200910-20.fc39
3
urw-base35-standard-symbols-ps-fonts
20200910-18.fc39
20200910-20.fc39
3
urw-base35-gothic-fonts
20200910-18.fc39
20200910-20.fc39
3
libX11-common
1.8.7-1.fc39
1.8.9-1.fc39
3
libgusb
0.4.8-1.fc39
0.4.9-1.fc39
4
libX11-xcb
1.8.7-1.fc39
1.8.9-1.fc39
4
glibc-headers-x86
2.38-17.fc39
2.38-18.fc39
4
curl
8.2.1-4.fc39
8.2.1-5.fc39
4
Real build: frama-c-28.1-2.fc39
complete
116567897
2024-04-18 18:46:05
aarch64
├116567964 ( build.log | root.log )
x86_64
└116567963 ( build.log | root.log )
Dependencies for this build couldn't be processed
complete
116198356
2024-04-10 23:59:25
aarch64
├116198458 ( build.log | root.log )
x86_64
└116198459 ( build.log | root.log )
vim-filesystem
2:9.1.181-1.fc39
2:9.1.264-1.fc39
2
expat
2.6.0-1.fc39
2.6.2-1.fc39
2
libuuid
2.39.3-6.fc39
2.39.4-1.fc39
2
atk-devel
2.50.1-1.fc39
2.50.2-1.fc39
3
at-spi2-atk-devel
2.50.1-1.fc39
2.50.2-1.fc39
3
libmount
2.39.3-6.fc39
2.39.4-1.fc39
3
util-linux
2.39.3-6.fc39
2.39.4-1.fc39
3
libzstd
1.5.5-4.fc39
1.5.6-1.fc39
3
annobin-plugin-gcc
12.42-1.fc39
12.46-1.fc39
3
at-spi2-atk
2.50.1-1.fc39
2.50.2-1.fc39
3
atk
2.50.1-1.fc39
2.50.2-1.fc39
3
kernel-headers
6.7.3-200.fc39
6.8.3-200.fc39
4
at-spi2-core
2.50.1-1.fc39
2.50.2-1.fc39
4
nspr
4.35.0-18.fc39
4.35.0-19.fc39
4
at-spi2-core-devel
2.50.1-1.fc39
2.50.2-1.fc39
4
libfdisk
2.39.3-6.fc39
2.39.4-1.fc39
4
zstd
1.5.5-4.fc39
1.5.6-1.fc39
4
annobin-docs
12.42-1.fc39
12.46-1.fc39
4
libmount-devel
2.39.3-6.fc39
2.39.4-1.fc39
4
util-linux-core
2.39.3-6.fc39
2.39.4-1.fc39
4
nss
3.98.0-1.fc39
3.99.0-1.fc39
4
gdb-minimal
14.1-4.fc39
14.2-1.fc39
4
libblkid
2.39.3-6.fc39
2.39.4-1.fc39
4
libsmartcols
2.39.3-6.fc39
2.39.4-1.fc39
4
nss-util
3.98.0-1.fc39
3.99.0-1.fc39
B
nss-softokn-freebl
3.98.0-1.fc39
3.99.0-1.fc39
B
nss-sysinit
3.98.0-1.fc39
3.99.0-1.fc39
B
libblkid-devel
2.39.3-6.fc39
2.39.4-1.fc39
B
nss-softokn
3.98.0-1.fc39
3.99.0-1.fc39
B
libeconf
0.5.2-1.fc39
0.5.2-2.fc39
B
hwdata
0.380-1.fc39
0.381-1.fc39
B
complete
115636434
2024-03-30 08:18:48
aarch64
├115636574 ( build.log | root.log )
x86_64
└115636573 ( build.log | root.log )
pandoc
3.1.3-25.fc39
3.1.3-29.fc39
1
emacs-nox
1:29.2-2.fc39
1:29.3-1.fc39
1
emacs-filesystem
1:29.2-2.fc39
1:29.3-1.fc39
2
emacs-common
1:29.2-2.fc39
1:29.3-1.fc39
2
gcc-c++
13.2.1-6.fc39
13.2.1-7.fc39
2
libstdc++
13.2.1-6.fc39
13.2.1-7.fc39
2
libstdc++-devel
13.2.1-6.fc39
13.2.1-7.fc39
2
libgccjit
13.2.1-6.fc39
13.2.1-7.fc39
2
libgcc
13.2.1-6.fc39
13.2.1-7.fc39
2
glibc
2.38-16.fc39
2.38-17.fc39
2
libtree-sitter
0.21.0-1.fc39
0.22.2-1.fc39
2
gcc
13.2.1-6.fc39
13.2.1-7.fc39
2
vim-filesystem
2:9.1.158-1.fc39
2:9.1.181-1.fc39
2
pandoc-common
3.1.3-25.fc39
3.1.3-29.fc39
2
gnutls
3.8.3-1.fc39
3.8.4-1.fc39
2
glibc-devel
2.38-16.fc39
2.38-17.fc39
3
libgomp
13.2.1-6.fc39
13.2.1-7.fc39
3
cpp
13.2.1-6.fc39
13.2.1-7.fc39
3
glibc-minimal-langpack
2.38-16.fc39
2.38-17.fc39
3
libtirpc
1.3.4-0.rc2.fc39
1.3.4-1.rc3.fc39
3
glibc-gconv-extra
2.38-16.fc39
2.38-17.fc39
3
gcc-plugin-annobin
13.2.1-6.fc39
13.2.1-7.fc39
3
go-srpm-macros
3.4.0-2.fc39
3.5.0-1.fc39
3
rust-srpm-macros
26.1-1.fc39
26.2-1.fc39
3
annobin-plugin-gcc
12.40-1.fc39
12.42-1.fc39
3
glibc-common
2.38-16.fc39
2.38-17.fc39
3
libaom
3.8.0-1.fc39
3.8.2-1.fc39
4
glibc-headers-x86
2.38-16.fc39
2.38-17.fc39
4
keyutils-libs
1.6.1-7.fc39
1.6.3-1.fc39
4
annobin-docs
12.40-1.fc39
12.42-1.fc39
4
libgfortran
13.2.1-6.fc39
13.2.1-7.fc39
B
libquadmath
13.2.1-6.fc39
13.2.1-7.fc39
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