Koschei - cbmc - build 131931853

Build details

Build information

State

complete

complete

Name

cbmc

Epoch

None

Version

6.5.0

Release

1.fc43

Started

2025-04-24 10:59:45

Finished

2025-04-24 11:46:58

Koji repo

6570801

Koji tasks

Build logs

aarch64

build.log | root.log

i386

build.log | root.log

ppc64le

build.log | root.log

s390x

build.log | root.log

x86_64

build.log | root.log

Dependency changes from previous build

python3

3.13.3-1.fc43

3.13.3-2.fc43

2

python3-libs

3.13.3-1.fc43

3.13.3-2.fc43

3

perl-TermReadKey

2.38-24.fc42

perl-Error

1:0.17030-1.fc43

perl-File-Find

1.44-517.fc43

perl-Git

2.49.0-2.fc43

nss-sysinit

3.109.0-1.fc43

3.110.0-2.fc43

B

nss-softokn-freebl

3.109.0-1.fc43

3.110.0-2.fc43

B

tree-sitter-srpm-macros

0.2.2-1.fc43

0.2.4-1.fc43

B

fedora-release-identity-basic

43-0.13

43-0.15

B

nss-util

3.109.0-1.fc43

3.110.0-2.fc43

B

git

2.49.0-2.fc43

fedora-release-common

43-0.13

43-0.15

B

perl-lib

0.65-517.fc43

fedora-release

43-0.13

43-0.15

B

nss

3.109.0-1.fc43

3.110.0-2.fc43

B

nspr

4.36.0-5.fc43

4.36.0-7.fc43

B

nss-softokn

3.109.0-1.fc43

3.110.0-2.fc43

B

git-core-doc

2.49.0-2.fc43

redhat-rpm-config

343-3.fc43

343-4.fc43

B

show 10 more collapse