Koschei - cbmc - build 130701967

Build details

Build information

State

failed

failed

Name

cbmc

Epoch

None

Version

6.4.1

Release

1.fc42

Started

2025-03-24 18:07:22

Finished

2025-03-24 18:47:43

Koji repo

6563416

Koji tasks

Build logs

aarch64

build.log | root.log

ppc64le

build.log | root.log

x86_64

build.log | root.log

Dependency changes from previous build

git

2.49.0-1.fc43

2.49.0-2.fc43

1

git-core-doc

2.49.0-1.fc43

2.49.0-2.fc43

2

perl-Git

2.49.0-1.fc43

2.49.0-2.fc43

2

git-core

2.49.0-1.fc43

2.49.0-2.fc43

2

mpfr

4.2.1-6.fc42

4.2.2-1.fc43

2

vim-filesystem

2:9.1.1202-1.fc43

2:9.1.1227-1.fc43

2

openssl-libs

1:3.2.4-3.fc43

1:3.5.0-1.fc43

3

openssh-clients

9.9p1-13.fc43

9.9p1-14.fc43

3

libgs

10.04.0-2.fc43

10.05.0-1.fc43

3

harfbuzz

10.4.0-1.fc43

11.0.0-1.fc43

3

shadow-utils

2:4.17.0-4.fc42

2:4.17.4-1.fc43

4

setup

2.15.0-14.fc43

2.15.0-23.fc43

4

python-pip-wheel

24.3.1-2.fc42

25.0.1-3.fc43

4

openssh

9.9p1-13.fc43

9.9p1-14.fc43

4

fedora-release-identity-basic

43-0.7

43-0.8

B

fedora-release

43-0.7

43-0.8

B

pyproject-srpm-macros

1.17.0-1.fc43

1.18.1-1.fc43

B

libusb1

1.0.27-8.fc42

1.0.27-9.fc43

B

fedora-release-common

43-0.7

43-0.8

B

tpm2-tss

4.1.3-6.fc42

4.1.3-7.fc43

B

show 10 more collapse