frama-c

Package information

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

Scheduler parameters

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

glibc
2.40-17.fc41
2.40-21.fc41
2
glibc-minimal-langpack
2.40-17.fc41
2.40-21.fc41
3
glibc-devel
2.40-17.fc41
2.40-21.fc41
3
glibc-common
2.40-17.fc41
2.40-21.fc41
3
glibc-gconv-extra
2.40-17.fc41
2.40-21.fc41
3
libdav1d
1.5.0-1.fc41
1.5.1-1.fc41
4

State overview

Groups

This package is not part of any global group.

Historical builds

complete
121547242
2024-08-05 20:53:56
aarch64
├121547317 ( build.log | root.log )
ppc64le
├121547318 ( build.log | root.log )
x86_64
└121547316 ( build.log | root.log )
alt-ergo
2.3.3-21.fc41
2.3.3-22.fc41
1
ocaml-ppx-deriving-yojson-devel
3.8.0-5.fc41
3.9.0-1.fc41
1
ocaml-yojson-devel
2.1.2-8.fc41
2.2.2-1.fc41
1
ocaml-ppx-deriving-yaml-devel
0.3.0-4.fc41
0.3.0-5.fc41
1
ocaml-why3-devel
1.7.2-7.fc41
1.7.2-8.fc41
1
why3
1.7.2-7.fc41
1.7.2-8.fc41
1
ocaml-menhir
20231231-6.fc41
20240715-1.fc41
1
ocaml-ppx-deriving-devel
6.0.2-5.fc41
6.0.2-6.fc41
1
ocaml-ppxlib-devel
1:0.32.1-5.fc41
1:0.33.0-1.fc41
2
ocaml-menhirlib
20231231-6.fc41
20240715-1.fc41
2
ocaml-ppx-deriving-yojson
3.8.0-5.fc41
3.9.0-1.fc41
2
libcurl
8.9.1-1.fc41
8.9.1-2.fc41
2
ocaml-ppxlib
1:0.32.1-5.fc41
1:0.33.0-1.fc41
2
ocaml-ppx-deriving
6.0.2-5.fc41
6.0.2-6.fc41
2
ocaml-alt-ergo-parsers
2.3.3-21.fc41
2.3.3-22.fc41
2
ocaml-menhirlib-devel
20231231-6.fc41
20240715-1.fc41
2
ocaml-zip-devel
1.11-18.fc41
1.12-1.fc41
2
ocaml-yojson
2.1.2-8.fc41
2.2.2-1.fc41
2
glib2
2.81.0-1.fc41
2.81.1-1.fc41
2
ocaml-alt-ergo-lib
2.3.3-21.fc41
2.3.3-22.fc41
2
ocaml-zip
1.11-18.fc41
1.12-1.fc41
2
ocaml-why3
1.7.2-7.fc41
1.7.2-8.fc41
2
ocaml-ppx-deriving-yaml
0.3.0-4.fc41
0.3.0-5.fc41
2
vim-filesystem
2:9.1.571-3.fc41
2:9.1.660-1.fc41
2
crypto-policies
20240725-2.git9555558....
20240802-1.git2e5e430....
3
annobin-plugin-gcc
12.65-1.fc41
12.66-1.fc41
3
ocaml-lwt
5.7.0-12.fc41
5.7.0-13.fc41
3
ocaml-psmt2-frontend
0.4.0-19.fc41
0.4.0-20.fc41
3
glib2-devel
2.81.0-1.fc41
2.81.1-1.fc41
3
ocaml-lwt-devel
5.7.0-12.fc41
5.7.0-13.fc41
3
curl
8.9.1-1.fc41
8.9.1-2.fc41
4
kernel-headers
6.11.0-0.rc1.dc1c803...
6.11.0-0.rc2.23.fc41
4
annobin-docs
12.65-1.fc41
12.66-1.fc41
4
fedora-release-identity-basic
41-0.17
41-0.20
B
libXtst
1.2.4-7.fc41
1.2.5-1.fc41
B
libXtst-devel
1.2.4-7.fc41
1.2.5-1.fc41
B
fedora-release
41-0.17
41-0.20
B
crypto-policies-scripts
20240725-2.git9555558....
20240802-1.git2e5e430....
B
fedora-release-common
41-0.17
41-0.20
B
complete
121380095
2024-08-02 05:12:43
aarch64
├121380154 ( build.log | root.log )
ppc64le
├121380152 ( build.log | root.log )
x86_64
└121380151 ( build.log | root.log )
python3-devel
3.13.0~b4-3.fc41
3.13.0~rc1-1.fc41
1
libcurl
8.9.0-1.fc41
8.9.1-1.fc41
2
python3
3.13.0~b4-3.fc41
3.13.0~rc1-1.fc41
2
python3-libs
3.13.0~b4-3.fc41
3.13.0~rc1-1.fc41
2
fontconfig
2.15.0-7.fc41
2.15.0-8.fc41
2
rpm-libs
4.19.92-5.fc41
4.19.92-6.fc41
2
libX11
1.8.9-2.fc41
1.8.10-1.fc41
2
glibc
2.40-2.fc41
2.40-3.fc41
2
libwebp
1.4.0-2.fc41
1.4.0-3.fc41
2
glibc-minimal-langpack
2.40-2.fc41
2.40-3.fc41
3
glibc-common
2.40-2.fc41
2.40-3.fc41
3
rpm-build
4.19.92-5.fc41
4.19.92-6.fc41
3
fontconfig-devel
2.15.0-7.fc41
2.15.0-8.fc41
3
glibc-gconv-extra
2.40-2.fc41
2.40-3.fc41
3
libssh
0.10.6-6.fc41
0.10.6-8.fc41
3
glibc-devel
2.40-2.fc41
2.40-3.fc41
3
libX11-common
1.8.9-2.fc41
1.8.10-1.fc41
3
libX11-devel
1.8.9-2.fc41
1.8.10-1.fc41
3
rpm
4.19.92-5.fc41
4.19.92-6.fc41
3
libX11-xcb
1.8.9-2.fc41
1.8.10-1.fc41
4
curl
8.9.0-1.fc41
8.9.1-1.fc41
4
glibc-headers-x86
2.40-2.fc41
2.40-3.fc41
4
rpm-build-libs
4.19.92-5.fc41
4.19.92-6.fc41
4
libssh-config
0.10.6-6.fc41
0.10.6-8.fc41
4
fedora-release-identity-basic
41-0.16
41-0.17
B
fedora-release
41-0.16
41-0.17
B
mesa-libglapi
24.1.4-2.fc41
24.2.0~rc3-1.fc41
B
mesa-libGL
24.1.4-2.fc41
24.2.0~rc3-1.fc41
B
lm_sensors-libs
3.6.0-20.fc41
B
mesa-filesystem
24.2.0~rc3-1.fc41
B
mesa-dri-drivers
24.2.0~rc3-1.fc41
B
fedora-release-common
41-0.16
41-0.17
B
libwebp-devel
1.4.0-2.fc41
1.4.0-3.fc41
B
mesa-libEGL
24.1.4-2.fc41
24.2.0~rc3-1.fc41
B
mesa-libgbm
24.1.4-2.fc41
24.2.0~rc3-1.fc41
B
perl-Mozilla-CA
20240313-2.fc41
20240730-1.fc41
B
complete
121260835
2024-07-30 20:07:53
aarch64
├121260963 ( build.log | root.log )
ppc64le
├121260962 ( build.log | root.log )
x86_64
└121260961 ( build.log | root.log )
python3-devel
3.13.0~b4-2.fc41
3.13.0~b4-3.fc41
1
graphviz
12.0.0-2.fc41
12.0.0-3.fc41
1
glib2
2.80.3-5.fc41
2.81.0-1.fc41
2
python3
3.13.0~b4-2.fc41
3.13.0~b4-3.fc41
2
graphviz-libs
12.0.0-2.fc41
12.0.0-3.fc41
2
glibc
2.39.9000-35.fc41
2.40-2.fc41
2
python3-libs
3.13.0~b4-2.fc41
3.13.0~b4-3.fc41
2
alternatives
1.28-3.fc41
1.29-1.fc41
2
glibc-common
2.39.9000-35.fc41
2.40-2.fc41
3
glibc-minimal-langpack
2.39.9000-35.fc41
2.40-2.fc41
3
annobin-plugin-gcc
12.62-2.fc41
12.65-1.fc41
3
glibc-gconv-extra
2.39.9000-35.fc41
2.40-2.fc41
3
glib2-devel
2.80.3-5.fc41
2.81.0-1.fc41
3
libtiff
4.6.0-4.fc41
4.6.0-5.fc41
3
build-reproducibility-srpm-macros
0.3.5-1.fc41
0.3.6-1.fc41
3
colord-libs
1.4.7-3.fc40
1.4.7-5.fc41
3
glibc-devel
2.39.9000-35.fc41
2.40-2.fc41
3
annobin-docs
12.62-2.fc41
12.65-1.fc41
4
diffutils
3.10-7.fc41
3.10-8.fc41
4
pam
1.6.1-4.fc41
1.6.1-5.fc41
4
pam-libs
1.6.1-4.fc41
1.6.1-5.fc41
4
kernel-headers
6.10.0-64.fc41.1
6.11.0-0.rc1.dc1c803...
4
add-determinism
0.3.5-1.fc41
0.3.6-1.fc41
4
glibc-headers-x86
2.39.9000-35.fc41
2.40-2.fc41
4
libtiff-devel
4.6.0-4.fc41
4.6.0-5.fc41
4
Koschei version 2afbb17
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues