Koschei - cbmc - build 96564268

Build details

Build information

State

failed

failed

Name

cbmc

Epoch

None

Version

5.50.0

Release

2.fc37

Started

2023-01-23 12:48:26

Finished

2023-01-23 13:00:59

Koji repo

4987304

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-2.fc38

2:1.9.6-4.fc38

1

z3

4.12.0-1.fc38

4.12.1-1.fc38

1

libcurl

7.87.0-2.fc38

7.87.0-4.fc38

2

xz-libs

5.2.9-1.fc38

5.4.1-1.fc38

3

libselinux

3.5-0.rc1.1.fc38.1

3.5-0.rc2.1.fc38

4

curl

7.87.0-2.fc38

7.87.0-4.fc38

4

ca-certificates

2022.2.54-5.fc37

2023.2.60-2.fc38

4

ghc-srpm-macros

1.5.0-7.fc37

1.6.0-1.fc38

4

perl-Compress-Raw-Lzma

2.201-5.fc38

2.201-7.fc38

4

libsepol

3.5-0.rc1.1.fc38

3.5-0.rc2.1.fc38

B

fedora-release-common

38-0.15

38-0.18

B

systemd-libs

252.4-598.fc38

252.4-4.fc38

B

xz

5.2.9-1.fc38

5.4.1-1.fc38

B

fedora-release

38-0.15

38-0.18

B

libsemanage

3.5-0.rc1.1.fc38

3.5-0.rc2.1.fc38

B

fedora-release-identity-basic

38-0.15

38-0.18

B

svt-av1-libs

1.4.1-1.fc38

1.4.1-2.fc38

B

show 7 more collapse