Koschei - cadical

Package information

State

Packages

Bodhi

Dist-git

Bugzilla

Koji

File new FTBFS bug

Scheduler parameters

Tracked by Koschei

True

Current priority

1068

Manual priority

Static priority

Arch override

None

Skip resolution

False

Configure scheduling

Dependency changes since last build

glibc-langpack-en

2.41.9000-11.fc43

2.41.9000-12.fc43

glibc

2.41.9000-11.fc43

2.41.9000-12.fc43

glibc-common

2.41.9000-11.fc43

2.41.9000-12.fc43

glibc-minimal-langpack

2.41.9000-11.fc43

2.41.9000-12.fc43

glibc-devel

2.41.9000-11.fc43

2.41.9000-12.fc43

glibc-gconv-extra

2.41.9000-11.fc43

2.41.9000-12.fc43

kernel-headers

6.15.0-0.rc2.22.fc43

6.15.0-0.rc4.35.fc43

libcurl

8.13.0-1.fc43

8.14.0~rc1-1.fc43

curl

8.13.0-1.fc43

8.14.0~rc1-1.fc43

State overview

Groups

This package is not part of any global group.

Most recent builds

Real build: cadical-2.1.3-1.fc43

132177457

2025-05-01 14:56:20

aarch64

├132177548 ( build.log | root.log )

ppc64le

├132177549 ( build.log | root.log )

s390x

├132177550 ( build.log | root.log )

x86_64

└132177547 ( build.log | root.log )

gcc-c++

15.0.1-0.14.fc43

15.1.1-1.fc43

libstdc++

15.0.1-0.14.fc43

15.1.1-1.fc43

gcc

15.0.1-0.14.fc43

15.1.1-1.fc43

libstdc++-devel

15.0.1-0.14.fc43

15.1.1-1.fc43

libgomp

15.0.1-0.14.fc43

15.1.1-1.fc43

libgcc

15.0.1-0.14.fc43

15.1.1-1.fc43

cpp

15.0.1-0.14.fc43

15.1.1-1.fc43

fedora-repos

43-0.1

43-0.2

fedora-gpg-keys

43-0.1

43-0.2

rpm-sign-libs

5.99.90-3.fc43

5.99.90-4.fc43

rpm-libs

5.99.90-3.fc43

5.99.90-4.fc43

rpm-build

5.99.90-3.fc43

5.99.90-4.fc43

gcc-plugin-annobin

15.0.1-0.14.fc43

15.1.1-1.fc43

fedora-repos-rawhide

43-0.1

43-0.2

rpm

5.99.90-3.fc43

5.99.90-4.fc43

rpm-build-libs

5.99.90-3.fc43

5.99.90-4.fc43

show 6 more collapse

131987711

2025-04-26 00:04:08

aarch64

├131987808 ( build.log | root.log )

ppc64le

├131987809 ( build.log | root.log )

x86_64

└131987810 ( build.log | root.log )

glibc-langpack-en

2.41.9000-10.fc43

2.41.9000-11.fc43

gcc-c++

15.0.1-0.12.fc43

15.0.1-0.14.fc43

libstdc++-devel

15.0.1-0.12.fc43

15.0.1-0.14.fc43

glibc

2.41.9000-10.fc43

2.41.9000-11.fc43

libstdc++

15.0.1-0.12.fc43

15.0.1-0.14.fc43

glibc-common

2.41.9000-10.fc43

2.41.9000-11.fc43

gcc

15.0.1-0.12.fc43

15.0.1-0.14.fc43

libgcc

15.0.1-0.12.fc43

15.0.1-0.14.fc43

glibc-gconv-extra

2.41.9000-10.fc43

2.41.9000-11.fc43

glibc-devel

2.41.9000-10.fc43

2.41.9000-11.fc43

libgomp

15.0.1-0.12.fc43

15.0.1-0.14.fc43

cpp

15.0.1-0.12.fc43

15.0.1-0.14.fc43

glibc-minimal-langpack

2.41.9000-10.fc43

2.41.9000-11.fc43

rpm-build

5.99.90-2.fc43

5.99.90-3.fc43

fedora-release

43-0.13

43-0.15

redhat-rpm-config

343-3.fc43

343-4.fc43

gcc-plugin-annobin

15.0.1-0.12.fc43

15.0.1-0.14.fc43

rpm

5.99.90-2.fc43

5.99.90-3.fc43

fedora-release-common

43-0.13

43-0.15

fedora-release-identity-basic

43-0.13

43-0.15

rpm-libs

5.99.90-2.fc43

5.99.90-3.fc43

libgpg-error

1.53-1.fc43

1.55-1.fc43

tree-sitter-srpm-macros

0.2.2-1.fc43

0.2.4-1.fc43

rpm-build-libs

5.99.90-2.fc43

5.99.90-3.fc43

crypto-policies

20250402-1.git86c0178....

20250402-2.git86c0178....

rpm-sign-libs

5.99.90-2.fc43

5.99.90-3.fc43

gdb-minimal

16.2-3.fc43

16.3-1.fc43

show 17 more collapse

131609764

2025-04-16 20:40:10

aarch64

├131609913 ( build.log | root.log )

ppc64le

├131609912 ( build.log | root.log )

x86_64

└131609911 ( build.log | root.log )

glibc-langpack-en

2.41.9000-9.fc43

2.41.9000-10.fc43

glibc

2.41.9000-9.fc43

2.41.9000-10.fc43

perl-POSIX

2.20-515.fc42

2.20-517.fc43

glibc-common

2.41.9000-9.fc43

2.41.9000-10.fc43

perl-libs

4:5.40.1-515.fc42

4:5.40.2-517.fc43

perl-interpreter

4:5.40.1-515.fc42

4:5.40.2-517.fc43

glibc-gconv-extra

2.41.9000-9.fc43

2.41.9000-10.fc43

perl-DynaLoader

1.56-515.fc42

1.56-517.fc43

glibc-devel

2.41.9000-9.fc43

2.41.9000-10.fc43

perl-Fcntl

1.18-515.fc42

1.18-517.fc43

glibc-minimal-langpack

2.41.9000-9.fc43

2.41.9000-10.fc43

perl-overload

1.37-515.fc42

1.37-517.fc43

perl-locale

1.12-515.fc42

1.12-517.fc43

perl-base

2.27-515.fc42

2.27-517.fc43

filesystem

3.18-39.fc43

3.18-40.fc43

perl-overloading

0.02-515.fc42

0.02-517.fc43

perl-mro

1.29-515.fc42

1.29-517.fc43

perl-Getopt-Std

1.14-515.fc42

1.14-517.fc43

perl-Errno

1.38-515.fc42

1.38-517.fc43

perl-File-Basename

2.86-515.fc42

2.86-517.fc43

kernel-headers

6.14.0-63.fc43

6.15.0-0.rc2.22.fc43

perl-vars

1.05-515.fc42

1.05-517.fc43

libcap

2.73-2.fc42

2.76-1.fc43

rpm-build-libs

4.20.1-3.fc43

5.99.90-2.fc43

grep

3.11-10.fc42

3.12-1.fc43

rpm-libs

4.20.1-3.fc43

5.99.90-2.fc43

qt6-srpm-macros

6.9.0-1.fc43

6.9.0-2.fc43

perl-AutoLoader

5.74-515.fc42

5.74-517.fc43

perl-IPC-Open3

1.22-515.fc42

1.22-517.fc43

perl-IO

1.55-515.fc42

1.55-517.fc43

perl-B

1.89-515.fc42

1.89-517.fc43

openssl-libs

1:3.5.0-2.fc43

1:3.5.0-3.fc43

perl-SelectSaver

1.02-515.fc42

1.02-517.fc43

perl-File-stat

1.14-515.fc42

1.14-517.fc43

rpm

4.20.1-3.fc43

5.99.90-2.fc43

tree-sitter-srpm-macros

0.2.1-1.fc43

0.2.2-1.fc43

filesystem-srpm-macros

3.18-39.fc43

3.18-40.fc43

perl-Class-Struct

0.68-515.fc42

0.68-517.fc43

perl-Symbol

1.09-515.fc42

1.09-517.fc43

perl-if

0.61.000-515.fc42

0.61.000-517.fc43

rpm-build

4.20.1-3.fc43

5.99.90-2.fc43

perl-FileHandle

2.05-515.fc42

2.05-517.fc43

libusb1

1.0.28-2.fc43

libfsverity

1.6-2.fc42

gnupg2

2.4.7-3.fc43

ima-evm-utils-libs

1.6.2-5.fc43

libassuan

2.5.7-3.fc42

libksba

1.6.7-3.fc42

npth

1.8-2.fc42

tpm2-tss

4.1.3-7.fc43

gnutls

3.8.9-5.fc43

rpm-sign-libs

5.99.90-2.fc43

nettle

3.10.1-1.fc43

libgpg-error

1.53-1.fc43

libgcrypt

1.11.0-5.fc42

show 45 more collapse

131467005

2025-04-13 10:58:00

aarch64

├131467105 ( build.log | root.log )

ppc64le

├131467104 ( build.log | root.log )

x86_64

└131467103 ( build.log | root.log )

gcc-c++

15.0.1-0.11.fc43

15.0.1-0.12.fc43

glibc-langpack-en

2.41.9000-8.fc43

2.41.9000-9.fc43

glibc-common

2.41.9000-8.fc43

2.41.9000-9.fc43

libstdc++-devel

15.0.1-0.11.fc43

15.0.1-0.12.fc43

glibc

2.41.9000-8.fc43

2.41.9000-9.fc43

gcc

15.0.1-0.11.fc43

15.0.1-0.12.fc43

libstdc++

15.0.1-0.11.fc43

15.0.1-0.12.fc43

cpp

15.0.1-0.11.fc43

15.0.1-0.12.fc43

libgcc

15.0.1-0.11.fc43

15.0.1-0.12.fc43

libgomp

15.0.1-0.11.fc43

15.0.1-0.12.fc43

glibc-minimal-langpack

2.41.9000-8.fc43

2.41.9000-9.fc43

glibc-gconv-extra

2.41.9000-8.fc43

2.41.9000-9.fc43

glibc-devel

2.41.9000-8.fc43

2.41.9000-9.fc43

coreutils

9.6-2.fc43

9.7-1.fc43

perl-Scalar-List-Utils

5:1.68-2.fc42

5:1.69-1.fc43

coreutils-common

9.6-2.fc43

9.7-1.fc43

fedora-release-identity-basic

43-0.10

43-0.13

tree-sitter-srpm-macros

0.2.0-1.fc43

0.2.1-1.fc43

systemd-standalone-sysusers

257.4-3.fc43

257.5-2.fc43

gcc-plugin-annobin

15.0.1-0.11.fc43

15.0.1-0.12.fc43

systemd-libs

257.4-3.fc43

257.5-2.fc43

fedora-release-common

43-0.10

43-0.13

fedora-release

43-0.10

43-0.13

diffutils

3.11-3.fc43

3.12-1.fc43

debugedit

5.1-5.fc43

5.1-6.fc43

show 15 more collapse

131200573

2025-04-06 20:19:02

aarch64

├131200674 ( build.log | root.log )

ppc64le

├131200673 ( build.log | root.log )

x86_64

└131200672 ( build.log | root.log )

glibc-langpack-en

2.41.9000-6.fc43

2.41.9000-8.fc43

glibc

2.41.9000-6.fc43

2.41.9000-8.fc43

glibc-common

2.41.9000-6.fc43

2.41.9000-8.fc43

filesystem

3.18-38.fc43

3.18-39.fc43

libxcrypt

4.4.38-6.fc43

4.4.38-7.fc43

perl-Pod-Usage

4:2.04-1.fc43

4:2.05-1.fc43

glibc-devel

2.41.9000-6.fc43

2.41.9000-8.fc43

glibc-minimal-langpack

2.41.9000-6.fc43

2.41.9000-8.fc43

glibc-gconv-extra

2.41.9000-6.fc43

2.41.9000-8.fc43

libxcrypt-devel

4.4.38-6.fc43

4.4.38-7.fc43

rpm

4.20.1-1.fc43

4.20.1-3.fc43

1:5.8.0-1.fc43

1:5.8.1-1.fc43

crypto-policies

20250324-1.git3714354....

20250402-1.git86c0178....

curl

8.13.0~rc3-1.fc43

8.13.0-1.fc43

redhat-rpm-config

342-2.fc42

343-3.fc43

libffi

3.4.7-3.fc43

3.4.7-4.fc43

rpm-libs

4.20.1-1.fc43

4.20.1-3.fc43

rpm-build

4.20.1-1.fc43

4.20.1-3.fc43

fedora-release

43-0.8

43-0.10

xz-libs

1:5.8.0-1.fc43

1:5.8.1-1.fc43

gawk

5.3.1-1.fc42

5.3.2-1.fc43

rpm-sequoia

1.7.0-5.fc43

1.8.0-1.fc43

fedora-release-common

43-0.8

43-0.10

qt6-srpm-macros

6.9.0~rc-1.fc43

6.9.0-1.fc43

fedora-release-identity-basic

43-0.8

43-0.10

rpm-build-libs

4.20.1-1.fc43

4.20.1-3.fc43

filesystem-srpm-macros

3.18-38.fc43

3.18-39.fc43

libcurl

8.13.0~rc3-1.fc43

8.13.0-1.fc43

show 18 more collapse

130923617

2025-03-30 23:49:09

aarch64

├130923728 ( build.log | root.log )

ppc64le

├130923727 ( build.log | root.log )

x86_64

└130923726 ( build.log | root.log )

glibc-langpack-en

2.41.9000-2.fc43

2.41.9000-6.fc43

gcc-c++

15.0.1-0.10.fc43

15.0.1-0.11.fc43

glibc-common

2.41.9000-2.fc43

2.41.9000-6.fc43

glibc

2.41.9000-2.fc43

2.41.9000-6.fc43

gcc

15.0.1-0.10.fc43

15.0.1-0.11.fc43

libstdc++-devel

15.0.1-0.10.fc43

15.0.1-0.11.fc43

libstdc++

15.0.1-0.10.fc43

15.0.1-0.11.fc43

cpp

15.0.1-0.10.fc43

15.0.1-0.11.fc43

glibc-devel

2.41.9000-2.fc43

2.41.9000-6.fc43

glibc-gconv-extra

2.41.9000-2.fc43

2.41.9000-6.fc43

perl-Pod-Usage

4:2.03-512.fc42

4:2.04-1.fc43

glibc-minimal-langpack

2.41.9000-2.fc43

2.41.9000-6.fc43

libgomp

15.0.1-0.10.fc43

15.0.1-0.11.fc43

libgcc

15.0.1-0.10.fc43

15.0.1-0.11.fc43

kernel-headers

6.14.0-0.rc7.56.fc43

6.14.0-63.fc43

qt6-srpm-macros

6.8.2-2.fc43

6.9.0~rc-1.fc43

libffi

3.4.7-2.fc43

3.4.7-3.fc43

go-srpm-macros

3.6.0-6.fc42

3.6.0-7.fc43

1:5.6.3-3.fc42

1:5.8.0-1.fc43

fedora-release

43-0.7

43-0.8

openldap

2.6.9-3.fc42

2.6.9-5.fc43

crypto-policies

20250305-1.gita35b0fa....

20250324-1.git3714354....

openssl-libs

1:3.5.0-1.fc43

1:3.5.0-2.fc43

fedora-release-common

43-0.7

43-0.8

libcurl

8.13.0~rc2-1.fc43

8.13.0~rc3-1.fc43

curl

8.13.0~rc2-1.fc43

8.13.0~rc3-1.fc43

fedora-release-identity-basic

43-0.7

43-0.8

python-srpm-macros

3.13-4.fc42

3.13-5.fc43

gdb-minimal

16.2-1.fc43

16.2-3.fc43

xz-libs

1:5.6.3-3.fc42

1:5.8.0-1.fc43

patch

2.7.6-26.fc42

2.8-1.fc43

diffutils

3.10-9.fc42

3.11-3.fc43

gcc-plugin-annobin

15.0.1-0.10.fc43

15.0.1-0.11.fc43

perl-Net-SSLeay

1.94-8.fc42

1.94-9.fc43

show 24 more collapse

130692661

2025-03-24 13:32:48

aarch64

├130692744 ( build.log | root.log )

ppc64le

├130692743 ( build.log | root.log )

x86_64

└130692742 ( build.log | root.log )

gcc-c++

15.0.1-0.9.fc43

15.0.1-0.10.fc43

gcc

15.0.1-0.9.fc43

15.0.1-0.10.fc43

libstdc++-devel

15.0.1-0.9.fc43

15.0.1-0.10.fc43

cmake-filesystem

4.0.0~rc4-1.fc43

3.31.6-2.fc43

mpfr

4.2.1-6.fc42

4.2.2-1.fc43

libstdc++

15.0.1-0.9.fc43

15.0.1-0.10.fc43

libgomp

15.0.1-0.9.fc43

15.0.1-0.10.fc43

cpp

15.0.1-0.9.fc43

15.0.1-0.10.fc43

libgcc

15.0.1-0.9.fc43

15.0.1-0.10.fc43

setup

2.15.0-14.fc43

2.15.0-23.fc43

kernel-headers

6.14.0-0.rc6.49.fc43

6.14.0-0.rc7.56.fc43

annobin-plugin-gcc

12.92-1.fc43

12.93-1.fc43

annobin-docs

12.92-1.fc43

12.93-1.fc43

pyproject-srpm-macros

1.17.0-1.fc43

1.18.1-1.fc43

qt5-srpm-macros

5.15.15-1.fc42

5.15.16-1.fc43

libcurl

8.13.0~rc1-2.fc43

8.13.0~rc2-1.fc43

curl

8.13.0~rc1-2.fc43

8.13.0~rc2-1.fc43

gcc-plugin-annobin

15.0.1-0.9.fc43

15.0.1-0.10.fc43

openssl-libs

1:3.2.4-3.fc43

1:3.5.0-1.fc43

shadow-utils

2:4.17.0-4.fc42

2:4.17.4-1.fc43

show 10 more collapse

2025-03-18 22:00:03

Package dependencies resolved successfuly

Previous history