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

1433

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.6.0.7-1.fc41

1:21.0.6.0.7-6.fc41

1

java-21-openjdk-headless

1:21.0.6.0.7-1.fc41

1:21.0.6.0.7-6.fc41

2

openssl-libs

1:3.2.2-11.fc41

1:3.2.4-1.fc41

2

java-21-openjdk

1:21.0.6.0.7-1.fc41

1:21.0.6.0.7-6.fc41

2

flexiblas-netlib

3.4.4-5.fc41

3.4.5-1.fc41

3

krb5-libs

1.21.3-3.fc41

1.21.3-4.fc41

3

lksctp-tools

1.0.19-9.fc41

1.0.20-1.fc41

3

flexiblas-openblas-openmp

3.4.4-5.fc41

3.4.5-1.fc41

4

flexiblas

3.4.4-5.fc41

3.4.5-1.fc41

4

autoconf

2.72-3.fc41

2.72-4.fc41

4

copy-jdk-configs

4.1-6.fc41

lua-posix

36.2.1-7.fc41

lua

5.4.6-6.fc41

show 3 more collapse

State overview

Groups

This package is not part of any global group.

Historical builds

complete

2024-08-19 12:11:26

aarch64

├122167658 ( build.log | root.log )

ppc64le

├122167659 ( build.log | root.log )

x86_64

└122167660 ( build.log | root.log )

gcc-c++

14.1.1-7.fc41

14.2.1-1.fc41

1

sqlite-devel

3.46.0-4.fc41

3.46.1-1.fc41

1

libgcc

14.1.1-7.fc41

14.2.1-1.fc41

2

pkgconf-pkg-config

2.1.1-2.fc41

2.3.0-1.fc41

2

sqlite

3.46.0-4.fc41

3.46.1-1.fc41

2

sqlite-libs

3.46.0-4.fc41

3.46.1-1.fc41

2

libstdc++-devel

14.1.1-7.fc41

14.2.1-1.fc41

2

gcc

14.1.1-7.fc41

14.2.1-1.fc41

2

libstdc++

14.1.1-7.fc41

14.2.1-1.fc41

2

cpp

14.1.1-7.fc41

14.2.1-1.fc41

3

pkgconf

2.1.1-2.fc41

2.3.0-1.fc41

3

libquadmath

14.1.1-7.fc41

14.2.1-1.fc41

3

pkgconf-m4

2.1.1-2.fc41

2.3.0-1.fc41

3

libgfortran

14.1.1-7.fc41

14.2.1-1.fc41

3

libquadmath-devel

14.1.1-7.fc41

14.2.1-1.fc41

3

cups-libs

1:2.4.10-3.fc41

1:2.4.10-6.fc41

3

libgomp

14.1.1-7.fc41

14.2.1-1.fc41

3

gcc-plugin-annobin

14.1.1-7.fc41

14.2.1-1.fc41

4

libpkgconf

2.1.1-2.fc41

2.3.0-1.fc41

4

glib2

2.81.1-1.fc41

2.81.2-1.fc41

B

perl-parent

1:0.241-511.fc41

1:0.242-1.fc41

B

show 11 more collapse