Koschei - cvc4

cvc4

Package information

State

blocked

blocked

Packages

Bodhi

Dist-git

Bugzilla

Koji

File new FTBFS bug

Scheduler parameters

Package is currently ineligible for scheduling due to following reasons:

Package is blocked in koji

Tracked by Koschei

True

Current priority

0

Manual priority

0

Static priority

0

Arch override

None

Skip resolution

False

Configure scheduling

Dependency changes since last build

No dependency changes

State overview

Groups

swig

Most recent builds

failed

2023-07-29 23:06:41

aarch64

├104114817 ( build.log | root.log )

ppc64le

├104114818 ( build.log | root.log )

x86_64

└104114819 ( build.log | root.log )

gcc-c++

13.1.1-4.fc39.1

13.2.1-1.fc39

1

symfpu-devel

0-0.14.20190517...

0-0.15.20190517...

1

drat-trim-devel

0-0.20.20221019...

0-0.21.20230709...

1

cadical-devel

1:1.5.3-3.fc39

1:1.7.0-1.fc39

1

lfsc-devel

0.20210305-6.fc39

0.20230523-1.fc39

1

libquadmath-devel

13.1.1-4.fc39.1

13.2.1-1.fc39

2

libstdc++

13.1.1-4.fc39.1

13.2.1-1.fc39

2

cadical-libs

1:1.5.3-3.fc39

1:1.7.0-1.fc39

2

libgcc

13.1.1-4.fc39.1

13.2.1-1.fc39

2

libstdc++-devel

13.1.1-4.fc39.1

13.2.1-1.fc39

2

gcc

13.1.1-4.fc39.1

13.2.1-1.fc39

2

drat-trim

0-0.20.20221019...

0-0.21.20230709...

2

lfsc

0.20210305-6.fc39

0.20230523-1.fc39

2

symfpu

0-0.14.20190517...

0-0.15.20190517...

2

libquadmath

13.1.1-4.fc39.1

13.2.1-1.fc39

3

libgomp

13.1.1-4.fc39.1

13.2.1-1.fc39

3

cpp

13.1.1-4.fc39.1

13.2.1-1.fc39

3

gcc-plugin-annobin

13.1.1-4.fc39.1

13.2.1-1.fc39

B

systemd-libs

254~rc3-1.fc39

254-1.fc39

B

libgfortran

13.1.1-4.fc39.1

13.2.1-1.fc39

B

show 10 more collapse