Koschei - yices - build 112698249

Build details

Build information

State

complete

complete

Name

yices

Epoch

None

Version

2.6.4

Release

10.fc40

Started

2024-01-31 23:47:23

Finished

2024-02-01 00:07:13

Koji repo

5782433

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.8.0-18.fc40

5.11.15-1.fc40

1

latexmk

4.82a-3.fc40

4.83-1.fc40

1

xdg-utils

1.2.0~git20231511.21fb316-2.fc40

1.2.0-1.fc40

2

binutils

2.41-31.fc40

2.41-32.fc40

2

sed

4.8-15.fc40

4.9-1.fc40

2

glibc

2.38.9000-35.fc40

2.38.9000-38.fc40

2

glibc-devel

2.38.9000-35.fc40

2.38.9000-38.fc40

2

cryptominisat-libs

5.8.0-18.fc40

5.11.15-1.fc40

2

binutils-gold

2.41-31.fc40

2.41-32.fc40

3

glibc-common

2.38.9000-35.fc40

2.38.9000-38.fc40

3

glibc-gconv-extra

2.38.9000-35.fc40

2.38.9000-38.fc40

3

glibc-minimal-langpack

2.38.9000-35.fc40

2.38.9000-38.fc40

3

boost-serialization

1.83.0-3.fc40

3

picosat-libs

965-20.fc40

3

breakid

3.1.2-1.fc40

3

glibc-headers-x86

2.38.9000-35.fc40

2.38.9000-38.fc40

3

coreutils

9.4-5.fc40

9.4-6.fc40

3

bliss-libs

0.77-7.fc40

4

coreutils-common

9.4-5.fc40

9.4-6.fc40

4

freetype

2.13.2-1.fc40

2.13.2-4.fc40

4

p11-kit

0.25.3-1.fc40

0.25.3-4.fc40

B

google-noto-fonts-common

20230801-6.fc40

20240101-1.fc40

B

perl-XML-SAX

1.02-15.fc40

1.02-16.fc40

B

m4ri-devel

20200125-11.fc40

libpng-devel

2:1.6.40-3.fc40

m4ri

20200125-11.fc40

perl-Module-CoreList

1:5.20231230-3.fc40

1:5.20240129-1.fc40

B

rust-srpm-macros

25.2-3.fc40

25.2-4.fc40

B

harfbuzz

8.3.0-4.fc40

8.3.0-5.fc40

B

google-noto-sans-vf-fonts

20230801-6.fc40

20240101-1.fc40

B

libicu73

73.2-1.fc40

B

libicu

73.2-5.fc40

perl-TimeDate

1:2.33-13.fc40

1:2.33-14.fc40

B

p11-kit-trust

0.25.3-1.fc40

0.25.3-4.fc40

B

show 24 more collapse