Koschei - cvc5 - build 115837766

Build details

Build information

State

complete

complete

Name

cvc5

Epoch

None

Version

1.1.2

Release

1.fc40

Started

2024-04-03 19:57:43

Finished

2024-04-03 20:31:58

Koji repo

5979714

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++

14.0.1-0.12.fc40

14.0.1-0.13.fc40

1

python3-cython

3.0.8-1.fc40

3.0.9-1.fc40

1

glibc

2.39-4.fc40

2.39-6.fc40

2

libgcc

14.0.1-0.12.fc40

14.0.1-0.13.fc40

2

libstdc++-devel

14.0.1-0.12.fc40

14.0.1-0.13.fc40

2

libstdc++

14.0.1-0.12.fc40

14.0.1-0.13.fc40

2

gcc

14.0.1-0.12.fc40

14.0.1-0.13.fc40

2

glibc-devel

2.39-4.fc40

2.39-6.fc40

3

libgomp

14.0.1-0.12.fc40

14.0.1-0.13.fc40

3

tzdata-java

2024a-2.fc40

2024a-4.fc40

3

libtirpc

1.3.4-1.rc2.fc40.2

1.3.4-1.rc3.fc40

3

glibc-common

2.39-4.fc40

2.39-6.fc40

3

xz-libs

5.4.6-1.fc40

1:5.4.6-3.fc40

3

glibc-minimal-langpack

2.39-4.fc40

2.39-6.fc40

3

libquadmath-devel

14.0.1-0.12.fc40

14.0.1-0.13.fc40

3

cpp

14.0.1-0.12.fc40

14.0.1-0.13.fc40

3

xz

5.4.6-1.fc40

1:5.4.6-3.fc40

3

glibc-gconv-extra

2.39-4.fc40

2.39-6.fc40

3

tzdata

2024a-2.fc40

2024a-4.fc40

3

gdb-minimal

14.1-8.fc40

14.2-1.fc40

3

glibc-headers-x86

2.39-4.fc40

2.39-6.fc40

4

go-srpm-macros

3.4.0-2.fc40

3.5.0-1.fc40

4

qt5-srpm-macros

5.15.12-3.fc40

5.15.13-1.fc40

4

gcc-plugin-annobin

14.0.1-0.12.fc40

14.0.1-0.13.fc40

4

libquadmath

14.0.1-0.12.fc40

14.0.1-0.13.fc40

4

libgfortran

14.0.1-0.12.fc40

14.0.1-0.13.fc40

4

google-noto-fonts-common

20240201-2.fc40

20240301-2.fc40

B

glib2

2.79.1-1.fc40

2.80.0-1.fc40

B

google-noto-sans-vf-fonts

20240201-2.fc40

20240301-2.fc40

B

show 19 more collapse