Koschei - cbmc - build 129584813

Build details

Build information

State

failed

failed

Name

cbmc

Epoch

None

Version

6.4.1

Release

1.fc42

Started

2025-02-24 14:36:34

Finished

2025-02-24 15:26:43

Koji repo

6553091

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

gmp

1:6.3.0-2.fc41

1:6.3.0-3.fc43

2

glibc

2.40.9000-37.fc43

2.41.9000-1.fc43

2

libzstd

1.5.6-3.fc42

1.5.7-1.fc43

2

vim-filesystem

2:9.1.1081-1.fc43

2:9.1.1122-1.fc43

2

glibc-common

2.40.9000-37.fc43

2.41.9000-1.fc43

3

perl-Error

1:0.17029-17.fc42

1:0.17030-1.fc43

3

glibc-devel

2.40.9000-37.fc43

2.41.9000-1.fc43

3

harfbuzz

10.2.0-2.fc42

10.3.0-1.fc43

3

libpng

2:1.6.46-1.fc43

2:1.6.47-1.fc43

3

libuuid

2.40.4-6.fc43

2.40.4-7.fc43

3

poppler-glib

24.08.0-2.fc42

25.02.0-1.fc43

3

glibc-minimal-langpack

2.40.9000-37.fc43

2.41.9000-1.fc43

3

glibc-gconv-extra

2.40.9000-37.fc43

2.41.9000-1.fc43

3

openssh-clients

9.9p1-7.fc42

9.9p1-9.fc43

3

pcre2

10.44-1.fc43.2

10.45-1.fc43

3

libmount

2.40.4-6.fc43

2.40.4-7.fc43

4

kernel-headers

6.14.0-0.rc2.22.fc43

6.14.0-0.rc4.36.fc43

4

openssh

9.9p1-7.fc42

9.9p1-9.fc43

4

gnutls

3.8.9-2.fc43

3.8.9-4.fc43

4

pcre2-syntax

10.44-1.fc43.2

10.45-1.fc43

4

cups-libs

1:2.4.11-11.fc43

1:2.4.11-13.fc43

4

poppler

24.08.0-2.fc42

25.02.0-1.fc43

4

libfdisk

2.40.4-6.fc43

2.40.4-7.fc43

B

util-linux

2.40.4-6.fc43

2.40.4-7.fc43

B

fedora-release-identity-basic

43-0.2

43-0.5

B

fedora-release-common

43-0.2

43-0.5

B

libsmartcols

2.40.4-6.fc43

2.40.4-7.fc43

B

libblkid

2.40.4-6.fc43

2.40.4-7.fc43

B

cups-filesystem

1:2.4.11-11.fc43

1:2.4.11-13.fc43

B

fedora-release

43-0.2

43-0.5

B

qt6-srpm-macros

6.8.2-1.fc42

6.8.2-2.fc43

B

zstd

1.5.6-3.fc42

1.5.7-1.fc43

B

nettle

3.10-6.fc42

3.10.1-1.fc43

B

util-linux-core

2.40.4-6.fc43

2.40.4-7.fc43

B

show 24 more collapse