frama-c

Package information

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

Scheduler parameters

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

failed
133843640
2025-06-11 22:44:53
aarch64
├133843738 ( build.log | root.log )
ppc64le
├133843737 ( build.log | root.log )
x86_64
└133843739 ( build.log | root.log )
python3-devel
3.13.3-3.fc43
3.14.0~b2-3.fc43
1
z3
4.15.0-1.fc43
4.15.1-1.fc43
1
graphviz
12.2.1-8.fc43
12.2.1-9.fc43
1
clang
20.1.6-1.fc43
20.1.6-6.fc43
1
clang-libs
20.1.6-1.fc43
20.1.6-6.fc43
2
libxml2
2.12.10-1.fc43
2.12.10-2.fc43
2
python3-rpm-macros
3.13-5.fc43
3.14-1.fc43
2
graphviz-libs
12.2.1-8.fc43
12.2.1-9.fc43
2
python3-libs
3.13.3-3.fc43
3.14.0~b2-3.fc43
2
python3
3.13.3-3.fc43
3.14.0~b2-3.fc43
2
python-rpm-macros
3.13-5.fc43
3.14-1.fc43
2
llvm-libs
20.1.6-1.fc43
20.1.6-6.fc43
2
rpm-libs
5.99.90-5.fc43
5.99.90-6.fc43
2
libuuid
2.40.4-7.fc43
2.40.4-8.fc43
2
libselinux
3.8-2.fc43
3.8-3.fc43
2
util-linux
2.40.4-7.fc43
2.40.4-8.fc43
3
libmount
2.40.4-7.fc43
2.40.4-8.fc43
3
clang-resource-filesystem
20.1.6-1.fc43
20.1.6-6.fc43
3
openldap
2.6.9-5.fc43
2.6.10-1.fc43
3
rpm-build
5.99.90-5.fc43
5.99.90-6.fc43
3
python-pip-wheel
25.1.1-3.fc43
25.1.1-4.fc43
3
java-srpm-macros
1-3.fc43
1-4.fc43
3
libbrotli
1.1.0-6.fc42
1.1.0-7.fc43
3
llvm-filesystem
20.1.6-1.fc43
20.1.6-6.fc43
3
dwz
0.15-9.fc42
0.16-1.fc43
3
python3-packaging
25.0-1.fc43
25.0-3.fc43
3
python-srpm-macros
3.13-5.fc43
3.14-1.fc43
3
file
5.46-4.fc43
5.46-5.fc43
3
pixman
0.44.2-2.fc42
0.46.2-1.fc43
3
libxml2-devel
2.12.10-1.fc43
2.12.10-2.fc43
3
rpm
5.99.90-5.fc43
5.99.90-6.fc43
3
libblkid
2.40.4-7.fc43
2.40.4-8.fc43
4
libmount-devel
2.40.4-7.fc43
2.40.4-8.fc43
4
libfdisk
2.40.4-7.fc43
2.40.4-8.fc43
4
cmake-filesystem
3.31.6-2.fc43
3.31.6-3.fc43
4
rpm-build-libs
5.99.90-5.fc43
5.99.90-6.fc43
4
audit-libs
4.0.4-2.fc43
4.0.5-1.fc43
4
gdb-minimal
16.3-1.fc43
16.3-3.fc43
4
pixman-devel
0.44.2-2.fc42
0.46.2-1.fc43
4
file-libs
5.46-4.fc43
5.46-5.fc43
4
util-linux-core
2.40.4-7.fc43
2.40.4-8.fc43
4
gpgmepp
1.24.3-1.fc43
1.24.3-2.fc43
4
libsmartcols
2.40.4-7.fc43
2.40.4-8.fc43
4
libcap-ng
0.8.5-4.fc42
0.8.5-5.fc43
4
libselinux-devel
3.8-2.fc43
3.8-3.fc43
4
kernel-headers
6.15.0-61.fc43
6.16.0-0.rc1.17.fc43
4
libsemanage
3.8.1-2.fc43
3.8.1-3.fc43
B
libb2
0.98.1-13.fc42
brotli-devel
1.1.0-6.fc42
1.1.0-7.fc43
B
libblkid-devel
2.40.4-7.fc43
2.40.4-8.fc43
B
gpgme
1.24.3-1.fc43
1.24.3-2.fc43
B
rpm-sign-libs
5.99.90-5.fc43
5.99.90-6.fc43
B
brotli
1.1.0-6.fc42
1.1.0-7.fc43
B
Real build: frama-c-30.0-11.fc43
complete
133759297
2025-06-09 21:39:35
aarch64
├133759458 ( build.log | root.log )
ppc64le
├133759459 ( build.log | root.log )
s390x
├133759460 ( build.log | root.log )
x86_64
└133759457 ( build.log | root.log )
why3
1.8.0-6.fc43
1.8.1-1.fc43
1
ocaml-why3-devel
1.8.0-6.fc43
1.8.1-1.fc43
1
ocaml-why3
1.8.0-6.fc43
1.8.1-1.fc43
2
tree-sitter-srpm-macros
0.2.4-1.fc43
0.3.0-1.fc43
3
qt6-srpm-macros
6.9.0-2.fc43
6.9.1-1.fc43
3
libeconf
0.7.6-1.fc43
0.7.9-1.fc43
B
mesa-filesystem
25.1.1-1.fc43
25.1.3-1.fc43
B
mesa-libgbm
25.1.1-1.fc43
25.1.3-1.fc43
B
mesa-libEGL
25.1.1-1.fc43
25.1.3-1.fc43
B
mesa-libGL
25.1.1-1.fc43
25.1.3-1.fc43
B
mesa-dri-drivers
25.1.1-1.fc43
25.1.3-1.fc43
B
Real build: frama-c-30.0-10.fc43
complete
133683431
2025-06-07 22:34:17
aarch64
├133683566 ( build.log | root.log )
ppc64le
├133683567 ( build.log | root.log )
s390x
├133683568 ( build.log | root.log )
x86_64
└133683565 ( build.log | root.log )
No dependency changes
complete
133671254
2025-06-07 17:33:27
aarch64
├133671351 ( build.log | root.log )
ppc64le
├133671350 ( build.log | root.log )
x86_64
└133671352 ( build.log | root.log )
ocaml-apron-devel
0.9.15-6.fc42
0.9.15-7.fc43
1
why3
1.8.0-5.fc43
1.8.0-6.fc43
1
ocaml-why3-devel
1.8.0-5.fc43
1.8.0-6.fc43
1
apron-devel
0.9.15-6.fc42
0.9.15-7.fc43
2
ocaml-mlgmpidl
1.3.0-13.fc42
1.3.0-14.fc43
2
apron
0.9.15-6.fc42
0.9.15-7.fc43
2
ocaml-why3
1.8.0-5.fc43
1.8.0-6.fc43
2
vim-filesystem
2:9.1.1418-1.fc43
2:9.1.1435-1.fc43
2
libcurl
8.14.0-1.fc43
8.14.1-1.fc43
2
ocaml-apron
0.9.15-6.fc42
0.9.15-7.fc43
2
ocaml-mlgmpidl-devel
1.3.0-13.fc42
1.3.0-14.fc43
2
openssl-libs
1:3.5.0-3.fc43
1:3.5.0-5.fc43
3
file
5.46-2.fc43
5.46-4.fc43
3
annobin-plugin-gcc
12.95-1.fc43
12.96-1.fc43
3
krb5-devel
1.21.3-5.fc42
1.21.3-6.fc43
3
lua-libs
5.4.7-3.fc43
5.4.8-1.fc43
3
krb5-libs
1.21.3-5.fc42
1.21.3-6.fc43
3
file-libs
5.46-2.fc43
5.46-4.fc43
4
curl
8.14.0-1.fc43
8.14.1-1.fc43
4
libkadm5
1.21.3-5.fc42
1.21.3-6.fc43
4
annobin-docs
12.95-1.fc43
12.96-1.fc43
4
2025-06-07 17:33:17
Package dependencies resolved successfuly
2025-06-07 16:23:53
Package resolution failed
  • Problem: conflicting requests
    - nothing provides ocaml(Apron) = 625132dea239a2e2bbf87d00b65e3c63 needed by ocaml-why3-devel-1.8.0-5.fc43.x86_64 from primary-f43-build-6580327
    - nothing provides ocaml(Mpf) = a0a3bb70b7f20754ca17dac516db0b21 needed by ocaml-why3-devel-1.8.0-5.fc43.x86_64 from primary-f43-build-6580327
    - nothing provides ocaml(Mpfr) = 3986f19b0b34ab89059bc7efe37926b4 needed by ocaml-why3-devel-1.8.0-5.fc43.x86_64 from primary-f43-build-6580327
    - nothing provides ocaml(Mpz) = a3e5638c502e05ed65b11cbac6ec6ebd needed by ocaml-why3-devel-1.8.0-5.fc43.x86_64 from primary-f43-build-6580327
    - nothing provides ocamlx(Apron) = f49941c427e2b67f11f1a3b631a74da8 needed by ocaml-why3-devel-1.8.0-5.fc43.x86_64 from primary-f43-build-6580327
    - nothing provides ocamlx(Mpq) = b5536834422798cc98c2013c152e1731 needed by ocaml-why3-devel-1.8.0-5.fc43.x86_64 from primary-f43-build-6580327
    - nothing provides ocamlx(Mpqf) = 68374f2ab9774ae9be7b3dac2621222a needed by ocaml-why3-devel-1.8.0-5.fc43.x86_64 from primary-f43-build-6580327
    - nothing provides ocamlx(Mpz) = 6a8486073a056db80946f608c1f4c75a needed by ocaml-why3-devel-1.8.0-5.fc43.x86_64 from primary-f43-build-6580327
    - nothing provides ocamlx(Polka) = 42e7b9f2b2de1dafe4f81bf075b4aa9f needed by ocaml-why3-devel-1.8.0-5.fc43.x86_64 from primary-f43-build-6580327
2025-06-07 15:32:55
Package resolution failed
  • Problem: conflicting requests
    - nothing provides ocaml(Mpf) = a0a3bb70b7f20754ca17dac516db0b21 needed by ocaml-why3-devel-1.8.0-5.fc43.x86_64 from primary-f43-build-6580314
    - nothing provides ocaml(Mpfr) = 3986f19b0b34ab89059bc7efe37926b4 needed by ocaml-why3-devel-1.8.0-5.fc43.x86_64 from primary-f43-build-6580314
    - nothing provides ocaml(Mpz) = a3e5638c502e05ed65b11cbac6ec6ebd needed by ocaml-why3-devel-1.8.0-5.fc43.x86_64 from primary-f43-build-6580314
    - nothing provides ocamlx(Mpq) = b5536834422798cc98c2013c152e1731 needed by ocaml-why3-devel-1.8.0-5.fc43.x86_64 from primary-f43-build-6580314
    - nothing provides ocamlx(Mpqf) = 68374f2ab9774ae9be7b3dac2621222a needed by ocaml-why3-devel-1.8.0-5.fc43.x86_64 from primary-f43-build-6580314
    - nothing provides ocamlx(Mpz) = 6a8486073a056db80946f608c1f4c75a needed by ocaml-why3-devel-1.8.0-5.fc43.x86_64 from primary-f43-build-6580314
  • Problem: conflicting requests
    - nothing provides ocaml(Mpf) = a0a3bb70b7f20754ca17dac516db0b21 needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580314
    - nothing provides ocaml(Mpfr) = 3986f19b0b34ab89059bc7efe37926b4 needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580314
    - nothing provides ocaml(Mpz) = a3e5638c502e05ed65b11cbac6ec6ebd needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580314
    - nothing provides ocamlx(Mpq) = b5536834422798cc98c2013c152e1731 needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580314
    - nothing provides ocamlx(Mpqf) = 68374f2ab9774ae9be7b3dac2621222a needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580314
    - nothing provides ocamlx(Mpzf) = 7749490e03cbce017f9ee11e72ec50a4 needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580314
    - nothing provides ocamlx(Mpfr) = 77d8aa610e33c3f2fa677b698fe86bfa needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580314
    - nothing provides ocamlx(Mpfrf) = c36b13dae5dba2dd6d2d30ac0a268072 needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580314
2025-06-07 14:25:15
Package resolution failed
  • Problem: conflicting requests
    - nothing provides ocaml(Mpf) = a0a3bb70b7f20754ca17dac516db0b21 needed by ocaml-why3-devel-1.8.0-5.fc43.x86_64 from primary-f43-build-6580307
    - nothing provides ocaml(Mpfr) = 3986f19b0b34ab89059bc7efe37926b4 needed by ocaml-why3-devel-1.8.0-5.fc43.x86_64 from primary-f43-build-6580307
    - nothing provides ocaml(Mpz) = a3e5638c502e05ed65b11cbac6ec6ebd needed by ocaml-why3-devel-1.8.0-5.fc43.x86_64 from primary-f43-build-6580307
    - nothing provides ocamlx(Mpq) = b5536834422798cc98c2013c152e1731 needed by ocaml-why3-devel-1.8.0-5.fc43.x86_64 from primary-f43-build-6580307
    - nothing provides ocamlx(Mpqf) = 68374f2ab9774ae9be7b3dac2621222a needed by ocaml-why3-devel-1.8.0-5.fc43.x86_64 from primary-f43-build-6580307
    - nothing provides ocamlx(Mpz) = 6a8486073a056db80946f608c1f4c75a needed by ocaml-why3-devel-1.8.0-5.fc43.x86_64 from primary-f43-build-6580307
  • Problem: conflicting requests
    - nothing provides ocaml(Mpf) = a0a3bb70b7f20754ca17dac516db0b21 needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580307
    - nothing provides ocaml(Mpfr) = 3986f19b0b34ab89059bc7efe37926b4 needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580307
    - nothing provides ocaml(Mpz) = a3e5638c502e05ed65b11cbac6ec6ebd needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580307
    - nothing provides ocamlx(Mpq) = b5536834422798cc98c2013c152e1731 needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580307
    - nothing provides ocamlx(Mpqf) = 68374f2ab9774ae9be7b3dac2621222a needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580307
    - nothing provides ocamlx(Mpzf) = 7749490e03cbce017f9ee11e72ec50a4 needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580307
    - nothing provides ocamlx(Mpfr) = 77d8aa610e33c3f2fa677b698fe86bfa needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580307
    - nothing provides ocamlx(Mpfrf) = c36b13dae5dba2dd6d2d30ac0a268072 needed by ocaml-apron-devel-0.9.15-6.fc42.x86_64 from primary-f43-build-6580307
Previous history
Koschei version d778e3e
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues