Koschei - cbmc - build 96216202

Build details

Build information

State

failed

failed

Name

cbmc

Epoch

None

Version

5.50.0

Release

2.fc37

Started

2023-01-16 19:15:29

Finished

2023-01-16 19:22:09

Koji repo

4976549

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

gcc-c++

12.2.1-4.fc38

13.0.0-0.9.fc38

1

cmake

3.25.1-2.fc38

3.25.1-3.fc38

1

libstdc++

12.2.1-4.fc38

13.0.0-0.9.fc38

2

libgcc

12.2.1-4.fc38

13.0.0-0.9.fc38

2

cmake-rpm-macros

3.25.1-2.fc38

3.25.1-3.fc38

2

cmake-data

3.25.1-2.fc38

3.25.1-3.fc38

2

cmake-filesystem

3.25.1-2.fc38

3.25.1-3.fc38

2

libstdc++-devel

12.2.1-4.fc38

13.0.0-0.9.fc38

2

gcc

12.2.1-4.fc38

13.0.0-0.9.fc38

2

libgomp

12.2.1-4.fc38

13.0.0-0.9.fc38

3

pango

1.50.12-1.fc38

1.50.12-2.fc38

3

redhat-rpm-config

242-1.fc38

243-1.fc38

3

libtool-ltdl

2.4.7-4.fc38

2.4.7-5.fc38

3

libX11

1.8.3-1.fc38

1.8.3-2.fc38

3

cpp

12.2.1-4.fc38

13.0.0-0.9.fc38

3

gcc-plugin-annobin

12.2.1-4.fc38

13.0.0-0.9.fc38

4

libX11-common

1.8.3-1.fc38

1.8.3-2.fc38

4

annobin-plugin-gcc

10.98-1.fc38

11.06-2.fc38

4

diffutils

3.8-3.fc37

3.9-1.fc38

B

libgfortran

12.2.1-4.fc38

13.0.0-0.9.fc38

B

libquadmath

12.2.1-4.fc38

13.0.0-0.9.fc38

B

annobin-docs

10.98-1.fc38

11.06-2.fc38

B

show 12 more collapse