Koschei - cvc5 - build 128794583

Build details

Build information

State

complete

complete

Name

cvc5

Epoch

None

Version

1.2.1

Release

1.fc42

Started

2025-02-03 05:11:34

Finished

2025-02-03 05:46:02

Koji repo

6547243

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

cocoalib-devel

0.99850-6.fc42

0.99850-7.fc42

1

gcc-c++

15.0.1-0.5.fc42

15.0.1-0.6.fc42

1

java-21-openjdk-devel

1:21.0.6.0.7-1.fc42

1:21.0.6.0.7-6.fc42

1

libgcc

15.0.1-0.5.fc42

15.0.1-0.6.fc42

2

cocoalib

0.99850-6.fc42

0.99850-7.fc42

2

libstdc++

15.0.1-0.5.fc42

15.0.1-0.6.fc42

2

gsl-devel

2.7.1-13.fc42

2.8-1.fc42

2

java-21-openjdk

1:21.0.6.0.7-1.fc42

1:21.0.6.0.7-6.fc42

2

libstdc++-devel

15.0.1-0.5.fc42

15.0.1-0.6.fc42

2

gcc

15.0.1-0.5.fc42

15.0.1-0.6.fc42

2

libgomp

15.0.1-0.5.fc42

15.0.1-0.6.fc42

3

cpp

15.0.1-0.5.fc42

15.0.1-0.6.fc42

3

gsl

2.7.1-13.fc42

2.8-1.fc42

3

java-21-openjdk-headless

1:21.0.6.0.7-1.fc42

1:21.0.6.0.7-6.fc42

3

libquadmath-devel

15.0.1-0.5.fc42

15.0.1-0.6.fc42

3

libquadmath

15.0.1-0.5.fc42

15.0.1-0.6.fc42

4

gcc-plugin-annobin

15.0.1-0.5.fc42

15.0.1-0.6.fc42

4

libgfortran

15.0.1-0.5.fc42

15.0.1-0.6.fc42

4

copy-jdk-configs

4.1-7.fc42

lua-posix

36.2.1-8.fc42

lua

5.4.7-2.fc42

show 11 more collapse