Koschei - why3

Package information

State

Packages

Bodhi

Dist-git

Bugzilla

Koji

File new FTBFS bug

Scheduler parameters

Tracked by Koschei

True

Current priority

404

Manual priority

Static priority

Arch override

None

Skip resolution

False

Configure scheduling

Dependency changes since last build

cups-libs

1:2.4.12-2.fc42

1:2.4.12-3.fc42

cups-filesystem

1:2.4.12-2.fc42

1:2.4.12-3.fc42

pam-libs

1.7.0-4.fc42

1.7.0-5.fc42

gdb-minimal

16.2-3.fc42

16.3-1.fc42

State overview

Groups

This package is not part of any global group.

Historical builds

2025-02-02 17:57:46

Package dependencies resolved successfuly

2025-02-02 16:49:35

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:41:33

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:28:52

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

128740399

2025-02-01 23:48:18

aarch64

├128740479 ( build.log | root.log )

ppc64le

├128740480 ( build.log | root.log )

x86_64

└128740481 ( build.log | root.log )

libselinux

3.8-0.rc3.1.fc42.3

3.8-1.fc42

gcc

15.0.1-0.4.fc42

15.0.1-0.5.fc42

redhat-rpm-config

300-1.fc42

342-1.fc42

glibc

2.40.9000-34.fc42

2.40.9000-35.fc42

libgccjit

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

libgcc

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

libimagequant

4.0.3-6.fc42

4.0.3-7.fc42

glibc-common

2.40.9000-34.fc42

2.40.9000-35.fc42

openssl-libs

1:3.2.2-13.fc42

1:3.2.2-14.fc42

glibc-minimal-langpack

2.40.9000-34.fc42

2.40.9000-35.fc42

krb5-libs

1.21.3-4.fc42

1.21.3-5.fc42

libgomp

15.0.1-0.4.fc42

15.0.1-0.5.fc42

libsepol

3.8-0.rc3.1.fc42.1

3.8-1.fc42

gcc-plugin-annobin

15.0.1-0.4.fc42

15.0.1-0.5.fc42

glibc-devel

2.40.9000-34.fc42

2.40.9000-35.fc42

glibc-gconv-extra

2.40.9000-34.fc42

2.40.9000-35.fc42

gdbm-libs

1:1.23-7.fc41

1:1.23-9.fc42

libaom

3.9.0-3.fc41

3.9.0-5.fc42

libselinux-devel

3.8-0.rc3.1.fc42.3

3.8-1.fc42

mesa-libglapi

24.3.3-3.fc42

24.3.4-2.fc42

mesa-libgbm

24.3.3-3.fc42

24.3.4-2.fc42

gdbm

1:1.23-7.fc41

1:1.23-9.fc42

libsepol-devel

3.8-0.rc3.1.fc42.1

3.8-1.fc42

libgfortran

15.0.1-0.4.fc42

15.0.1-0.5.fc42

libsemanage

3.8-0.rc3.1.fc42.1

3.8-1.fc42

libsoup3

3.6.4-1.fc42

3.6.4-2.fc42

libquadmath

15.0.1-0.4.fc42

15.0.1-0.5.fc42

mesa-filesystem

24.3.3-3.fc42

24.3.4-2.fc42

mesa-libGL

24.3.3-3.fc42

24.3.4-2.fc42

mesa-dri-drivers

24.3.3-3.fc42

24.3.4-2.fc42

mesa-libEGL

24.3.3-3.fc42

24.3.4-2.fc42

perl-Text-BibTeX

0.90-3.fc42

0.91-1.fc42

show 24 more collapse

128580767

2025-01-28 20:50:21

aarch64

├128580840 ( build.log | root.log )

ppc64le

├128580842 ( build.log | root.log )

x86_64

└128580841 ( build.log | root.log )

emacs-nw

1:29.4-47.fc42

1:29.4-49.fc42

java-21-openjdk-devel

1:21.0.5.0.11-1.fc42.1

1:21.0.6.0.7-1.fc42

java-21-openjdk

1:21.0.5.0.11-1.fc42.1

1:21.0.6.0.7-1.fc42

gcc

15.0.1-0.3.fc42.1

15.0.1-0.4.fc42

systemd-libs

257.2-14.fc42

257.2-17.fc42

libgccjit

15.0.1-0.3.fc42.1

15.0.1-0.4.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

fontconfig

2.15.0-9.fc42

2.16.0-2.fc42

emacs-common

1:29.4-47.fc42

1:29.4-49.fc42

ncurses-libs

6.5-2.20240629.fc41

6.5-5.20250125.fc42

which

2.21-43.fc42

2.22-1.fc42

ncurses-base

6.5-2.20240629.fc41

6.5-5.20250125.fc42

emacsclient

1:29.4-47.fc42

1:29.4-49.fc42

gcc-plugin-annobin

15.0.1-0.3.fc42.1

15.0.1-0.4.fc42

systemd

257.2-14.fc42

257.2-17.fc42

java-21-openjdk-headless

1:21.0.5.0.11-1.fc42.1

1:21.0.6.0.7-1.fc42

graphite2

1.3.14-16.fc41

1.3.14-18.fc42

openssl-libs

1:3.2.2-12.fc42

1:3.2.2-13.fc42

libgomp

15.0.1-0.3.fc42.1

15.0.1-0.4.fc42

annobin-plugin-gcc

12.84-1.fc42

12.87-1.fc42

cpp

15.0.1-0.3.fc42.1

15.0.1-0.4.fc42

crypto-policies

20241128-2.gitbb7b0b0....

20250124-1.git4d262e7....

cyrus-sasl-lib

2.1.28-28.fc42

2.1.28-30.fc42

annobin-docs

12.84-1.fc42

12.87-1.fc42

zziplib

0.13.74-3.fc42

0.13.78-1.fc42

libdav1d

1.5.0-3.fc42

1.5.1-1.fc42

systemd-pam

257.2-14.fc42

257.2-17.fc42

fontconfig-devel

2.15.0-9.fc42

2.16.0-2.fc42

systemd-rpm-macros

257.2-14.fc42

257.2-17.fc42

openblas

0.3.28-3.fc42

0.3.29-1.fc42

fedora-release

42-0.15

42-0.16

ncurses

6.5-2.20240629.fc41

6.5-5.20250125.fc42

openblas-openmp

0.3.28-3.fc42

0.3.29-1.fc42

perl-Text-BibTeX

0.89-7.fc41

0.90-3.fc42

perl-Business-ISSN

1.005-13.fc42

1.008-1.fc42

fedora-release-identity-basic

42-0.15

42-0.16

graphite2-devel

1.3.14-16.fc41

1.3.14-18.fc42

systemd-devel

257.2-14.fc42

257.2-17.fc42

libquadmath

15.0.1-0.3.fc42.1

15.0.1-0.4.fc42

fedora-release-common

42-0.15

42-0.16

libgfortran

15.0.1-0.3.fc42.1

15.0.1-0.4.fc42

show 32 more collapse

128449794

2025-01-25 04:44:24

aarch64

├128449856 ( build.log | root.log )

ppc64le

├128449858 ( build.log | root.log )

x86_64

└128449857 ( build.log | root.log )

texlive-urlbst

11:svn65694-87.fc42

11:svn65694-89.fc42

texlive-attachfile2

11:svn57959-87.fc42

11:svn57959-89.fc42

texlive-latex

11:svn65161-87.fc42

11:svn65161-89.fc42

texlive-base

11:20230311-87.fc42

11:20230311-89.fc42

texlive-thumbpdf

11:svn62518-87.fc42

11:svn62518-89.fc42

texlive-lwarp

11:svn66259-87.fc42

11:svn66259-89.fc42

glib2

2.83.2-3.fc42

2.83.2-6.fc42

glibc

2.40.9000-31.fc42

2.40.9000-34.fc42

texlive-kpathsea

11:svn66209-87.fc42

11:svn66209-89.fc42

openldap

2.6.9-2.fc42

2.6.9-3.fc42

glibc-minimal-langpack

2.40.9000-31.fc42

2.40.9000-34.fc42

fonts-srpm-macros

1:2.0.5-20.fc42

1:2.0.5-21.fc42

texlive-oberdiek

11:svn65521-87.fc42

11:svn65521-89.fc42

texlive-mptopdf

11:svn65952-87.fc42

11:svn65952-89.fc42

texlive-luatex

11:svn66967-87.fc42

11:svn66967-89.fc42

glibc-devel

2.40.9000-31.fc42

2.40.9000-34.fc42

glibc-gconv-extra

2.40.9000-31.fc42

2.40.9000-34.fc42

glib2-devel

2.83.2-3.fc42

2.83.2-6.fc42

libffi

3.4.6-3.fc42

3.4.6-5.fc42

fonts-filesystem

1:2.0.5-20.fc42

1:2.0.5-21.fc42

texlive-pdftex

11:svn66243-87.fc42

11:svn66243-89.fc42

texlive-texlive-scripts

11:svn66584-87.fc42

11:svn66584-89.fc42

libnghttp2

1.64.0-1.fc42

1.64.0-3.fc42

cmake-filesystem

3.31.4-2.fc42

3.31.5-1.fc42

texlive-luaotfload

11:svn64616-87.fc42

11:svn64616-89.fc42

default-fonts-core-sans

4.2-3.fc42

4.2-4.fc42

glibc-common

2.40.9000-31.fc42

2.40.9000-34.fc42

annobin-plugin-gcc

12.83-1.fc42

12.84-1.fc42

libcap

2.71-2.fc42

2.73-2.fc42

texlive-lib

11:20230311-87.fc42

11:20230311-89.fc42

texlive-metafont

11:svn66186-87.fc42

11:svn66186-89.fc42

gawk

5.3.0-4.fc41

5.3.1-1.fc42

texlive-gsftopk

11:svn52851-87.fc42

11:svn52851-89.fc42

libffi-devel

3.4.6-3.fc42

3.4.6-5.fc42

texlive-dvipdfmx

11:svn66203-87.fc42

11:svn66203-89.fc42

texlive-glyphlist

11:svn54074-87.fc42

11:svn54074-89.fc42

texlive-tex

11:svn66186-87.fc42

11:svn66186-89.fc42

texlive-luahbtex

11:svn66186-87.fc42

11:svn66186-89.fc42

texlive-dvips

11:svn66203-87.fc42

11:svn66203-89.fc42

texlive-mfware

11:svn66186-87.fc42

11:svn66186-89.fc42

texlive-epstopdf

11:svn66461-87.fc42

11:svn66461-89.fc42

annobin-docs

12.83-1.fc42

12.84-1.fc42

texlive-texlive.infra

11:svn66512-87.fc42

11:svn66512-89.fc42

texlive-bibtex

11:svn66186-87.fc42

11:svn66186-89.fc42

texlive-texlive-en

11:svn66572-87.fc42

11:svn66572-89.fc42

texlive-makeindex

11:svn62517-87.fc42

11:svn62517-89.fc42

texlive-xdvi

11:svn62387-87.fc42

11:svn62387-89.fc42

llvm-libs

19.1.6-2.fc42

19.1.7-1.fc42

libicu

76.1-3.fc42

76.1-4.fc42

texlive-xetex

11:svn66203-87.fc42

11:svn66203-89.fc42

libicu-devel

76.1-3.fc42

76.1-4.fc42

fedora-release

42-0.13

42-0.15

perl-Math-BigInt

1:2.0030.03-4.fc42

1:2.0030.04-1.fc42

gnupg2

2.4.7-1.fc42

2.4.7-2.fc42

fedora-release-identity-basic

42-0.13

42-0.15

fedora-release-common

42-0.13

42-0.15

show 46 more collapse

Real build: why3-1.8.0-3.fc42

128336087

2025-01-22 23:15:43

aarch64

├128336159 ( build.log | root.log )

ppc64le

├128336160 ( build.log | root.log )

s390x

├128336161 ( build.log | root.log )

x86_64

└128336158 ( build.log | root.log )

coq

8.20.0-2.fc42

8.20.1-1.fc42

flocq

4.2.0-4.fc42

4.2.0-5.fc42

rpm-libs

4.20.0-7.fc42

4.20.0-8.fc42

pango

1.55.0-2.fc42

1.56.1-1.fc42

glib2

2.83.2-2.fc42

2.83.2-3.fc42

coq-core

8.20.0-2.fc42

8.20.1-1.fc42

rpm

4.20.0-7.fc42

4.20.0-8.fc42

annobin-plugin-gcc

12.81-1.fc42

12.83-1.fc42

qt5-srpm-macros

5.15.16-2.fc42

5.15.15-1.fc42

glib2-devel

2.83.2-2.fc42

2.83.2-3.fc42

systemd

257.2-14.fc42

systemd-pam

257.2-14.fc42

libseccomp

2.5.5-2.fc41

rpm-build

4.20.0-7.fc42

4.20.0-8.fc42

annobin-docs

12.81-1.fc42

12.83-1.fc42

gpgmepp

1.24.0-2.fc42

1.24.1-1.fc42

pango-devel

1.55.0-2.fc42

1.56.1-1.fc42

dbus-broker

36-5.fc42

dbus-common

1:1.16.0-3.fc42

rpm-build-libs

4.20.0-7.fc42

4.20.0-8.fc42

gnupg2

2.4.5-5.fc42

2.4.7-1.fc42

gpgme

1.24.0-2.fc42

1.24.1-1.fc42

show 12 more collapse

Previous history