Koschei - cbmc

Package information

State

failing

Packages

Bodhi

Dist-git

Bugzilla

Koji

File new FTBFS bug

Scheduler parameters

Tracked by Koschei

True

Current priority

349

Manual priority

Static priority

Arch override

None

Skip resolution

False

Configure scheduling

Dependency changes since last build

No dependency changes

State overview

Groups

This package is not part of any global group.

Most recent builds

131141972

2025-04-05 15:34:42

aarch64

├131142071 ( build.log | root.log )

ppc64le

├131142070 ( build.log | root.log )

x86_64

└131142069 ( build.log | root.log )

vim-filesystem

2:9.1.1227-1.fc43

2:9.1.1275-1.fc43

glibc

2.41.9000-6.fc43

2.41.9000-8.fc43

libcurl

8.13.0~rc3-1.fc43

8.13.0-1.fc43

filesystem

3.18-38.fc43

3.18-39.fc43

glibc-devel

2.41.9000-6.fc43

2.41.9000-8.fc43

glibc-common

2.41.9000-6.fc43

2.41.9000-8.fc43

harfbuzz

11.0.0-1.fc43

11.0.1-2.fc43

xz-libs

1:5.8.0-1.fc43

1:5.8.1-1.fc43

glibc-minimal-langpack

2.41.9000-6.fc43

2.41.9000-8.fc43

glib2

2.84.0-1.fc43

2.84.1-1.fc43

glibc-gconv-extra

2.41.9000-6.fc43

2.41.9000-8.fc43

libxcrypt

4.4.38-6.fc43

4.4.38-7.fc43

libxcrypt-devel

4.4.38-6.fc43

4.4.38-7.fc43

crypto-policies

20250324-1.git3714354....

20250402-1.git86c0178....

curl

8.13.0~rc3-1.fc43

8.13.0-1.fc43

libffi

3.4.7-3.fc43

3.4.7-4.fc43

rpm-sequoia

1.7.0-5.fc43

1.8.0-1.fc43

gawk

5.3.1-1.fc42

5.3.2-1.fc43

fedora-release

43-0.8

43-0.10

1:5.8.0-1.fc43

1:5.8.1-1.fc43

redhat-rpm-config

342-2.fc42

343-3.fc43

filesystem-srpm-macros

3.18-38.fc43

3.18-39.fc43

fedora-release-identity-basic

43-0.8

43-0.10

qt6-srpm-macros

6.9.0~rc-1.fc43

6.9.0-1.fc43

fedora-release-common

43-0.8

43-0.10

show 15 more collapse

130949420

2025-03-31 19:48:24

aarch64

├130949521 ( build.log | root.log )

ppc64le

├130949520 ( build.log | root.log )

x86_64

└130949519 ( build.log | root.log )

gcc-c++

15.0.1-0.10.fc43

15.0.1-0.11.fc43

expat

2.7.0-1.fc43

2.7.1-1.fc43

graphviz

12.2.1-3.fc42

12.2.1-5.fc43

libgcc

15.0.1-0.10.fc43

15.0.1-0.11.fc43

spdlog

1.15.1-2.fc43

1.15.2-1.fc43

gcc

15.0.1-0.10.fc43

15.0.1-0.11.fc43

libstdc++

15.0.1-0.10.fc43

15.0.1-0.11.fc43

xapian-core-libs

1.4.26-2.fc42

1.4.27-1.fc43

libstdc++-devel

15.0.1-0.10.fc43

15.0.1-0.11.fc43

cpp

15.0.1-0.10.fc43

15.0.1-0.11.fc43

perl-Pod-Usage

4:2.04-1.fc43

4:2.05-1.fc43

rpm

4.20.1-1.fc43

4.20.1-3.fc43

libgomp

15.0.1-0.10.fc43

15.0.1-0.11.fc43

graphviz-libs

12.2.1-3.fc42

12.2.1-5.fc43

tzdata

2025a-1.fc43

2025b-1.fc43

rpm-libs

4.20.1-1.fc43

4.20.1-3.fc43

libffi

3.4.7-2.fc43

3.4.7-3.fc43

rpm-build

4.20.1-1.fc43

4.20.1-3.fc43

libquadmath

15.0.1-0.10.fc43

15.0.1-0.11.fc43

libgfortran

15.0.1-0.10.fc43

15.0.1-0.11.fc43

gcc-plugin-annobin

15.0.1-0.10.fc43

15.0.1-0.11.fc43

rpm-build-libs

4.20.1-1.fc43

4.20.1-3.fc43

patch

2.7.6-26.fc42

2.8-1.fc43

show 13 more collapse

130868856

2025-03-29 07:08:21

aarch64

├130868941 ( build.log | root.log )

ppc64le

├130868940 ( build.log | root.log )

x86_64

└130868939 ( build.log | root.log )

libcurl

8.13.0~rc2-1.fc43

8.13.0~rc3-1.fc43

glibc

2.41.9000-2.fc43

2.41.9000-6.fc43

perl-Pod-Usage

4:2.03-512.fc42

4:2.04-1.fc43

openssl-libs

1:3.5.0-1.fc43

1:3.5.0-2.fc43

glibc-minimal-langpack

2.41.9000-2.fc43

2.41.9000-6.fc43

openldap

2.6.9-3.fc42

2.6.9-5.fc43

glibc-common

2.41.9000-2.fc43

2.41.9000-6.fc43

librsvg2

2.59.2-2.fc42

2.60.0-1.fc43

glibc-devel

2.41.9000-2.fc43

2.41.9000-6.fc43

xz-libs

1:5.6.3-3.fc42

1:5.8.0-1.fc43

glibc-gconv-extra

2.41.9000-2.fc43

2.41.9000-6.fc43

kernel-headers

6.14.0-0.rc7.56.fc43

6.14.0-63.fc43

rsvg-pixbuf-loader

2.59.2-2.fc42

2.60.0-1.fc43

crypto-policies

20250305-1.gita35b0fa....

20250324-1.git3714354....

curl

8.13.0~rc2-1.fc43

8.13.0~rc3-1.fc43

diffutils

3.10-9.fc42

3.11-3.fc43

gdb-minimal

16.2-1.fc43

16.2-3.fc43

python-srpm-macros

3.13-4.fc42

3.13-5.fc43

gnupg2

2.4.7-2.fc42

2.4.7-3.fc43

1:5.6.3-3.fc42

1:5.8.0-1.fc43

go-srpm-macros

3.6.0-6.fc42

3.6.0-7.fc43

perl-Net-SSLeay

1.94-8.fc42

1.94-9.fc43

libusb1

1.0.27-9.fc43

1.0.28-2.fc43

qt6-srpm-macros

6.8.2-2.fc43

6.9.0~rc-1.fc43

show 14 more collapse

130701967

2025-03-24 18:07:22

aarch64

├130702053 ( build.log | root.log )

ppc64le

├130702052 ( build.log | root.log )

x86_64

└130702051 ( build.log | root.log )

git

2.49.0-1.fc43

2.49.0-2.fc43

git-core-doc

2.49.0-1.fc43

2.49.0-2.fc43

mpfr

4.2.1-6.fc42

4.2.2-1.fc43

git-core

2.49.0-1.fc43

2.49.0-2.fc43

vim-filesystem

2:9.1.1202-1.fc43

2:9.1.1227-1.fc43

perl-Git

2.49.0-1.fc43

2.49.0-2.fc43

libgs

10.04.0-2.fc43

10.05.0-1.fc43

openssh-clients

9.9p1-13.fc43

9.9p1-14.fc43

openssl-libs

1:3.2.4-3.fc43

1:3.5.0-1.fc43

harfbuzz

10.4.0-1.fc43

11.0.0-1.fc43

shadow-utils

2:4.17.0-4.fc42

2:4.17.4-1.fc43

openssh

9.9p1-13.fc43

9.9p1-14.fc43

python-pip-wheel

24.3.1-2.fc42

25.0.1-3.fc43

setup

2.15.0-14.fc43

2.15.0-23.fc43

tpm2-tss

4.1.3-6.fc42

4.1.3-7.fc43

fedora-release-identity-basic

43-0.7

43-0.8

libusb1

1.0.27-8.fc42

1.0.27-9.fc43

pyproject-srpm-macros

1.17.0-1.fc43

1.18.1-1.fc43

fedora-release

43-0.7

43-0.8

fedora-release-common

43-0.7

43-0.8

show 10 more collapse

130500854

2025-03-19 22:29:12

aarch64

├130500945 ( build.log | root.log )

ppc64le

├130500944 ( build.log | root.log )

x86_64

└130500943 ( build.log | root.log )

git

2.48.1-3.fc43

2.49.0-1.fc43

cmake

4.0.0~rc4-1.fc43

3.31.6-2.fc43

cmake-rpm-macros

4.0.0~rc4-1.fc43

3.31.6-2.fc43

cmake-data

4.0.0~rc4-1.fc43

3.31.6-2.fc43

cmake-filesystem

4.0.0~rc4-1.fc43

3.31.6-2.fc43

git-core

2.48.1-3.fc43

2.49.0-1.fc43

git-core-doc

2.48.1-3.fc43

2.49.0-1.fc43

perl-Git

2.48.1-3.fc43

2.49.0-1.fc43

libcurl

8.13.0~rc1-2.fc43

8.13.0~rc2-1.fc43

openssh-clients

9.9p1-12.fc43

9.9p1-13.fc43

pango

1.56.2-1.fc43

1.56.3-1.fc43

kernel-headers

6.14.0-0.rc6.49.fc43

6.14.0-0.rc7.56.fc43

curl

8.13.0~rc1-2.fc43

8.13.0~rc2-1.fc43

openssh

9.9p1-12.fc43

9.9p1-13.fc43

annobin-plugin-gcc

12.92-1.fc43

12.93-1.fc43

annobin-docs

12.92-1.fc43

12.93-1.fc43

qt5-srpm-macros

5.15.15-1.fc42

5.15.16-1.fc43

show 7 more collapse

2025-03-19 02:30:31

Package dependencies resolved successfuly

2025-03-19 01:29:34

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-6562089

2025-03-19 00:15:26

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-6562072

Previous history