Koschei - cvc5 - build 129807285

Build details

Build information

State

complete

complete

Name

cvc5

Epoch

None

Version

1.2.1

Release

3.fc43

Started

2025-03-04 17:17:52

Finished

2025-03-04 17:53:35

Koji repo

6556068

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

tree-sitter-srpm-macros

0.1.0-9.fc43

0.1.0-10.fc43

4

nss

3.108.0-3.fc43

3.109.0-1.fc43

4

nss-util

3.108.0-3.fc43

3.109.0-1.fc43

B

google-noto-fonts-common

20250201-1.fc43

20250301-1.fc43

B

nss-softokn

3.108.0-3.fc43

3.109.0-1.fc43

B

google-noto-sans-vf-fonts

20250201-1.fc43

20250301-1.fc43

B

python3-distro

1.9.0-6.fc42

nss-sysinit

3.108.0-3.fc43

3.109.0-1.fc43

B

ninja-build

1.12.1-4.fc42

nss-softokn-freebl

3.108.0-3.fc43

3.109.0-1.fc43

B

python3-scikit-build

0.18.1-2.fc42

nspr

4.36.0-4.fc43

4.36.0-5.fc43

B

show 2 more collapse