Koschei - coq

Package information

State

Packages

Bodhi

Dist-git

Bugzilla

Koji

File new FTBFS bug

Scheduler parameters

Tracked by Koschei

True

Current priority

778

Manual priority

Static priority

Arch override

None

Skip resolution

False

Configure scheduling

Dependency changes since last build

glibc

2.41-3.fc42

2.41-5.fc42

glibc-devel

2.41-3.fc42

2.41-5.fc42

glibc-gconv-extra

2.41-3.fc42

2.41-5.fc42

glibc-common

2.41-3.fc42

2.41-5.fc42

glibc-minimal-langpack

2.41-3.fc42

2.41-5.fc42

debugedit

5.1-5.fc42

5.1-6.fc42

State overview

Groups

This package is not part of any global group.

Historical builds

129374442

2025-02-18 11:07:41

aarch64

├129374549 ( build.log | root.log )

ppc64le

├129374551 ( build.log | root.log )

x86_64

└129374550 ( build.log | root.log )

openssl-libs

1:3.2.2-14.fc42

1:3.2.4-1.fc42

build-reproducibility-srpm-macros

0.5.0-2.fc42

0.6.0-1.fc42

gnutls

3.8.8-3.fc42

3.8.9-2.fc42

binutils

2.44-1.fc42

2.44-3.fc42

nss

3.107.0-2.fc42

3.108.0-1.fc42

systemd-standalone-sysusers

257.3-7.fc42

crypto-policies

20250124-1.git4d262e7....

20250214-1.gitff7551b....

qt6-srpm-macros

6.8.2-1.fc42

6.8.2-2.fc42

libxkbcommon-devel

1.7.0-6.fc42

1.8.0-1.fc42

libxkbcommon

1.7.0-6.fc42

1.8.0-1.fc42

systemd-libs

257.2-17.fc42

257.3-7.fc42

nspr

4.36.0-3.fc42

4.36.0-4.fc42

libcloudproviders

0.3.5-6.fc42

0.3.6-1.fc42

add-determinism

0.5.0-2.fc42

0.6.0-1.fc42

nettle

3.10-6.fc42

3.10.1-1.fc42

kernel-headers

6.14.0-0.rc1.15.fc42

6.14.0-0.rc3.29.fc42

libxcrypt

4.4.38-4.fc42

4.4.38-6.fc42

nss-sysinit

3.107.0-2.fc42

3.108.0-1.fc42

nss-softokn

3.107.0-2.fc42

3.108.0-1.fc42

nss-util

3.107.0-2.fc42

3.108.0-1.fc42

libcloudproviders-devel

0.3.5-6.fc42

0.3.6-1.fc42

libxcrypt-devel

4.4.38-4.fc42

4.4.38-6.fc42

gdb-minimal

15.2-7.fc42

16.2-2.fc42

setup

2.15.0-10.fc42

2.15.0-12.fc42

systemd-rpm-macros

257.2-17.fc42

257.3-7.fc42

mesa-libGL

24.3.4-2.fc42

24.3.4-4.fc42

libeconf

0.7.5-2.fc42

0.7.6-1.fc42

authselect-libs

1.5.1-1.fc42

xkeyboard-config

2.43-2.fc42

2.44-1.fc42

systemd-pam

257.2-17.fc42

dbus-broker

36-5.fc42

libseccomp

2.5.5-2.fc41

libnsl2

2.0.1-3.fc42

systemd

257.2-17.fc42

libpwquality

1.4.5-12.fc42

libtirpc

1.3.6-1.rc3.fc42.2

mesa-libgbm

24.3.4-2.fc42

24.3.4-4.fc42

dbus-common

1:1.16.0-3.fc42

authselect

1.5.1-1.fc42

nss-softokn-freebl

3.107.0-2.fc42

3.108.0-1.fc42

gdbm

1:1.23-9.fc42

systemd-devel

257.2-17.fc42

257.3-7.fc42

pam

1.7.0-4.fc42

cracklib

2.9.11-7.fc42

mesa-libEGL

24.3.4-2.fc42

24.3.4-4.fc42

mesa-filesystem

24.3.4-2.fc42

24.3.4-4.fc42

mesa-libglapi

24.3.4-2.fc42

24.3.4-4.fc42

llvm-libs

19.1.7-1.fc42

19.1.7-9.fc42

llvm-filesystem

19.1.7-9.fc42

mesa-dri-drivers

24.3.4-2.fc42

24.3.4-4.fc42

show 40 more collapse

128943809

2025-02-07 14:14:09

aarch64

├128943879 ( build.log | root.log )

ppc64le

├128943880 ( build.log | root.log )

x86_64

└128943878 ( build.log | root.log )

git-core

2.48.1-2.fc42

2.48.1-3.fc42

python3-devel

3.13.1-4.fc42

3.13.2-2.fc42

libuuid

2.40.4-2.fc42

2.40.4-5.fc42

libcurl

8.11.1-3.fc42

8.11.1-4.fc42

python3

3.13.1-4.fc42

3.13.2-2.fc42

gcc

15.0.1-0.6.fc42

15.0.1-0.7.fc42

libgcc

15.0.1-0.6.fc42

15.0.1-0.7.fc42

pyproject-rpm-macros

1.16.4-2.fc42

1.17.0-1.fc42

python3-libs

3.13.1-4.fc42

3.13.2-2.fc42

cpp

15.0.1-0.6.fc42

15.0.1-0.7.fc42

flexiblas-netlib

3.4.4-7.fc42

3.4.5-1.fc42

rpm-sequoia

1.7.0-4.fc42

1.7.0-5.fc42

pyproject-srpm-macros

1.16.4-2.fc42

1.17.0-1.fc42

tzdata-java

2024b-2.fc42

2025a-1.fc42

util-linux

2.40.4-2.fc42

2.40.4-5.fc42

binutils

2.43.50-12.fc42

2.44-1.fc42

gnutls

3.8.8-2.fc42

3.8.8-3.fc42

gcc-plugin-annobin

15.0.1-0.6.fc42

15.0.1-0.7.fc42

libgomp

15.0.1-0.6.fc42

15.0.1-0.7.fc42

mpdecimal

2.5.1-17.fc42

4.0.0-2.fc42

libmount

2.40.4-2.fc42

2.40.4-5.fc42

tzdata

2024b-2.fc42

2025a-1.fc42

flexiblas

3.4.4-7.fc42

3.4.5-1.fc42

libblkid

2.40.4-2.fc42

2.40.4-5.fc42

libsmartcols

2.40.4-2.fc42

2.40.4-5.fc42

authselect-libs

1.5.0-9.fc42

1.5.1-1.fc42

util-linux-core

2.40.4-2.fc42

2.40.4-5.fc42

libgfortran

15.0.1-0.6.fc42

15.0.1-0.7.fc42

libquadmath

15.0.1-0.6.fc42

15.0.1-0.7.fc42

libfdisk

2.40.4-2.fc42

2.40.4-5.fc42

libmount-devel

2.40.4-2.fc42

2.40.4-5.fc42

flexiblas-openblas-openmp

3.4.4-7.fc42

3.4.5-1.fc42

curl

8.11.1-3.fc42

8.11.1-4.fc42

libstdc++

15.0.1-0.6.fc42

15.0.1-0.7.fc42

authselect

1.5.0-9.fc42

1.5.1-1.fc42

fedora-release

42-0.16

42-0.18

fedora-release-identity-basic

42-0.16

42-0.18

fedora-repos-rawhide

42-0.4

hwdata

0.391-2.fc42

0.392-1.fc42

libusb1

1.0.27-8.fc42

1.0.27-9.fc42

fedora-gpg-keys

42-0.4

42-0.5

fedora-repos

42-0.4

42-0.5

libblkid-devel

2.40.4-2.fc42

2.40.4-5.fc42

fedora-release-common

42-0.16

42-0.18

show 34 more collapse

128823133

2025-02-03 23:56:49

aarch64

├128823196 ( build.log | root.log )

ppc64le

├128823197 ( build.log | root.log )

x86_64

└128823198 ( build.log | root.log )

java-21-openjdk

1:21.0.6.0.7-1.fc42

1:21.0.6.0.7-6.fc42

python3-devel

3.13.1-3.fc42

3.13.1-4.fc42

redhat-rpm-config

342-1.fc42

342-2.fc42

python3-libs

3.13.1-3.fc42

3.13.1-4.fc42

gcc

15.0.1-0.5.fc42

15.0.1-0.6.fc42

libX11

1.8.10-3.fc42

1.8.11-1.fc42

libgcc

15.0.1-0.5.fc42

15.0.1-0.6.fc42

python3

3.13.1-3.fc42

3.13.1-4.fc42

java-21-openjdk-headless

1:21.0.6.0.7-1.fc42

1:21.0.6.0.7-6.fc42

qt6-srpm-macros

6.8.1-5.fc42

6.8.2-1.fc42

file

5.45-9.fc42

5.46-1.fc42

tree-sitter-srpm-macros

0.1.0-8.fc42

annobin-plugin-gcc

12.87-1.fc42

12.88-1.fc42

libgomp

15.0.1-0.5.fc42

15.0.1-0.6.fc42

cpp

15.0.1-0.5.fc42

15.0.1-0.6.fc42

libX11-common

1.8.10-3.fc42

1.8.11-1.fc42

gcc-plugin-annobin

15.0.1-0.5.fc42

15.0.1-0.6.fc42

libX11-devel

1.8.10-3.fc42

1.8.11-1.fc42

libquadmath

15.0.1-0.5.fc42

15.0.1-0.6.fc42

libX11-xcb

1.8.10-3.fc42

1.8.11-1.fc42

kernel-headers

6.13.0-62.fc42

6.14.0-0.rc1.15.fc42

annobin-docs

12.87-1.fc42

12.88-1.fc42

libstdc++

15.0.1-0.5.fc42

15.0.1-0.6.fc42

libgfortran

15.0.1-0.5.fc42

15.0.1-0.6.fc42

at-spi2-atk-devel

2.55.0.1-2.fc42

2.55.2-1.fc42

atk

2.55.0.1-2.fc42

2.55.2-1.fc42

at-spi2-atk

2.55.0.1-2.fc42

2.55.2-1.fc42

atk-devel

2.55.0.1-2.fc42

2.55.2-1.fc42

file-libs

5.45-9.fc42

5.46-1.fc42

lua

5.4.7-2.fc42

which

2.22-2.fc42

2.23-1.fc42

copy-jdk-configs

4.1-7.fc42

at-spi2-core-devel

2.55.0.1-2.fc42

2.55.2-1.fc42

at-spi2-core

2.55.0.1-2.fc42

2.55.2-1.fc42

lua-posix

36.2.1-8.fc42

show 25 more collapse

128777390

2025-02-02 18:00:36

aarch64

├128777474 ( build.log | root.log )

ppc64le

├128777475 ( build.log | root.log )

x86_64

└128777476 ( build.log | root.log )

rsync

3.4.1-2.fc42

3.4.1-3.fc42

time

1.9-24.fc41

1.9-26.fc42

openssl-libs

1:3.2.2-13.fc42

1:3.2.2-14.fc42

gcc

15.0.1-0.4.fc42

15.0.1-0.5.fc42

redhat-rpm-config

300-1.fc42

342-1.fc42

libgcc

15.0.1-0.4.fc42

15.0.1-0.5.fc42

libselinux

3.8-0.rc3.1.fc42.3

3.8-1.fc42

cpp

15.0.1-0.4.fc42

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

gdbm-libs

1:1.23-7.fc41

1:1.23-9.fc42

libstdc++

15.0.1-0.4.fc42

15.0.1-0.5.fc42

libgfortran

15.0.1-0.4.fc42

15.0.1-0.5.fc42

libselinux-devel

3.8-0.rc3.1.fc42.3

3.8-1.fc42

libquadmath

15.0.1-0.4.fc42

15.0.1-0.5.fc42

libsemanage

3.8-0.rc3.1.fc42.1

3.8-1.fc42

which

2.22-1.fc42

2.22-2.fc42

libsepol-devel

3.8-0.rc3.1.fc42.1

3.8-1.fc42

gdbm

1:1.23-7.fc41

1:1.23-9.fc42

show 11 more collapse

2025-02-02 18:00:06

Package dependencies resolved successfuly

2025-02-02 16:51:53

Package resolution failed

Problem: 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
Problem: package antlr4-4.13.2-4.fc42.noarch from primary-f42-build-6547170 requires java-21-openjdk-headless, but none of the providers can be installed
- package antlr4-4.13.2-4.fc42.noarch from primary-f42-build-6547170 requires java-headless, 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:43:57

Package resolution failed

Problem: 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
Problem: package antlr4-4.13.2-4.fc42.noarch from primary-f42-build-6547162 requires java-21-openjdk-headless, but none of the providers can be installed
- package antlr4-4.13.2-4.fc42.noarch from primary-f42-build-6547162 requires java-headless, 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:30:51

Package resolution failed

Problem: 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
Problem: package antlr4-4.13.2-4.fc42.noarch from primary-f42-build-6547160 requires java-21-openjdk-headless, but none of the providers can be installed
- package antlr4-4.13.2-4.fc42.noarch from primary-f42-build-6547160 requires java-headless, 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

Previous history