Koschei - cvc5

Package information

State

Packages

Bodhi

Dist-git

Bugzilla

Koji

File new FTBFS bug

Scheduler parameters

Tracked by Koschei

True

Current priority

955

Manual priority

Static priority

Arch override

None

Skip resolution

False

Configure scheduling

Dependency changes since last build

systemd-libs

257.2-7.fc42

257.2-14.fc42

binutils

2.43.50-9.fc42

2.43.50-11.fc42

debugedit

5.1-3.fc42

5.1-4.fc42

openldap

2.6.9-1.fc42

2.6.9-2.fc42

libicu-devel

76.1-2.fc42

76.1-3.fc42

libxcrypt-devel

4.4.38-2.fc42

4.4.38-3.fc42

annobin-plugin-gcc

12.80-2.fc42

12.81-1.fc42

libicu

76.1-2.fc42

76.1-3.fc42

annobin-docs

12.80-2.fc42

12.81-1.fc42

avahi-libs

0.8-30.fc42

0.9~rc2-2.fc42

libxcrypt

4.4.38-2.fc42

4.4.38-3.fc42

show 1 more collapse

State overview

Groups

This package is not part of any global group.

Historical builds

124188779

2024-09-29 23:21:14

aarch64

├124188895 ( build.log | root.log )

ppc64le

├124188897 ( build.log | root.log )

x86_64

└124188896 ( build.log | root.log )

gcc-c++

14.2.1-3.fc42

14.2.1-4.fc42

javapackages-tools

6.2.0-30.fc42

6.3.0-2.fc42

coreutils

9.5-9.fc42

9.5-10.fc42

ca-certificates

2024.2.69_v8.0.401-1.fc42

2024.2.69_v8.0.401-2.fc42

libgcc

14.2.1-3.fc42

14.2.1-4.fc42

libstdc++-devel

14.2.1-3.fc42

14.2.1-4.fc42

gcc

14.2.1-3.fc42

14.2.1-4.fc42

javapackages-filesystem

6.2.0-30.fc42

6.3.0-2.fc42

libstdc++

14.2.1-3.fc42

14.2.1-4.fc42

cpp

14.2.1-3.fc42

14.2.1-4.fc42

libgomp

14.2.1-3.fc42

14.2.1-4.fc42

cups-libs

1:2.4.10-6.fc42

1:2.4.10-7.fc42

coreutils-common

9.5-9.fc42

9.5-10.fc42

libquadmath-devel

14.2.1-3.fc42

14.2.1-4.fc42

gcc-plugin-annobin

14.2.1-3.fc42

14.2.1-4.fc42

libquadmath

14.2.1-3.fc42

14.2.1-4.fc42

libgfortran

14.2.1-3.fc42

14.2.1-4.fc42

forge-srpm-macros

0.3.2-1.fc41

0.4.0-1.fc42

glib2

2.82.1-1.fc42

2.82.1-2.fc42

perl-Mozilla-CA

20240730-1.fc41

20240924-1.fc42

show 10 more collapse

Real build: cvc5-1.2.0-1.fc42

124007007

2024-09-26 15:01:50

aarch64

├124007148 ( build.log | root.log )

ppc64le

├124007149 ( build.log | root.log )

s390x

├124007150 ( build.log | root.log )

x86_64

└124007147 ( build.log | root.log )

pyproject-rpm-macros

1.14.0-1.fc41

1.15.0-1.fc42

git-core

2.46.1-1.fc42

2.46.2-1.fc42

javapackages-tools

6.2.0-27.fc42

6.2.0-30.fc42

python3-pexpect

4.9.0-6.fc41

javapackages-filesystem

6.2.0-27.fc42

6.2.0-30.fc42

pyproject-srpm-macros

1.14.0-1.fc41

1.15.0-1.fc42

libuv

1:1.48.0-2.fc41

1:1.49.0-1.fc42

ca-certificates

2024.2.68_v8.0.302-3.fc41

2024.2.69_v8.0.401-1.fc42

python3-ptyprocess

0.7.0-9.fc41

libcurl

8.10.1-1.fc42

8.10.1-2.fc42

libarchive

3.7.4-3.fc42

3.7.6-1.fc42

redhat-rpm-config

295-1.fc42

296-1.fc42

curl

8.10.1-1.fc42

8.10.1-2.fc42

harfbuzz

9.0.0-3.fc42

10.0.1-1.fc42

show 4 more collapse

123839822

2024-09-23 16:22:14

aarch64

├123840114 ( build.log | root.log )

ppc64le

├123840116 ( build.log | root.log )

x86_64

└123840115 ( build.log | root.log )

python3-devel

3.13.0~rc2-1.fc42

3.13.0~rc2-3.fc42

git-core

2.46.0-1.fc41

2.46.1-1.fc42

python3-pip

24.2-1.fc41

24.2-2.fc42

python3-libs

3.13.0~rc2-1.fc42

3.13.0~rc2-3.fc42

libpng-devel

2:1.6.40-4.fc41

2:1.6.44-1.fc42

python3

3.13.0~rc2-1.fc42

3.13.0~rc2-3.fc42

libarchive

3.7.4-3.fc41

3.7.4-3.fc42

libcurl

8.10.0-1.fc42

8.10.1-1.fc42

python-pip-wheel

24.2-1.fc41

24.2-2.fc42

vim-filesystem

2:9.1.719-1.fc42

2:9.1.737-1.fc42

filesystem

3.18-23.fc41

3.18-29.fc42

libpng

2:1.6.40-4.fc41

2:1.6.44-1.fc42

shadow-utils

2:4.16.0-3.fc42

2:4.16.0-4.fc42

curl

8.10.0-1.fc42

8.10.1-1.fc42

ghc-srpm-macros

1.9.1-2.fc41

1.9.2-1.fc42

fedora-repos

42-0.1

42-0.2

perl-Scalar-List-Utils

5:1.65-1.fc41

5:1.66-1.fc42

fedora-repos-rawhide

42-0.1

42-0.2

fedora-gpg-keys

42-0.1

42-0.2

glib2

2.82.0-1.fc42

2.82.1-1.fc42

show 10 more collapse

123467903

2024-09-16 06:25:53

aarch64

├123467988 ( build.log | root.log )

ppc64le

├123467992 ( build.log | root.log )

x86_64

└123467991 ( build.log | root.log )

kissat-devel

4.0.0-1.fc41

4.0.1-1.fc42

gcc-c++

14.2.1-2.fc42

14.2.1-3.fc42

gcc

14.2.1-2.fc42

14.2.1-3.fc42

kissat-libs

4.0.0-1.fc41

4.0.1-1.fc42

libstdc++

14.2.1-2.fc42

14.2.1-3.fc42

libstdc++-devel

14.2.1-2.fc42

14.2.1-3.fc42

libgcc

14.2.1-2.fc42

14.2.1-3.fc42

cpp

14.2.1-2.fc42

14.2.1-3.fc42

libquadmath-devel

14.2.1-2.fc42

14.2.1-3.fc42

libgomp

14.2.1-2.fc42

14.2.1-3.fc42

gnutls

3.8.7-2.fc42

3.8.7-4.fc42

kernel-headers

6.11.0-0.rc7.56.fc42

6.11.0-63.fc42

libquadmath

14.2.1-2.fc42

14.2.1-3.fc42

gcc-plugin-annobin

14.2.1-2.fc42

14.2.1-3.fc42

libgfortran

14.2.1-2.fc42

14.2.1-3.fc42

shadow-utils

2:4.16.0-2.fc42

2:4.16.0-3.fc42

show 6 more collapse

123323109

2024-09-12 23:23:11

aarch64

├123323212 ( build.log | root.log )

ppc64le

├123323214 ( build.log | root.log )

x86_64

└123323213 ( build.log | root.log )

yosyshq-abc-devel

0.44-1.20240808git...

0.45-1.20240905git...

zlib-ng-compat

2.1.7-2.fc41

2.1.7-3.fc42

zlib-ng-compat-devel

2.1.7-2.fc41

2.1.7-3.fc42

openssl-libs

1:3.2.2-5.fc41

1:3.2.2-8.fc42

yosyshq-abc-libs

0.44-1.20240808git...

0.45-1.20240905git...

libcurl

8.9.1-3.fc42

8.10.0-1.fc42

rpm-build

4.19.93-1.fc42

4.19.94-1.fc42

gdb-minimal

15.1-1.fc41

15.1-2.fc42

libselinux

3.7-5.fc41

3.7-6.fc42

rpm

4.19.93-1.fc42

4.19.94-1.fc42

rpm-libs

4.19.93-1.fc42

4.19.94-1.fc42

rpm-build-libs

4.19.93-1.fc42

4.19.94-1.fc42

kernel-headers

6.11.0-0.rc6.49.fc42

6.11.0-0.rc7.56.fc42

shadow-utils

2:4.15.1-9.fc41

2:4.16.0-2.fc42

libsepol

3.7-2.fc41

3.7-3.fc42

curl

8.9.1-3.fc42

8.10.0-1.fc42

libsemanage

3.7-2.fc41

3.7-3.fc42

info

7.1-3.fc41

7.1.1-1.fc42

show 8 more collapse

123126350

2024-09-09 01:08:18

aarch64

├123126425 ( build.log | root.log )

ppc64le

├123126427 ( build.log | root.log )

x86_64

└123126426 ( build.log | root.log )

python3-devel

3.13.0~rc1-3.fc42

3.13.0~rc2-1.fc42

gcc-c++

14.2.1-1.fc42

14.2.1-2.fc42

libgcc

14.2.1-1.fc42

14.2.1-2.fc42

libstdc++-devel

14.2.1-1.fc42

14.2.1-2.fc42

python3-libs

3.13.0~rc1-3.fc42

3.13.0~rc2-1.fc42

python3

3.13.0~rc1-3.fc42

3.13.0~rc2-1.fc42

glibc

2.40-3.fc41

2.40.9000-1.fc42

libstdc++

14.2.1-1.fc42

14.2.1-2.fc42

gcc

14.2.1-1.fc42

14.2.1-2.fc42

cpp

14.2.1-1.fc42

14.2.1-2.fc42

glibc-common

2.40-3.fc41

2.40.9000-1.fc42

glibc-devel

2.40-3.fc41

2.40.9000-1.fc42

redhat-rpm-config

294-1.fc42

295-1.fc42

libquadmath-devel

14.2.1-1.fc42

14.2.1-2.fc42

glibc-minimal-langpack

2.40-3.fc41

2.40.9000-1.fc42

glibc-gconv-extra

2.40-3.fc41

2.40.9000-1.fc42

vim-filesystem

2:9.1.703-1.fc42

2:9.1.719-1.fc42

libgomp

14.2.1-1.fc42

14.2.1-2.fc42

libquadmath

14.2.1-1.fc42

14.2.1-2.fc42

glibc-headers-x86

2.40-3.fc41

2.40.9000-1.fc42

gcc-plugin-annobin

14.2.1-1.fc42

14.2.1-2.fc42

libgfortran

14.2.1-1.fc42

14.2.1-2.fc42

perl-MIME-Base32

1.303-21.fc41

perl-URI

5.28-2.fc41

5.29-1.fc42

show 14 more collapse

123001317

2024-09-05 22:41:43

aarch64

├123001357 ( build.log | root.log )

ppc64le

├123001359 ( build.log | root.log )

x86_64

└123001358 ( build.log | root.log )

expat

2.6.2-2.fc41

2.6.3-1.fc42

openssh-clients

9.8p1-3.fc41

9.8p1-4.fc42

rpm-build

4.19.92-6.fc41

4.19.93-1.fc42

bash

5.2.32-1.fc41

5.2.32-2.fc42

readline

8.2-10.fc41

8.2-11.fc42

libssh

0.10.6-8.fc41

0.11.1-1.fc42

rpm-build-libs

4.19.92-6.fc41

4.19.93-1.fc42

nss

3.103.0-1.fc41

3.104.0-1.fc42

vim-filesystem

2:9.1.660-2.fc41

2:9.1.703-1.fc42

libXi

1.8.1-6.fc41

1.8.2-1.fc42

rpm

4.19.92-6.fc41

4.19.93-1.fc42

openssh

9.8p1-3.fc41

9.8p1-4.fc42

libuuid

2.40.2-6.fc42

2.40.2-8.fc42

rpm-libs

4.19.92-6.fc41

4.19.93-1.fc42

nss-util

3.103.0-1.fc41

3.104.0-1.fc42

util-linux

2.40.2-6.fc42

2.40.2-8.fc42

nspr

4.35.0-28.fc41

4.35.0-29.fc42

nss-sysinit

3.103.0-1.fc41

3.104.0-1.fc42

kernel-headers

6.11.0-0.rc5.43.fc42

6.11.0-0.rc6.49.fc42

qt5-srpm-macros

5.15.14-3.fc41

5.15.15-1.fc42

libssh-config

0.10.6-8.fc41

0.11.1-1.fc42

pam-libs

1.6.1-5.fc41

1.6.1-6.fc42

nss-softokn

3.103.0-1.fc41

3.104.0-1.fc42

libfdisk

2.40.2-6.fc42

2.40.2-8.fc42

pam

1.6.1-5.fc41

1.6.1-6.fc42

libmount

2.40.2-6.fc42

2.40.2-8.fc42

google-noto-fonts-common

20240701-2.fc41

20240901-1.fc42

libsmartcols

2.40.2-6.fc42

2.40.2-8.fc42

google-noto-sans-vf-fonts

20240701-2.fc41

20240901-1.fc42

perl-IO-Socket-SSL

2.088-2.fc41

2.089-1.fc42

libblkid

2.40.2-6.fc42

2.40.2-8.fc42

nss-softokn-freebl

3.103.0-1.fc41

3.104.0-1.fc42

util-linux-core

2.40.2-6.fc42

2.40.2-8.fc42

libutempter

1.2.1-15.fc41

show 24 more collapse

122616842

2024-08-28 17:50:24

aarch64

├122616923 ( build.log | root.log )

ppc64le

├122616922 ( build.log | root.log )

x86_64

└122616924 ( build.log | root.log )

cocoalib-devel

0.99850-3.fc41

0.99850-4.fc42

javapackages-tools

6.2.0-14.fc41

6.2.0-27.fc42

python3-devel

3.13.0~rc1-2.fc41

3.13.0~rc1-3.fc42

libgfan-devel

0.6.2-22.fc41

0.7-1.fc42

libcurl

8.9.1-2.fc41

8.9.1-3.fc42

python3

3.13.0~rc1-2.fc41

3.13.0~rc1-3.fc42

python3-libs

3.13.0~rc1-2.fc41

3.13.0~rc1-3.fc42

javapackages-filesystem

6.2.0-14.fc41

6.2.0-27.fc42

coreutils

9.5-8.fc42

9.5-9.fc42

cocoalib

0.99850-3.fc41

0.99850-4.fc42

crypto-policies

20240822-1.git64c9381....

20240828-1.git5f66e81....

libX11

1.8.10-1.fc41

1.8.10-2.fc42

libgfan

0.6.2-22.fc41

0.7-1.fc42

coreutils-common

9.5-8.fc42

9.5-9.fc42

libnghttp2

1.62.1-2.fc41

1.63.0-1.fc42

libX11-common

1.8.10-1.fc41

1.8.10-2.fc42

kernel-headers

6.11.0-0.rc4.37.fc42

6.11.0-0.rc5.43.fc42

curl

8.9.1-2.fc41

8.9.1-3.fc42

glib2

2.81.2-2.fc42

2.82.0-1.fc42

show 9 more collapse

Previous history