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

2151

Manual priority

0

Static priority

0

Arch override

None

Skip resolution

False

Configure scheduling

Dependency changes since last build

java-21-openjdk-devel

1:21.0.5.0.11-1.fc41

1:21.0.6.0.7-1.fc41

1

python3-packaging

24.1-2.fc41

24.2-3.fc41

1

kissat-devel

4.0.1-1.fc41

4.0.2-1.fc41

1

openssh-clients

9.9p1-1.fc41

9.9p1-2.fc41

2

java-21-openjdk-headless

1:21.0.5.0.11-1.fc41

1:21.0.6.0.7-1.fc41

2

kissat-libs

4.0.1-1.fc41

4.0.2-1.fc41

2

less

661-2.fc41

668-1.fc41

2

java-21-openjdk

1:21.0.5.0.11-1.fc41

1:21.0.6.0.7-1.fc41

2

openssh

9.9p1-1.fc41

9.9p1-2.fc41

3

libX11

1.8.10-2.fc41

1.8.11-1.fc41

3

crypto-policies

20241029-1.git8baf557....

20250124-1.git4d262e7....

3

libX11-common

1.8.10-2.fc41

1.8.11-1.fc41

4

qt6-srpm-macros

6.8.1-4.fc41

6.8.2-1.fc41

4

gnutls

3.8.6-7.fc41

3.8.8-3.fc41

4

show 4 more collapse

State overview

Groups

This package is not part of any global group.

Historical builds

complete

2024-08-07 14:50:32

aarch64

├121610639 ( build.log | root.log )

ppc64le

├121610640 ( build.log | root.log )

x86_64

└121610638 ( build.log | root.log )

python3-cython

3.0.9-5.fc41

3.0.11-1.fc41

1

git-core

2.45.2-3.fc41

2.46.0-1.fc41

1

sqlite-devel

3.46.0-3.fc41

3.46.0-4.fc41

1

python3-pip

24.1.1-2.fc41

24.2-1.fc41

1

libcurl

8.9.1-1.fc41

8.9.1-2.fc41

2

openssh-clients

9.8p1-2.fc41

9.8p1-3.fc41

2

sqlite

3.46.0-3.fc41

3.46.0-4.fc41

2

alternatives

1.29-1.fc41

1.30-1.fc41

2

sqlite-libs

3.46.0-3.fc41

3.46.0-4.fc41

2

python-pip-wheel

24.1.1-2.fc41

24.2-1.fc41

3

openssh

9.8p1-2.fc41

9.8p1-3.fc41

3

vim-filesystem

2:9.1.571-3.fc41

2:9.1.660-1.fc41

3

crypto-policies

20240725-2.git9555558....

20240802-1.git2e5e430....

3

curl

8.9.1-1.fc41

8.9.1-2.fc41

4

crypto-policies-scripts

20240725-2.git9555558....

20240802-1.git2e5e430....

4

forge-srpm-macros

0.3.1-2.fc41

0.3.2-1.fc41

4

kernel-headers

6.11.0-0.rc1.dc1c803...

6.11.0-0.rc2.23.fc41

4

fedora-release-identity-basic

41-0.17

41-0.20

B

fedora-release-common

41-0.17

41-0.20

B

fedora-release

41-0.17

41-0.20

B

glib2

2.81.0-1.fc41

2.81.1-1.fc41

B

show 11 more collapse