Koschei - cvc5

Package information

State

Packages

Bodhi

Dist-git

Bugzilla

Koji

File new FTBFS bug

Scheduler parameters

Tracked by Koschei

True

Current priority

Manual priority

Static priority

Arch override

None

Skip resolution

False

Configure scheduling

Dependency changes since last build

No dependency changes

State overview

Groups

This package is not part of any global group.

Historical builds

2025-02-02 17:54:51

Package dependencies resolved successfuly

2025-02-02 16:46:00

Package resolution failed

Problem: package java-21-openjdk-devel-1:21.0.6.0.7-1.fc42.x86_64 from primary-f42-build-6547170 requires java-21-openjdk(x86-64) = 1:21.0.6.0.7-1.fc42, but none of the providers can be installed
- package java-21-openjdk-1:21.0.6.0.7-1.fc42.x86_64 from primary-f42-build-6547170 requires java-21-openjdk-headless(x86-64) = 1:21.0.6.0.7-1.fc42, but none of the providers can be installed
- conflicting requests
- nothing provides copy-jdk-configs >= 4.0 needed by java-21-openjdk-headless-1:21.0.6.0.7-1.fc42.x86_64 from primary-f42-build-6547170

2025-02-02 15:37:48

Package resolution failed

Problem: package java-21-openjdk-devel-1:21.0.6.0.7-1.fc42.x86_64 from primary-f42-build-6547162 requires java-21-openjdk(x86-64) = 1:21.0.6.0.7-1.fc42, but none of the providers can be installed
- package java-21-openjdk-1:21.0.6.0.7-1.fc42.x86_64 from primary-f42-build-6547162 requires java-21-openjdk-headless(x86-64) = 1:21.0.6.0.7-1.fc42, but none of the providers can be installed
- conflicting requests
- nothing provides copy-jdk-configs >= 4.0 needed by java-21-openjdk-headless-1:21.0.6.0.7-1.fc42.x86_64 from primary-f42-build-6547162

2025-02-02 14:25:18

Package resolution failed

Problem: package java-21-openjdk-devel-1:21.0.6.0.7-1.fc42.x86_64 from primary-f42-build-6547160 requires java-21-openjdk(x86-64) = 1:21.0.6.0.7-1.fc42, but none of the providers can be installed
- package java-21-openjdk-1:21.0.6.0.7-1.fc42.x86_64 from primary-f42-build-6547160 requires java-21-openjdk-headless(x86-64) = 1:21.0.6.0.7-1.fc42, but none of the providers can be installed
- conflicting requests
- nothing provides copy-jdk-configs >= 4.0 needed by java-21-openjdk-headless-1:21.0.6.0.7-1.fc42.x86_64 from primary-f42-build-6547160

128750570

2025-02-02 06:12:12

aarch64

├128750621 ( build.log | root.log )

ppc64le

├128750622 ( build.log | root.log )

x86_64

└128750623 ( build.log | root.log )

gcc-c++

15.0.1-0.4.fc42

15.0.1-0.5.fc42

gcc

15.0.1-0.4.fc42

15.0.1-0.5.fc42

libstdc++

15.0.1-0.4.fc42

15.0.1-0.5.fc42

libstdc++-devel

15.0.1-0.4.fc42

15.0.1-0.5.fc42

gsl-devel

2.7.1-12.fc42

2.7.1-13.fc42

libgcc

15.0.1-0.4.fc42

15.0.1-0.5.fc42

libquadmath-devel

15.0.1-0.4.fc42

15.0.1-0.5.fc42

cpp

15.0.1-0.4.fc42

15.0.1-0.5.fc42

redhat-rpm-config

300-1.fc42

342-1.fc42

libgomp

15.0.1-0.4.fc42

15.0.1-0.5.fc42

gsl

2.7.1-12.fc42

2.7.1-13.fc42

libgfortran

15.0.1-0.4.fc42

15.0.1-0.5.fc42

gcc-plugin-annobin

15.0.1-0.4.fc42

15.0.1-0.5.fc42

python3-numpy

1:2.2.2-1.fc42

1:2.2.2-2.fc42

libquadmath

15.0.1-0.4.fc42

15.0.1-0.5.fc42

perl-IO-Socket-SSL

2.089-2.fc42

perl-Text-Tabs+Wrap

2024.001-512.fc42

perl-Thread-Queue

3.14-512.fc42

perl-vars

1.05-515.fc42

perl-IPC-Open3

1.22-515.fc42

perl-Net-SSLeay

1.94-8.fc42

perl-File-Copy

2.41-515.fc42

ncurses

6.5-5.20250125.fc42

perl-DynaLoader

1.56-515.fc42

perl-locale

1.12-515.fc42

perl-Encode

4:3.21-512.fc42

which

2.22-1.fc42

2.22-2.fc42

perl-Digest-MD5

2.59-6.fc42

perl-Getopt-Long

1:2.58-3.fc42

perl-Digest

1.20-512.fc42

perl-interpreter

4:5.40.1-515.fc42

perl-File-Path

2.18-512.fc42

perl-Time-Local

2:1.350-512.fc42

perl-PathTools

3.91-513.fc42

perl-Fcntl

1.18-515.fc42

perl-threads-shared

1.69-512.fc42

perl-Pod-Escapes

1:1.07-512.fc42

perl-MIME-Base32

1.303-23.fc42

perl-libs

4:5.40.1-515.fc42

perl-podlators

1:6.0.2-3.fc42

perl-File-Temp

1:0.231.100-512.fc42

perl-overload

1.37-515.fc42

perl-mro

1.29-515.fc42

perl-File-stat

1.14-515.fc42

automake

1.17-2.fc42

perl-Data-Dumper

2.189-513.fc42

perl-SelectSaver

1.02-515.fc42

perl-Carp

1.54-512.fc42

perl-B

1.89-515.fc42

perl-constant

1.33-513.fc42

perl-Pod-Simple

1:3.45-512.fc42

perl-if

0.61.000-515.fc42

perl-Exporter

5.78-512.fc42

perl-Term-ANSIColor

5.01-513.fc42

perl-HTTP-Tiny

0.090-2.fc42

perl-threads

1:2.40-512.fc42

perl-URI

5.31-2.fc42

perl-parent

1:0.244-2.fc42

perl-POSIX

2.20-515.fc42

perl-Text-ParseWords

3.31-512.fc42

perl-Socket

4:2.038-512.fc42

perl-FileHandle

2.05-515.fc42

perl-File-Basename

2.86-515.fc42

perl-Pod-Perldoc

3.28.01-513.fc42

python3-numpy-f2py

1:2.2.2-1.fc42

1:2.2.2-2.fc42

perl-Symbol

1.09-515.fc42

perl-Errno

1.38-515.fc42

perl-Scalar-List-Utils

5:1.68-2.fc42

perl-Term-Cap

1.18-512.fc42

perl-Getopt-Std

1.14-515.fc42

autoconf

2.72-4.fc42

perl-Pod-Usage

4:2.03-512.fc42

perl-File-Find

1.44-515.fc42

perl-overloading

0.02-515.fc42

perl-File-Compare

1.100.800-515.fc42

perl-Storable

1:3.32-512.fc42

perl-IO

1.55-515.fc42

groff-base

1.23.0-8.fc42

perl-libnet

3.15-513.fc42

perl-IO-Socket-IP

0.43-2.fc42

perl-Class-Struct

0.68-515.fc42

perl-AutoLoader

5.74-515.fc42

perl-MIME-Base64

3.16-512.fc42

perl-base

2.27-515.fc42

show 74 more collapse

Real build: cvc5-1.2.1-1.fc42

128663993

2025-01-30 22:29:40

aarch64

├128664030 ( build.log | root.log )

ppc64le

├128664031 ( build.log | root.log )

s390x

├128664032 ( build.log | root.log )

x86_64

└128664029 ( build.log | root.log )

ethos

0.1.1-1.fc42

openssl-libs

1:3.2.2-13.fc42

1:3.2.2-14.fc42

krb5-libs

1.21.3-4.fc42

1.21.3-5.fc42

libselinux

3.8-0.rc3.1.fc42.3

3.8-1.fc42

libsepol

3.8-0.rc3.1.fc42.1

3.8-1.fc42

libsemanage

3.8-0.rc3.1.fc42.1

3.8-1.fc42

128630249

2025-01-30 02:17:16

aarch64

├128630324 ( build.log | root.log )

ppc64le

├128630325 ( build.log | root.log )

x86_64

└128630326 ( build.log | root.log )

java-21-openjdk-devel

1:21.0.5.0.11-1.fc42.1

1:21.0.6.0.7-1.fc42

ncurses-libs

6.5-2.20240629.fc41

6.5-5.20250125.fc42

systemd-libs

257.2-14.fc42

257.2-17.fc42

openssl-libs

1:3.2.2-12.fc42

1:3.2.2-13.fc42

java-21-openjdk

1:21.0.5.0.11-1.fc42.1

1:21.0.6.0.7-1.fc42

openssh-clients

9.9p1-5.fc42.1

9.9p1-7.fc42

glibc

2.40.9000-34.fc42

2.40.9000-35.fc42

ncurses-devel

6.5-2.20240629.fc41

6.5-5.20250125.fc42

java-21-openjdk-headless

1:21.0.5.0.11-1.fc42.1

1:21.0.6.0.7-1.fc42

fontconfig

2.15.0-9.fc42

2.16.0-2.fc42

glibc-minimal-langpack

2.40.9000-34.fc42

2.40.9000-35.fc42

glibc-devel

2.40.9000-34.fc42

2.40.9000-35.fc42

ncurses-base

6.5-2.20240629.fc41

6.5-5.20250125.fc42

glibc-gconv-extra

2.40.9000-34.fc42

2.40.9000-35.fc42

openssh

9.9p1-5.fc42.1

9.9p1-7.fc42

gdbm-libs

1:1.23-7.fc41

1:1.23-9.fc42

glibc-common

2.40.9000-34.fc42

2.40.9000-35.fc42

ncurses-c++-libs

6.5-2.20240629.fc41

6.5-5.20250125.fc42

crypto-policies

20241128-2.gitbb7b0b0....

20250124-1.git4d262e7....

cyrus-sasl-lib

2.1.28-28.fc42

2.1.28-30.fc42

annobin-plugin-gcc

12.84-1.fc42

12.87-1.fc42

systemd

257.2-14.fc42

257.2-17.fc42

fedora-release

42-0.15

42-0.16

systemd-pam

257.2-14.fc42

257.2-17.fc42

openblas-openmp

0.3.28-3.fc42

0.3.29-1.fc42

fedora-release-identity-basic

42-0.15

42-0.16

openblas

0.3.28-3.fc42

0.3.29-1.fc42

systemd-rpm-macros

257.2-14.fc42

257.2-17.fc42

which

2.21-43.fc42

2.22-1.fc42

ncurses

6.5-2.20240629.fc41

6.5-5.20250125.fc42

annobin-docs

12.84-1.fc42

12.87-1.fc42

gdbm

1:1.23-7.fc41

1:1.23-9.fc42

fedora-release-common

42-0.15

42-0.16

show 23 more collapse

128515778

2025-01-27 02:49:32

aarch64

├128515878 ( build.log | root.log )

ppc64le

├128515880 ( build.log | root.log )

x86_64

└128515879 ( build.log | root.log )

gcc-c++

15.0.1-0.3.fc42.1

15.0.1-0.4.fc42

gcc

15.0.1-0.3.fc42.1

15.0.1-0.4.fc42

boost-devel

1.83.0-11.fc42

1.83.0-12.fc42

libgcc

15.0.1-0.3.fc42.1

15.0.1-0.4.fc42

libstdc++

15.0.1-0.3.fc42.1

15.0.1-0.4.fc42

libstdc++-devel

15.0.1-0.3.fc42.1

15.0.1-0.4.fc42

libgomp

15.0.1-0.3.fc42.1

15.0.1-0.4.fc42

cpp

15.0.1-0.3.fc42.1

15.0.1-0.4.fc42

boost

1.83.0-11.fc42

1.83.0-12.fc42

boost-numpy3

1.83.0-11.fc42

1.83.0-12.fc42

libquadmath-devel

15.0.1-0.3.fc42.1

15.0.1-0.4.fc42

boost-log

1.83.0-11.fc42

1.83.0-12.fc42

boost-fiber

1.83.0-11.fc42

1.83.0-12.fc42

boost-contract

1.83.0-11.fc42

1.83.0-12.fc42

boost-test

1.83.0-11.fc42

1.83.0-12.fc42

boost-json

1.83.0-11.fc42

1.83.0-12.fc42

boost-coroutine

1.83.0-11.fc42

1.83.0-12.fc42

boost-container

1.83.0-11.fc42

1.83.0-12.fc42

boost-context

1.83.0-11.fc42

1.83.0-12.fc42

boost-wave

1.83.0-11.fc42

1.83.0-12.fc42

boost-atomic

1.83.0-11.fc42

1.83.0-12.fc42

boost-filesystem

1.83.0-11.fc42

1.83.0-12.fc42

boost-regex

1.83.0-11.fc42

1.83.0-12.fc42

boost-graph

1.83.0-11.fc42

1.83.0-12.fc42

boost-date-time

1.83.0-11.fc42

1.83.0-12.fc42

boost-math

1.83.0-11.fc42

1.83.0-12.fc42

boost-iostreams

1.83.0-11.fc42

1.83.0-12.fc42

boost-locale

1.83.0-11.fc42

1.83.0-12.fc42

boost-thread

1.83.0-11.fc42

1.83.0-12.fc42

boost-timer

1.83.0-11.fc42

1.83.0-12.fc42

libgfortran

15.0.1-0.3.fc42.1

15.0.1-0.4.fc42

boost-python3

1.83.0-11.fc42

1.83.0-12.fc42

gcc-plugin-annobin

15.0.1-0.3.fc42.1

15.0.1-0.4.fc42

libquadmath

15.0.1-0.3.fc42.1

15.0.1-0.4.fc42

boost-program-options

1.83.0-11.fc42

1.83.0-12.fc42

boost-system

1.83.0-11.fc42

1.83.0-12.fc42

boost-type_erasure

1.83.0-11.fc42

1.83.0-12.fc42

boost-random

1.83.0-11.fc42

1.83.0-12.fc42

boost-serialization

1.83.0-11.fc42

1.83.0-12.fc42

boost-stacktrace

1.83.0-11.fc42

1.83.0-12.fc42

boost-chrono

1.83.0-11.fc42

1.83.0-12.fc42

boost-nowide

1.83.0-11.fc42

1.83.0-12.fc42

graphite2

1.3.14-16.fc41

1.3.14-18.fc42

show 33 more collapse

Previous history