frama-c

Package information

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

Scheduler parameters

Tracked by Koschei
True
Current priority
1147
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
116895174
2024-04-26 07:08:15
aarch64
├116895352 ( build.log | root.log )
x86_64
└116895353 ( build.log | root.log )
vim-filesystem
2:9.1.264-1.fc39
2:9.1.309-1.fc39
2
libcurl
8.2.1-4.fc39
8.2.1-5.fc39
2
gnutls
3.8.4-1.fc39
3.8.5-1.fc39
2
urw-base35-fonts
20200910-18.fc39
20200910-20.fc39
2
libX11
1.8.7-1.fc39
1.8.9-1.fc39
2
glibc
2.38-17.fc39
2.38-18.fc39
2
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
urw-base35-fonts-common
20200910-18.fc39
20200910-20.fc39
3
libgusb
0.4.8-1.fc39
0.4.9-1.fc39
4
glibc-headers-x86
2.38-17.fc39
2.38-18.fc39
4
libX11-xcb
1.8.7-1.fc39
1.8.9-1.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 )
expat
2.6.0-1.fc39
2.6.2-1.fc39
2
libuuid
2.39.3-6.fc39
2.39.4-1.fc39
2
vim-filesystem
2:9.1.181-1.fc39
2:9.1.264-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
zstd
1.5.5-4.fc39
1.5.6-1.fc39
4
util-linux-core
2.39.3-6.fc39
2.39.4-1.fc39
4
at-spi2-core-devel
2.50.1-1.fc39
2.50.2-1.fc39
4
libsmartcols
2.39.3-6.fc39
2.39.4-1.fc39
4
nspr
4.35.0-18.fc39
4.35.0-19.fc39
4
at-spi2-core
2.50.1-1.fc39
2.50.2-1.fc39
4
kernel-headers
6.7.3-200.fc39
6.8.3-200.fc39
4
libblkid
2.39.3-6.fc39
2.39.4-1.fc39
4
gdb-minimal
14.1-4.fc39
14.2-1.fc39
4
nss
3.98.0-1.fc39
3.99.0-1.fc39
4
libmount-devel
2.39.3-6.fc39
2.39.4-1.fc39
4
annobin-docs
12.42-1.fc39
12.46-1.fc39
4
libfdisk
2.39.3-6.fc39
2.39.4-1.fc39
4
libeconf
0.5.2-1.fc39
0.5.2-2.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
hwdata
0.380-1.fc39
0.381-1.fc39
B
nss-util
3.98.0-1.fc39
3.99.0-1.fc39
B
nss-softokn
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
complete
115636434
2024-03-30 08:18:48
aarch64
├115636574 ( build.log | root.log )
x86_64
└115636573 ( build.log | root.log )
emacs-nox
1:29.2-2.fc39
1:29.3-1.fc39
1
pandoc
3.1.3-25.fc39
3.1.3-29.fc39
1
libstdc++-devel
13.2.1-6.fc39
13.2.1-7.fc39
2
gcc-c++
13.2.1-6.fc39
13.2.1-7.fc39
2
emacs-common
1:29.2-2.fc39
1:29.3-1.fc39
2
emacs-filesystem
1:29.2-2.fc39
1:29.3-1.fc39
2
gnutls
3.8.3-1.fc39
3.8.4-1.fc39
2
pandoc-common
3.1.3-25.fc39
3.1.3-29.fc39
2
glibc
2.38-16.fc39
2.38-17.fc39
2
vim-filesystem
2:9.1.158-1.fc39
2:9.1.181-1.fc39
2
gcc
13.2.1-6.fc39
13.2.1-7.fc39
2
libtree-sitter
0.21.0-1.fc39
0.22.2-1.fc39
2
libstdc++
13.2.1-6.fc39
13.2.1-7.fc39
2
libgcc
13.2.1-6.fc39
13.2.1-7.fc39
2
libgccjit
13.2.1-6.fc39
13.2.1-7.fc39
2
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
glibc-devel
2.38-16.fc39
2.38-17.fc39
3
glibc-headers-x86
2.38-16.fc39
2.38-17.fc39
4
annobin-docs
12.40-1.fc39
12.42-1.fc39
4
keyutils-libs
1.6.1-7.fc39
1.6.3-1.fc39
4
libaom
3.8.0-1.fc39
3.8.2-1.fc39
4
libquadmath
13.2.1-6.fc39
13.2.1-7.fc39
B
libgfortran
13.2.1-6.fc39
13.2.1-7.fc39
B
complete
114866886
2024-03-13 00:24:47
aarch64
├114867174 ( build.log | root.log )
x86_64
└114867173 ( build.log | root.log )
python3-devel
3.12.2-1.fc39
3.12.2-2.fc39
1
z3
4.12.5-1.fc39
4.12.6-1.fc39
1
systemd-libs
254.9-1.fc39
254.10-1.fc39
2
python3-libs
3.12.2-1.fc39
3.12.2-2.fc39
2
python3
3.12.2-1.fc39
3.12.2-2.fc39
2
redhat-rpm-config
265-1.fc39
266-1.fc39
2
libtree-sitter
0.20.9-1.fc39
0.21.0-1.fc39
2
vim-filesystem
2:9.1.113-1.fc39
2:9.1.158-1.fc39
2
openjpeg2
2.5.0-5.fc39
2.5.2-1.fc39
3
elfutils-libelf
0.190-4.fc39
0.191-2.fc39
4
elfutils
0.190-4.fc39
0.191-2.fc39
4
flexiblas-netlib
3.4.1-1.fc39
3.4.2-1.fc39
4
elfutils-debuginfod-client
0.190-4.fc39
0.191-2.fc39
4
hwdata
0.379-1.fc39
0.380-1.fc39
B
elfutils-libs
0.190-4.fc39
0.191-2.fc39
B
elfutils-default-yama-scope
0.190-4.fc39
0.191-2.fc39
B
flexiblas
3.4.1-1.fc39
3.4.2-1.fc39
B
flexiblas-openblas-openmp
3.4.1-1.fc39
3.4.2-1.fc39
B
libusb1
1.0.26-3.fc39
1.0.27-1.fc39
B
Real build: frama-c-28.1-1.fc39
complete
114458150
2024-03-04 16:55:11
aarch64
├114458290 ( build.log | root.log )
x86_64
└114458289 ( build.log | root.log )
Dependencies for this build couldn't be processed
complete
114276343
2024-03-01 10:24:54
aarch64
├114276557 ( build.log | root.log )
x86_64
└114276556 ( build.log | root.log )
python3-devel
3.12.1-2.fc39
3.12.2-1.fc39
1
vim-filesystem
2:9.1.076-2.fc39
2:9.1.113-1.fc39
2
python3
3.12.1-2.fc39
3.12.2-1.fc39
2
expat
2.5.0-3.fc39
2.6.0-1.fc39
2
rpm-libs
4.19.1-2.fc39
4.19.1.1-1.fc39
2
python3-libs
3.12.1-2.fc39
3.12.2-1.fc39
2
ncurses-libs
6.4-7.20230520.fc39
6.4-7.20230520.fc...
2
libuuid
2.39.3-5.fc39
2.39.3-6.fc39
2
fontconfig
2.14.2-5.fc39
2.14.2-6.fc39
2
util-linux
2.39.3-5.fc39
2.39.3-6.fc39
3
rpm-build
4.19.1-2.fc39
4.19.1.1-1.fc39
3
fontconfig-devel
2.14.2-5.fc39
2.14.2-6.fc39
3
rpm
4.19.1-2.fc39
4.19.1.1-1.fc39
3
lua-srpm-macros
1-9.fc39
1-13.fc39
3
qt6-srpm-macros
6.6.0-1.fc39
6.6.2-1.fc39
3
libmount
2.39.3-5.fc39
2.39.3-6.fc39
3
ncurses-base
6.4-7.20230520.fc39
6.4-7.20230520.fc...
3
annobin-plugin-gcc
12.38-1.fc39
12.40-1.fc39
3
rpmautospec-rpm-macros
0.6.0-2.fc39
0.6.3-1.fc39
3
cups-libs
1:2.4.7-5.fc39
1:2.4.7-11.fc39
3
rust-srpm-macros
25.2-2.fc39
26.1-1.fc39
3
nss
3.96.1-1.fc39
3.98.0-1.fc39
4
util-linux-core
2.39.3-5.fc39
2.39.3-6.fc39
4
libfdisk
2.39.3-5.fc39
2.39.3-6.fc39
4
libmount-devel
2.39.3-5.fc39
2.39.3-6.fc39
4
annobin-docs
12.38-1.fc39
12.40-1.fc39
4
libblkid
2.39.3-5.fc39
2.39.3-6.fc39
4
libsmartcols
2.39.3-5.fc39
2.39.3-6.fc39
4
rav1e-libs
0.6.6-4.fc39
0.7.1-1.fc39
4
rpm-build-libs
4.19.1-2.fc39
4.19.1.1-1.fc39
4
nspr
4.35.0-16.fc39
4.35.0-18.fc39
4
highway
1.0.7-1.fc39
1.1.0-1.fc39
B
mesa-libGL
23.3.5-1.fc39
23.3.6-1.fc39
B
fedora-release-identity-basic
39-34
39-36
B
nss-util
3.96.1-1.fc39
3.98.0-1.fc39
B
nss-softokn-freebl
3.96.1-1.fc39
3.98.0-1.fc39
B
mesa-libgbm
23.3.5-1.fc39
23.3.6-1.fc39
B
mesa-libglapi
23.3.5-1.fc39
23.3.6-1.fc39
B
mesa-libEGL
23.3.5-1.fc39
23.3.6-1.fc39
B
libblkid-devel
2.39.3-5.fc39
2.39.3-6.fc39
B
ncurses
6.4-7.20230520.fc39
6.4-7.20230520.fc...
B
nss-sysinit
3.96.1-1.fc39
3.98.0-1.fc39
B
fedora-release-common
39-34
39-36
B
nss-softokn
3.96.1-1.fc39
3.98.0-1.fc39
B
fedora-release
39-34
39-36
B
complete
113532510
2024-02-15 09:47:18
aarch64
├113532612 ( build.log | root.log )
x86_64
└113532613 ( build.log | root.log )
ocaml-why3-devel
1.7.0-1.fc39
1.7.1-1.fc39
1
z3
4.12.4-2.fc39
4.12.5-1.fc39
1
clang
17.0.6-1.fc39
17.0.6-2.fc39
1
why3
1.7.0-1.fc39
1.7.1-1.fc39
1
systemd-libs
254.8-2.fc39
254.9-1.fc39
2
ocaml-why3
1.7.0-1.fc39
1.7.1-1.fc39
2
redhat-rpm-config
262-1.fc39
265-1.fc39
2
clang-libs
17.0.6-1.fc39
17.0.6-2.fc39
2
vim-filesystem
2:9.1.031-1.fc39
2:9.1.076-2.fc39
2
llvm-libs
17.0.6-2.fc39
17.0.6-3.fc39
2
libuuid
2.39.3-4.fc39
2.39.3-5.fc39
2
forge-srpm-macros
0.2.0-3.fc39
3
clang-resource-filesystem
17.0.6-1.fc39
17.0.6-2.fc39
3
llvm
17.0.6-2.fc39
17.0.6-3.fc39
3
go-srpm-macros
3.3.1-1.fc39
3.4.0-2.fc39
3
util-linux
2.39.3-4.fc39
2.39.3-5.fc39
3
libmount
2.39.3-4.fc39
2.39.3-5.fc39
3
tzdata
2023d-1.fc39
2024a-2.fc39
3
util-linux-core
2.39.3-4.fc39
2.39.3-5.fc39
4
libsmartcols
2.39.3-4.fc39
2.39.3-5.fc39
4
libmount-devel
2.39.3-4.fc39
2.39.3-5.fc39
4
kernel-headers
6.6.3-200.fc39
6.7.3-200.fc39
4
libblkid
2.39.3-4.fc39
2.39.3-5.fc39
4
libfdisk
2.39.3-4.fc39
2.39.3-5.fc39
4
mesa-libgbm
23.3.4-1.fc39
23.3.5-1.fc39
B
libblkid-devel
2.39.3-4.fc39
2.39.3-5.fc39
B
mesa-libGL
23.3.4-1.fc39
23.3.5-1.fc39
B
hwdata
0.378-1.fc39
0.379-1.fc39
B
mesa-libglapi
23.3.4-1.fc39
23.3.5-1.fc39
B
mesa-libEGL
23.3.4-1.fc39
23.3.5-1.fc39
B
Previous history
Koschei version
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues