Koschei - cvc5

cvc5

Package information

State

ok

Packages

Bodhi

Dist-git

Bugzilla

Koji

File new FTBFS bug

Scheduler parameters

Tracked by Koschei

True

Current priority

2368

Manual priority

0

Static priority

0

Arch override

None

Skip resolution

False

Configure scheduling

Dependency changes since last build

pyproject-rpm-macros

1.16.4-2.fc42

1.17.0-1.fc42

1

git-core

2.48.1-2.fc42

2.48.1-3.fc42

1

python3-devel

3.13.2-1.fc42

3.13.2-2.fc42

1

python3-libs

3.13.2-1.fc42

3.13.2-2.fc42

2

pyproject-srpm-macros

1.16.4-2.fc42

1.17.0-1.fc42

2

m4

1.4.19-10.fc41

1.4.19-12.fc42

2

python3

3.13.2-1.fc42

3.13.2-2.fc42

2

tzdata

2024b-2.fc42

2025a-1.fc42

3

vim-filesystem

2:9.1.1000-2.fc42

2:9.1.1081-1.fc42

3

binutils

2.44-1.fc42

2.44-3.fc42

3

mpdecimal

2.5.1-17.fc42

4.0.0-2.fc42

3

flexiblas-netlib

3.4.4-7.fc42

3.4.5-1.fc42

3

flexiblas

3.4.4-7.fc42

3.4.5-1.fc42

4

fedora-release

42-0.17

42-0.18

4

flexiblas-openblas-openmp

3.4.4-7.fc42

3.4.5-1.fc42

4

rpm-sequoia

1.7.0-4.fc42

1.7.0-5.fc42

4

tzdata-java

2024b-2.fc42

2025a-1.fc42

4

fedora-release-identity-basic

42-0.17

42-0.18

B

gnutls

3.8.8-2.fc42

3.8.8-3.fc42

B

authselect

1.5.0-9.fc42

1.5.1-1.fc42

B

fedora-release-common

42-0.17

42-0.18

B

authselect-libs

1.5.0-9.fc42

1.5.1-1.fc42

B

show 12 more collapse

State overview

Groups

This package is not part of any global group.

Historical builds