Koschei - yices - build 129145749

Build details

Build information

State

complete

complete

Name

yices

Epoch

None

Version

2.6.5

Release

7.fc43

Started

2025-02-11 17:52:12

Finished

2025-02-11 18:13:36

Koji repo

6549822

Koji tasks

Build logs

aarch64

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

cryptominisat-devel

5.11.22-4.fc42

5.12.1-1.fc43

1

glibc

2.40.9000-35.fc42

2.40.9000-37.fc43

2

cryptominisat-libs

5.11.22-4.fc42

5.12.1-1.fc43

2

glibc-devel

2.40.9000-35.fc42

2.40.9000-37.fc43

2

zlib-ng-devel

2.2.3-2.fc42

2

kernel-headers

6.14.0-0.rc1.15.fc42

6.14.0-0.rc2.22.fc43

3

glibc-minimal-langpack

2.40.9000-35.fc42

2.40.9000-37.fc43

3

zlib-ng

2.2.3-2.fc42

3

glibc-common

2.40.9000-35.fc42

2.40.9000-37.fc43

3

glibc-gconv-extra

2.40.9000-35.fc42

2.40.9000-37.fc43

3

setup

2.15.0-10.fc42

2.15.0-12.fc43

4

cups-libs

1:2.4.11-10.fc42

1:2.4.11-11.fc43

4

zlib-ng-compat-devel

2.2.3-2.fc42

gdb-minimal

15.2-7.fc42

16.2-1.fc43

B

libeconf

0.7.5-2.fc42

0.7.6-1.fc43

B

add-determinism

0.5.0-2.fc42

0.6.0-1.fc43

B

build-reproducibility-srpm-macros

0.5.0-2.fc42

0.6.0-1.fc43

B

cups-filesystem

1:2.4.11-10.fc42

1:2.4.11-11.fc43

B

show 8 more collapse