Koschei - yices

Package information

State

Packages

Bodhi

Dist-git

Bugzilla

Koji

File new FTBFS bug

Scheduler parameters

Tracked by Koschei

True

Current priority

2235

Manual priority

Static priority

Arch override

None

Skip resolution

False

Configure scheduling

Dependency changes since last build

kissat-devel

4.0.1-1.fc41

4.0.2-1.fc41

kissat-libs

4.0.1-1.fc41

4.0.2-1.fc41

python3

3.13.1-2.fc41

3.13.2-1.fc41

glibc-devel

2.40-17.fc41

2.40-21.fc41

python3-packaging

24.1-2.fc41

24.2-3.fc41

cmake-filesystem

3.30.5-1.fc41

3.30.7-1.fc41

python3-babel

2.16.0-1.fc41

2.17.0-1.fc41

glibc

2.40-17.fc41

2.40-21.fc41

python3-libs

3.13.1-2.fc41

3.13.2-1.fc41

glibc-common

2.40-17.fc41

2.40-21.fc41

glibc-minimal-langpack

2.40-17.fc41

2.40-21.fc41

glibc-gconv-extra

2.40-17.fc41

2.40-21.fc41

tzdata

2024b-1.fc41

2025a-1.fc41

libX11

1.8.10-2.fc41

1.8.11-1.fc41

pyproject-srpm-macros

1.16.4-1.fc41

1.17.0-1.fc41

crypto-policies

20241029-1.git8baf557....

20250124-1.git4d262e7....

libX11-common

1.8.10-2.fc41

1.8.11-1.fc41

perl-Text-CSV

2.04-2.fc41

2.05-1.fc41

qt6-srpm-macros

6.8.1-4.fc41

6.8.2-1.fc41

perl-Module-CoreList

1:5.20241220-1.fc41

1:5.20250120-1.fc41

gnutls

3.8.6-7.fc41

3.8.8-3.fc41

perl-DateTime-TimeZone

2.63-1.fc41

2.64-1.fc41

rpm-sequoia

1.7.0-3.fc41

1.7.0-5.fc41

show 13 more collapse

State overview

Groups

This package is not part of any global group.

Historical builds

122746060

2024-08-31 17:13:45

aarch64

├122746134 ( build.log | root.log )

ppc64le

├122746136 ( build.log | root.log )

x86_64

└122746135 ( build.log | root.log )

binutils

2.43-2.fc41

2.43-3.fc41

python3-babel

2.15.0-6.fc41

2.16.0-1.fc41

pkgconf-pkg-config

2.1.1-2.fc41

2.3.0-1.fc41

kernel-headers

6.11.0-0.rc3.30.fc41

6.11.0-0.rc5.43.fc41

pkgconf-m4

2.1.1-2.fc41

2.3.0-1.fc41

pkgconf

2.1.1-2.fc41

2.3.0-1.fc41

coreutils

9.5-7.fc41

9.5-9.fc41

coreutils-common

9.5-7.fc41

9.5-9.fc41

sqlite-libs

3.46.0-4.fc41

3.46.1-1.fc41

libX11

1.8.10-1.fc41

1.8.10-2.fc41

glib2

2.81.1-1.fc41

2.82.0-1.fc41

libffi

3.4.6-2.fc41

3.4.6-3.fc41

libpkgconf

2.1.1-2.fc41

2.3.0-1.fc41

rust-srpm-macros

26.3-1.fc41

26.3-3.fc41

crypto-policies

20240807-1.git5795660....

20240826-1.gite824389....

systemd-libs

256.4-1.fc41

256.5-1.fc41

harfbuzz

9.0.0-2.fc41

9.0.0-3.fc41

libXrender

0.9.11-7.fc41

perl-Clone

0.46-8.fc41

0.47-1.fc41

perl-Try-Tiny

0.31-10.fc41

0.32-1.fc41

cairo

1.18.0-4.fc41

perl-Tie-RefHash

1.40-511.fc41

1.41-1.fc41

perl-Business-ISBN-Data

20240815.001-1.fc41

20240821.001-1.fc41

libX11-common

1.8.10-1.fc41

1.8.10-2.fc41

pixman

0.43.4-2.fc41

show 15 more collapse

122057001

2024-08-17 00:06:52

aarch64

├122057050 ( build.log | root.log )

ppc64le

├122057051 ( build.log | root.log )

x86_64

└122057052 ( build.log | root.log )

gcc-c++

14.1.1-7.fc41

14.2.1-1.fc41

gcc

14.1.1-7.fc41

14.2.1-1.fc41

libstdc++-devel

14.1.1-7.fc41

14.2.1-1.fc41

libgcc

14.1.1-7.fc41

14.2.1-1.fc41

cpp

14.1.1-7.fc41

14.2.1-1.fc41

libstdc++

14.1.1-7.fc41

14.2.1-1.fc41

bash

5.2.26-4.fc41

5.2.32-1.fc41

perl-Scalar-List-Utils

5:1.63-511.fc41

5:1.65-1.fc41

binutils

2.42.90-1.fc41

2.43-2.fc41

libgomp

14.1.1-7.fc41

14.2.1-1.fc41

perl-parent

1:0.241-511.fc41

1:0.242-1.fc41

kernel-headers

6.11.0-0.rc2.23.fc41

6.11.0-0.rc3.30.fc41

libtiff

4.6.0-5.fc41

4.6.0-6.fc41

readline

8.2-9.fc41

8.2-10.fc41

cups-libs

1:2.4.10-3.fc41

1:2.4.10-6.fc41

fedora-repos-rawhide

41-0.3

gcc-plugin-annobin

14.1.1-7.fc41

14.2.1-1.fc41

perl-Regexp-Common

2017060201-25.fc41

2024080801-1.fc41

fedora-release

41-0.20

41-0.21

perl-DateTime-Locale

1.42-2.fc41

1.43-1.fc41

annobin-docs

12.67-1.fc41

12.69-1.fc41

fedora-repos

41-0.3

41-0.4

perl-Business-ISBN-Data

20240807.001-1.fc41

20240815.001-1.fc41

fedora-release-common

41-0.20

41-0.21

fedora-gpg-keys

41-0.3

41-0.4

perl-HTML-Parser

3.82-3.fc41

3.83-1.fc41

fedora-release-identity-basic

41-0.20

41-0.21

annobin-plugin-gcc

12.67-1.fc41

12.69-1.fc41

show 18 more collapse