Koschei - cbmc - build 96937034

Build details

Build information

State

failed

failed

Name

cbmc

Epoch

None

Version

5.50.0

Release

2.fc37

Started

2023-02-01 01:27:57

Finished

2023-02-01 01:41:06

Koji repo

5002755

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

doxygen

2:1.9.6-4.fc38

2:1.9.6-5.fc38

1

vim-filesystem

2:9.0.1221-1.fc38

2:9.0.1262-1.fc38

2

make

1:4.4-2.fc38

1:4.4-3.fc38

2

graphviz

7.1.0-1.fc38

7.1.0-2.fc38

2

perl-autodie

2.34-491.fc38

2.36-1.fc38

2

glibc

2.36.9000-24.fc38

2.36.9000-25.fc38

2

glibc-gconv-extra

2.36.9000-24.fc38

2.36.9000-25.fc38

3

libacl

2.3.1-4.fc37

2.3.1-6.fc38

3

glibc-devel

2.36.9000-24.fc38

2.36.9000-25.fc38

3

libgs

9.56.1-7.fc38

10.0.0-1.fc38

3

krb5-libs

1.20.1-7.fc38

1.20.1-8.fc38

3

glibc-common

2.36.9000-24.fc38

2.36.9000-25.fc38

3

glibc-minimal-langpack

2.36.9000-24.fc38

2.36.9000-25.fc38

3

kernel-headers

6.2.0-0.rc4.git0.1....

6.2.0-0.rc6.git0.1....

4

ghc-srpm-macros

1.6.0-1.fc38

1.6.1-1.fc38

4

langpacks-core-font-en

3.0-28.fc38

3.0-29.fc38

4

glibc-headers-x86

2.36.9000-24.fc38

2.36.9000-25.fc38

4

show 7 more collapse