cbmc

Package information

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

Scheduler parameters

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

gcc-c++
15.0.1-0.11.fc43
15.0.1-0.12.fc43
1
libgcc
15.0.1-0.11.fc43
15.0.1-0.12.fc43
2
gcc
15.0.1-0.11.fc43
15.0.1-0.12.fc43
2
glibc
2.41.9000-8.fc43
2.41.9000-9.fc43
2
vim-filesystem
2:9.1.1275-1.fc43
2:9.1.1291-1.fc43
2
libstdc++-devel
15.0.1-0.11.fc43
15.0.1-0.12.fc43
2
libstdc++
15.0.1-0.11.fc43
15.0.1-0.12.fc43
2
python3
3.13.2-2.fc43
3.13.3-1.fc43
2
glibc-minimal-langpack
2.41.9000-8.fc43
2.41.9000-9.fc43
3
glibc-gconv-extra
2.41.9000-8.fc43
2.41.9000-9.fc43
3
glibc-common
2.41.9000-8.fc43
2.41.9000-9.fc43
3
libgomp
15.0.1-0.11.fc43
15.0.1-0.12.fc43
3
fontconfig
2.16.1-1.fc43
2.16.2-1.fc43
3
glibc-devel
2.41.9000-8.fc43
2.41.9000-9.fc43
3
python3-libs
3.13.2-2.fc43
3.13.3-1.fc43
3
perl-Scalar-List-Utils
5:1.68-2.fc42
5:1.69-1.fc43
3
cpp
15.0.1-0.11.fc43
15.0.1-0.12.fc43
3
cups-libs
1:2.4.11-13.fc43
1:2.4.12-1.fc43
4
coreutils
9.6-2.fc43
9.7-1.fc43
4
netpbm
11.09.00-2.fc43
11.10.00-1.fc43
4
gcc-plugin-annobin
15.0.1-0.11.fc43
15.0.1-0.12.fc43
B
coreutils-common
9.6-2.fc43
9.7-1.fc43
B
fedora-release-identity-basic
43-0.10
43-0.12
B
cups-filesystem
1:2.4.11-13.fc43
1:2.4.12-1.fc43
B
libgpg-error
1.51-2.fc42
1.53-1.fc43
B
tree-sitter-srpm-macros
0.2.0-1.fc43
0.2.1-1.fc43
B
fedora-release
43-0.10
43-0.12
B
fedora-release-common
43-0.10
43-0.12
B
systemd-standalone-sysusers
257.4-3.fc43
257.5-2.fc43
B
systemd-libs
257.4-3.fc43
257.5-2.fc43
B
debugedit
5.1-5.fc43
5.1-6.fc43
B
libgfortran
15.0.1-0.11.fc43
15.0.1-0.12.fc43
B
diffutils
3.11-3.fc43
3.12-1.fc43
B
libquadmath
15.0.1-0.11.fc43
15.0.1-0.12.fc43
B

State overview

Groups

This package is not part of any global group.

Historical builds

2025-03-18 23:03:54
Package resolution failed
  • Problem: conflicting requests
    - nothing provides libjsoncpp.so.25()(64bit) needed by cmake-3.31.6-1.fc43.x86_64 from primary-f43-build-6562060
2025-03-18 21:58:33
Package resolution failed
  • Problem: conflicting requests
    - nothing provides libjsoncpp.so.25()(64bit) needed by cmake-3.31.6-1.fc43.x86_64 from primary-f43-build-6562049
2025-03-18 20:59:44
Package resolution failed
  • Problem: conflicting requests
    - nothing provides cmake-filesystem(x86-64) needed by zlib-ng-compat-devel-2.2.4-2.fc43.x86_64 from primary-f43-build-6562044
  • No package found for: cmake
  • Problem: package minisat2-devel-2.2.1-21.fc42.x86_64 from primary-f43-build-6562044 requires zlib-devel(x86-64), but none of the providers can be installed
    - conflicting requests
    - nothing provides cmake-filesystem(x86-64) needed by zlib-ng-compat-devel-2.2.4-2.fc43.x86_64 from primary-f43-build-6562044
2025-03-18 20:52:38
Package resolution failed
  • Problem: package minisat2-devel-2.2.1-21.fc42.x86_64 from primary-f43-build-6562042 requires zlib-devel(x86-64), but none of the providers can be installed
    - conflicting requests
    - nothing provides cmake-filesystem(x86-64) needed by zlib-ng-compat-devel-2.2.4-2.fc43.x86_64 from primary-f43-build-6562042
  • No package found for: cmake
  • Problem: conflicting requests
    - nothing provides cmake-filesystem(x86-64) needed by zlib-ng-compat-devel-2.2.4-2.fc43.x86_64 from primary-f43-build-6562042
failed
130370746
2025-03-16 23:59:40
aarch64
├130370836 ( build.log | root.log )
ppc64le
├130370835 ( build.log | root.log )
x86_64
└130370834 ( build.log | root.log )
gcc-c++
15.0.1-0.9.fc43
15.0.1-0.10.fc43
1
cmake
4.0.0~rc3-3.fc43
4.0.0~rc4-1.fc43
1
libarchive
3.7.7-3.fc43
3.7.7-4.fc43
2
libstdc++
15.0.1-0.9.fc43
15.0.1-0.10.fc43
2
cmake-data
4.0.0~rc3-3.fc43
4.0.0~rc4-1.fc43
2
cmake-rpm-macros
4.0.0~rc3-3.fc43
4.0.0~rc4-1.fc43
2
libstdc++-devel
15.0.1-0.9.fc43
15.0.1-0.10.fc43
2
vim-filesystem
2:9.1.1179-1.fc43
2:9.1.1202-1.fc43
2
expat
2.6.4-2.fc42
2.7.0-1.fc43
2
cmake-filesystem
4.0.0~rc3-3.fc43
4.0.0~rc4-1.fc43
2
gcc
15.0.1-0.9.fc43
15.0.1-0.10.fc43
2
libcurl
8.13.0~rc1-1.fc43
8.13.0~rc1-2.fc43
2
libgcc
15.0.1-0.9.fc43
15.0.1-0.10.fc43
2
fontconfig
2.16.0-2.fc42
2.16.1-1.fc43
3
cpp
15.0.1-0.9.fc43
15.0.1-0.10.fc43
3
libgomp
15.0.1-0.9.fc43
15.0.1-0.10.fc43
3
libxml2
2.12.9-2.fc42
2.12.10-1.fc43
3
openssl-libs
1:3.2.4-2.fc43
1:3.2.4-3.fc43
3
alternatives
1.31-3.fc42
1.32-1.fc43
4
curl
8.13.0~rc1-1.fc43
8.13.0~rc1-2.fc43
4
libquadmath
15.0.1-0.9.fc43
15.0.1-0.10.fc43
B
efi-srpm-macros
6-2.fc42
6-3.fc43
B
gcc-plugin-annobin
15.0.1-0.9.fc43
15.0.1-0.10.fc43
B
libgfortran
15.0.1-0.9.fc43
15.0.1-0.10.fc43
B
failed
130174652
2025-03-12 12:49:47
aarch64
├130174770 ( build.log | root.log )
ppc64le
├130174769 ( build.log | root.log )
x86_64
└130174768 ( build.log | root.log )
cmake
4.0.0~rc2-3.fc43
4.0.0~rc3-3.fc43
1
cmake-rpm-macros
4.0.0~rc2-3.fc43
4.0.0~rc3-3.fc43
2
vim-filesystem
2:9.1.1122-1.fc43
2:9.1.1179-1.fc43
2
cmake-data
4.0.0~rc2-3.fc43
4.0.0~rc3-3.fc43
2
cmake-filesystem
4.0.0~rc2-3.fc43
4.0.0~rc3-3.fc43
2
libcurl
8.12.1-1.fc43
8.13.0~rc1-1.fc43
2
libidn2
2.3.7-3.fc42
2.3.8-1.fc43
3
glib2
2.83.5-1.fc43
2.84.0-1.fc43
3
pango
1.56.1-1.fc42
1.56.2-1.fc43
3
openssh-clients
9.9p1-11.fc43
9.9p1-12.fc43
3
kernel-headers
6.14.0-0.rc5.43.fc43
6.14.0-0.rc6.49.fc43
4
crypto-policies
20250214-1.gitff7551b....
20250305-1.gita35b0fa....
4
setup
2.15.0-13.fc43
2.15.0-14.fc43
4
openssh
9.9p1-11.fc43
9.9p1-12.fc43
4
libffi
3.4.7-1.fc43
3.4.7-2.fc43
4
curl
8.12.1-1.fc43
8.13.0~rc1-1.fc43
4
fedora-release
43-0.6
43-0.7
B
fedora-release-common
43-0.6
43-0.7
B
tree-sitter-srpm-macros
0.1.0-10.fc43
0.2.0-1.fc43
B
systemd-standalone-sysusers
257.3-7.fc43
257.4-3.fc43
B
avahi-libs
0.9~rc2-2.fc42
0.9~rc2-3.fc43
B
systemd-libs
257.3-7.fc43
257.4-3.fc43
B
fedora-release-identity-basic
43-0.6
43-0.7
B
failed
129893600
2025-03-06 10:32:49
aarch64
├129893676 ( build.log | root.log )
ppc64le
├129893675 ( build.log | root.log )
x86_64
└129893674 ( build.log | root.log )
gcc-c++
15.0.1-0.8.fc43
15.0.1-0.9.fc43
1
gcc
15.0.1-0.8.fc43
15.0.1-0.9.fc43
2
fmt
11.1.3-1.fc43
11.1.4-1.fc43
2
libstdc++
15.0.1-0.8.fc43
15.0.1-0.9.fc43
2
libgcc
15.0.1-0.8.fc43
15.0.1-0.9.fc43
2
libstdc++-devel
15.0.1-0.8.fc43
15.0.1-0.9.fc43
2
suitesparse
7.9.0-1.fc43
7.10.0-1.fc43
3
libgomp
15.0.1-0.8.fc43
15.0.1-0.9.fc43
3
libnghttp2
1.64.0-3.fc42
1.65.0-1.fc43
3
harfbuzz
10.3.0-1.fc43
10.4.0-1.fc43
3
glib2
2.83.2-6.fc42
2.83.5-1.fc43
3
cpp
15.0.1-0.8.fc43
15.0.1-0.9.fc43
3
openssh-clients
9.9p1-9.fc43
9.9p1-11.fc43
3
gnutls
3.8.9-4.fc43
3.8.9-5.fc43
4
readline
8.2-12.fc42
8.2-13.fc43
4
kernel-headers
6.14.0-0.rc4.36.fc43
6.14.0-0.rc5.43.fc43
4
openssh
9.9p1-9.fc43
9.9p1-11.fc43
4
libffi
3.4.6-5.fc42
3.4.7-1.fc43
4
setup
2.15.0-12.fc43
2.15.0-13.fc43
4
nss-softokn-freebl
3.108.0-3.fc43
3.109.0-1.fc43
B
nss-sysinit
3.108.0-3.fc43
3.109.0-1.fc43
B
libquadmath
15.0.1-0.8.fc43
15.0.1-0.9.fc43
B
nss-util
3.108.0-3.fc43
3.109.0-1.fc43
B
lua-libs
5.4.7-2.fc42
5.4.7-3.fc43
B
nss-softokn
3.108.0-3.fc43
3.109.0-1.fc43
B
tree-sitter-srpm-macros
0.1.0-8.fc42
0.1.0-10.fc43
B
annobin-docs
12.88-1.fc42
12.92-1.fc43
B
nss
3.108.0-3.fc43
3.109.0-1.fc43
B
nspr
4.36.0-4.fc43
4.36.0-5.fc43
B
gcc-plugin-annobin
15.0.1-0.8.fc43
15.0.1-0.9.fc43
B
libgfortran
15.0.1-0.8.fc43
15.0.1-0.9.fc43
B
google-noto-sans-vf-fonts
20250201-1.fc43
20250301-1.fc43
B
google-noto-fonts-common
20250201-1.fc43
20250301-1.fc43
B
annobin-plugin-gcc
12.88-1.fc42
12.92-1.fc43
B
failed
129685573
2025-02-28 19:45:01
aarch64
├129685606 ( build.log | root.log )
ppc64le
├129685605 ( build.log | root.log )
x86_64
└129685604 ( build.log | root.log )
zlib-ng-compat-devel
2.2.4-1.fc43
2.2.4-2.fc43
1
cmake
3.31.5-1.fc42
4.0.0~rc2-3.fc43
1
gcc-c++
15.0.1-0.7.fc43
15.0.1-0.8.fc43
1
jsoncpp
1.9.5-9.fc42
1.9.6-1.fc43
2
zlib-ng-compat
2.2.4-1.fc43
2.2.4-2.fc43
2
cmake-rpm-macros
3.31.5-1.fc42
4.0.0~rc2-3.fc43
2
libstdc++-devel
15.0.1-0.7.fc43
15.0.1-0.8.fc43
2
glibc
2.41.9000-1.fc43
2.41.9000-2.fc43
2
cmake-data
3.31.5-1.fc42
4.0.0~rc2-3.fc43
2
cmake-filesystem
3.31.5-1.fc42
4.0.0~rc2-3.fc43
2
libarchive
3.7.7-2.fc42
3.7.7-3.fc43
2
libstdc++
15.0.1-0.7.fc43
15.0.1-0.8.fc43
2
gcc
15.0.1-0.7.fc43
15.0.1-0.8.fc43
2
libgcc
15.0.1-0.7.fc43
15.0.1-0.8.fc43
2
glibc-minimal-langpack
2.41.9000-1.fc43
2.41.9000-2.fc43
3
openssl-libs
1:3.2.4-1.fc43
1:3.2.4-2.fc43
3
glibc-common
2.41.9000-1.fc43
2.41.9000-2.fc43
3
rpm
4.20.0-8.fc42
4.20.1-1.fc43
3
zlib-ng
2.2.4-1.fc43
2.2.4-2.fc43
3
cpp
15.0.1-0.7.fc43
15.0.1-0.8.fc43
3
glibc-devel
2.41.9000-1.fc43
2.41.9000-2.fc43
3
libgomp
15.0.1-0.7.fc43
15.0.1-0.8.fc43
3
suitesparse
7.8.3-1.fc42
7.9.0-1.fc43
3
glibc-gconv-extra
2.41.9000-1.fc43
2.41.9000-2.fc43
3
coreutils
9.6-1.fc42
9.6-2.fc43
4
rpm-libs
4.20.0-8.fc42
4.20.1-1.fc43
4
fedora-release
43-0.5
43-0.6
B
libquadmath
15.0.1-0.7.fc43
15.0.1-0.8.fc43
B
libgfortran
15.0.1-0.7.fc43
15.0.1-0.8.fc43
B
rpm-build-libs
4.20.0-8.fc42
4.20.1-1.fc43
B
fedora-release-common
43-0.5
43-0.6
B
gcc-plugin-annobin
15.0.1-0.7.fc43
15.0.1-0.8.fc43
B
fedora-release-identity-basic
43-0.5
43-0.6
B
rpm-build
4.20.0-8.fc42
4.20.1-1.fc43
B
debugedit
5.1-4.fc42
5.1-5.fc43
B
coreutils-common
9.6-1.fc42
9.6-2.fc43
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