Koschei - minisat2

Package information

State

Packages

Bodhi

Dist-git

Bugzilla

Koji

File new FTBFS bug

Scheduler parameters

Tracked by Koschei

True

Current priority

1684

Manual priority

Static priority

Arch override

None

Skip resolution

False

Configure scheduling

Dependency changes since last build

glibc

2.40-9.fc41

2.40-12.fc41

cmake-filesystem

3.28.3-7.fc41

3.30.5-1.fc41

glibc-devel

2.40-9.fc41

2.40-12.fc41

glibc-gconv-extra

2.40-9.fc41

2.40-12.fc41

glibc-common

2.40-9.fc41

2.40-12.fc41

glibc-minimal-langpack

2.40-9.fc41

2.40-12.fc41

coreutils

9.5-10.fc41

9.5-11.fc41

libxcrypt-devel

4.4.36-7.fc41

4.4.36-10.fc41

elfutils-debuginfod-client

0.192-5.fc41

0.192-6.fc41

libtirpc

1.3.6-0.fc41

1.3.6-1.fc41

coreutils-common

9.5-10.fc41

9.5-11.fc41

libxcrypt

4.4.36-7.fc41

4.4.36-10.fc41

efi-srpm-macros

5-12.fc41

5-13.fc41

fedora-release-common

41-25

41-28

elfutils-default-yama-scope

0.192-5.fc41

0.192-6.fc41

elfutils

0.192-5.fc41

0.192-6.fc41

pyproject-srpm-macros

1.15.1-1.fc41

1.16.0-1.fc41

elfutils-libelf

0.192-5.fc41

0.192-6.fc41

gdb-minimal

15.2-1.fc41

15.2-3.fc41

fedora-release-identity-basic

41-25

41-28

debugedit

5.0-18.fc41

5.1-1.fc41

fedora-release

41-25

41-28

elfutils-libs

0.192-5.fc41

0.192-6.fc41

add-determinism

0.3.6-1.fc41

0.3.6-3.fc41

systemd-libs

256.7-1.fc41

256.8-1.fc41

build-reproducibility-srpm-macros

0.3.6-1.fc41

0.3.6-3.fc41

show 16 more collapse

State overview

Groups

This package is not part of any global group.

Historical builds

2024-07-22 19:36:31

Package resolution failed

Problem: package gcc-c++-14.1.1-7.fc41.x86_64 from primary-f41-build-6270206 requires gcc = 14.1.1-7.fc41, but none of the providers can be installed
- package gcc-14.1.1-7.fc41.x86_64 from primary-f41-build-6270206 requires make, but none of the providers can be installed
- conflicting requests
- nothing provides libguile-3.0.so.1()(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270206
- nothing provides libguile-3.0.so.1(GUILE_2.0)(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270206
Problem: conflicting requests
- nothing provides libguile-3.0.so.1()(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270206
- nothing provides libguile-3.0.so.1(GUILE_2.0)(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270206

2024-07-22 19:06:24

Package resolution failed

Problem: conflicting requests
- nothing provides libguile-3.0.so.1()(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270100
- nothing provides libguile-3.0.so.1(GUILE_2.0)(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270100
Problem: package gcc-c++-14.1.1-7.fc41.x86_64 from primary-f41-build-6270100 requires gcc = 14.1.1-7.fc41, but none of the providers can be installed
- package gcc-14.1.1-7.fc41.x86_64 from primary-f41-build-6270100 requires make, but none of the providers can be installed
- conflicting requests
- nothing provides libguile-3.0.so.1()(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270100
- nothing provides libguile-3.0.so.1(GUILE_2.0)(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270100

2024-07-22 18:18:46

Package resolution failed

Problem: package gcc-c++-14.1.1-7.fc41.x86_64 from primary-f41-build-6270043 requires gcc = 14.1.1-7.fc41, but none of the providers can be installed
- package gcc-14.1.1-7.fc41.x86_64 from primary-f41-build-6270043 requires make, but none of the providers can be installed
- conflicting requests
- nothing provides libguile-3.0.so.1()(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270043
- nothing provides libguile-3.0.so.1(GUILE_2.0)(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270043
Problem: conflicting requests
- nothing provides libguile-3.0.so.1()(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270043
- nothing provides libguile-3.0.so.1(GUILE_2.0)(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270043

2024-07-22 18:08:09

Package resolution failed

Problem: package gcc-c++-14.1.1-7.fc41.x86_64 from primary-f41-build-6270003 requires gcc = 14.1.1-7.fc41, but none of the providers can be installed
- package gcc-14.1.1-7.fc41.x86_64 from primary-f41-build-6270003 requires make, but none of the providers can be installed
- conflicting requests
- nothing provides libguile-3.0.so.1()(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270003
- nothing provides libguile-3.0.so.1(GUILE_2.0)(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270003
Problem: conflicting requests
- nothing provides libguile-3.0.so.1()(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270003
- nothing provides libguile-3.0.so.1(GUILE_2.0)(64bit) needed by make-1:4.4.1-7.fc41.x86_64 from primary-f41-build-6270003

Real build: minisat2-2.2.1-20.fc41

120694019

2024-07-18 18:15:15

aarch64

├120722058 ( build.log | root.log )

i386

├120722054 ( build.log | root.log )

ppc64le

├120722060 ( build.log | root.log )

s390x

├120722061 ( build.log | root.log )

x86_64

└120722056 ( build.log | root.log )

Dependencies for this build couldn't be processed

2024-05-28 03:56:58

Package dependencies resolved successfuly