Koschei - coq

Package information

State

Packages

Bodhi

Dist-git

Bugzilla

Koji

File new FTBFS bug

Scheduler parameters

Tracked by Koschei

True

Current priority

1235

Manual priority

Static priority

Arch override

None

Skip resolution

False

Configure scheduling

Dependency changes since last build

openssl-libs

1:3.2.2-14.fc42

1:3.2.4-1.fc43

libuuid

2.40.4-5.fc43

2.40.4-6.fc43

gnutls

3.8.8-2.fc42

3.8.9-2.fc43

util-linux

2.40.4-5.fc43

2.40.4-6.fc43

libmount

2.40.4-5.fc43

2.40.4-6.fc43

libsmartcols

2.40.4-5.fc43

2.40.4-6.fc43

libmount-devel

2.40.4-5.fc43

2.40.4-6.fc43

google-noto-sans-vf-fonts

20250101-2.fc42

20250201-1.fc43

util-linux-core

2.40.4-5.fc43

2.40.4-6.fc43

libfdisk

2.40.4-5.fc43

2.40.4-6.fc43

libblkid

2.40.4-5.fc43

2.40.4-6.fc43

mesa-libEGL

25.0.0~rc2-2.fc43

25.0.0~rc3-1.fc43

libblkid-devel

2.40.4-5.fc43

2.40.4-6.fc43

mesa-libgbm

25.0.0~rc2-2.fc43

25.0.0~rc3-1.fc43

mesa-filesystem

25.0.0~rc2-2.fc43

25.0.0~rc3-1.fc43

google-noto-fonts-common

20250101-2.fc42

20250201-1.fc43

mesa-libGL

25.0.0~rc2-2.fc43

25.0.0~rc3-1.fc43

mesa-dri-drivers

25.0.0~rc2-2.fc43

25.0.0~rc3-1.fc43

show 8 more collapse

State overview

Groups

This package is not part of any global group.

Most recent builds

129164879

2025-02-12 06:33:27

aarch64

├129165019 ( build.log | root.log )

ppc64le

├129165021 ( build.log | root.log )

x86_64

└129165020 ( build.log | root.log )

glibc

2.40.9000-35.fc42

2.40.9000-37.fc43

binutils

2.44-1.fc42

2.44-3.fc43

cups-libs

1:2.4.11-10.fc42

1:2.4.11-11.fc43

glibc-common

2.40.9000-35.fc42

2.40.9000-37.fc43

glibc-gconv-extra

2.40.9000-35.fc42

2.40.9000-37.fc43

gtk3-devel

3.24.43-3.fc42

3.24.43-4.fc43

glibc-minimal-langpack

2.40.9000-35.fc42

2.40.9000-37.fc43

filesystem

3.18-36.fc42

3.18-38.fc43

glibc-devel

2.40.9000-35.fc42

2.40.9000-37.fc43

nss

3.107.0-2.fc42

3.108.0-3.fc43

flexiblas-netlib

3.4.4-7.fc42

3.4.5-1.fc43

build-reproducibility-srpm-macros

0.5.0-2.fc42

0.6.0-1.fc43

filesystem-srpm-macros

3.18-36.fc42

3.18-38.fc43

gtk3

3.24.43-3.fc42

3.24.43-4.fc43

libxkbcommon-devel

1.7.0-6.fc42

1.8.0-1.fc43

cups-filesystem

1:2.4.11-10.fc42

1:2.4.11-11.fc43

gdb-minimal

15.2-7.fc42

16.2-1.fc43

nss-util

3.107.0-2.fc42

3.108.0-3.fc43

nspr

4.36.0-3.fc42

4.36.0-4.fc43

libxkbcommon

1.7.0-6.fc42

1.8.0-1.fc43

kernel-headers

6.14.0-0.rc1.15.fc42

6.14.0-0.rc2.22.fc43

libtinysparql

3.8~rc-6.fc43

nss-sysinit

3.107.0-2.fc42

3.108.0-3.fc43

gtk-update-icon-cache

3.24.43-3.fc42

3.24.43-4.fc43

flexiblas-openblas-openmp

3.4.4-7.fc42

3.4.5-1.fc43

libtasn1

4.19.0-11.fc42

4.20.0-1.fc43

nss-softokn

3.107.0-2.fc42

3.108.0-3.fc43

flexiblas

3.4.4-7.fc42

3.4.5-1.fc43

add-determinism

0.5.0-2.fc42

0.6.0-1.fc43

setup

2.15.0-10.fc42

2.15.0-12.fc43

libtracker-sparql

3.7.3-5.fc42

mesa-libglapi

24.3.4-2.fc42

mesa-libEGL

24.3.4-2.fc42

25.0.0~rc2-2.fc43

xkeyboard-config

2.43-2.fc42

2.44-1.fc43

mesa-dri-drivers

24.3.4-2.fc42

25.0.0~rc2-2.fc43

mesa-libGL

24.3.4-2.fc42

25.0.0~rc2-2.fc43

libeconf

0.7.5-2.fc42

0.7.6-1.fc43

nss-softokn-freebl

3.107.0-2.fc42

3.108.0-3.fc43

mesa-filesystem

24.3.4-2.fc42

25.0.0~rc2-2.fc43

basesystem

11-22.fc42

mesa-libgbm

24.3.4-2.fc42

25.0.0~rc2-2.fc43

show 31 more collapse

128930291

2025-02-07 03:58:37

aarch64

├128930360 ( build.log | root.log )

ppc64le

├128930361 ( build.log | root.log )

x86_64

└128930359 ( build.log | root.log )

python3-devel

3.13.1-4.fc42

3.13.2-2.fc43

git-core

2.48.1-2.fc42

2.48.1-3.fc43

libuuid

2.40.4-2.fc42

2.40.4-5.fc43

pcre2

10.44-1.fc42.2

10.44-1.fc43.2

libcurl

8.11.1-3.fc42

8.12.0-1.fc43

libpng

2:1.6.44-2.fc42

2:1.6.46-1.fc43

python3-libs

3.13.1-4.fc42

3.13.2-2.fc43

libgcc

15.0.1-0.6.fc42

15.0.1-0.7.fc43

gcc

15.0.1-0.6.fc42

15.0.1-0.7.fc43

python3

3.13.1-4.fc42

3.13.2-2.fc43

pyproject-rpm-macros

1.16.4-2.fc42

1.17.0-1.fc43

cpp

15.0.1-0.6.fc42

15.0.1-0.7.fc43

rpm-sequoia

1.7.0-4.fc42

1.7.0-5.fc43

pyproject-srpm-macros

1.16.4-2.fc42

1.17.0-1.fc43

tzdata-java

2024b-2.fc42

2025a-1.fc43

util-linux

2.40.4-2.fc42

2.40.4-5.fc43

binutils

2.43.50-12.fc42

2.44-1.fc42

gcc-plugin-annobin

15.0.1-0.6.fc42

15.0.1-0.7.fc43

libgomp

15.0.1-0.6.fc42

15.0.1-0.7.fc43

mpdecimal

2.5.1-17.fc42

4.0.0-2.fc43

libmount

2.40.4-2.fc42

2.40.4-5.fc43

tzdata

2024b-2.fc42

2025a-1.fc43

sqlite-libs

3.47.2-2.fc42

3.49.0-1.fc43

pcre2-syntax

10.44-1.fc42.2

10.44-1.fc43.2

libpng-devel

2:1.6.44-2.fc42

2:1.6.46-1.fc43

authselect-libs

1.5.0-9.fc42

1.5.1-1.fc43

libsmartcols

2.40.4-2.fc42

2.40.4-5.fc43

libxcrypt

4.4.38-4.fc42

4.4.38-4.fc43

libblkid

2.40.4-2.fc42

2.40.4-5.fc43

libstdc++

15.0.1-0.6.fc42

15.0.1-0.7.fc43

pcre2-devel

10.44-1.fc42.2

10.44-1.fc43.2

curl

8.11.1-3.fc42

8.12.0-1.fc43

libfdisk

2.40.4-2.fc42

2.40.4-5.fc43

libquadmath

15.0.1-0.6.fc42

15.0.1-0.7.fc43

util-linux-core

2.40.4-2.fc42

2.40.4-5.fc43

libgfortran

15.0.1-0.6.fc42

15.0.1-0.7.fc43

libxcrypt-devel

4.4.38-4.fc42

4.4.38-4.fc43

libmount-devel

2.40.4-2.fc42

2.40.4-5.fc43

fedora-repos

42-0.4

43-0.1

fedora-gpg-keys

42-0.4

43-0.1

fedora-release

42-0.16

43-0.2

pcre2-utf16

10.44-1.fc42.2

10.44-1.fc43.2

authselect

1.5.0-9.fc42

1.5.1-1.fc43

hwdata

0.391-2.fc42

0.392-1.fc42

fedora-repos-rawhide

42-0.4

43-0.1

fedora-release-identity-basic

42-0.16

43-0.2

llvm-libs

19.1.7-1.fc42

19.1.7-6.fc43

fedora-release-common

42-0.16

43-0.2

libblkid-devel

2.40.4-2.fc42

2.40.4-5.fc43

pcre2-utf32

10.44-1.fc42.2

10.44-1.fc43.2

show 40 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 )

python3-devel

3.13.1-3.fc42

3.13.1-4.fc42

java-21-openjdk

1:21.0.6.0.7-1.fc42

1:21.0.6.0.7-6.fc42

libX11

1.8.10-3.fc42

1.8.11-1.fc42

gcc

15.0.1-0.5.fc42

15.0.1-0.6.fc42

python3

3.13.1-3.fc42

3.13.1-4.fc42

libgcc

15.0.1-0.5.fc42

15.0.1-0.6.fc42

java-21-openjdk-headless

1:21.0.6.0.7-1.fc42

1:21.0.6.0.7-6.fc42

redhat-rpm-config

342-1.fc42

342-2.fc42

python3-libs

3.13.1-3.fc42

3.13.1-4.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

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

libquadmath

15.0.1-0.5.fc42

15.0.1-0.6.fc42

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-devel

2.55.0.1-2.fc42

2.55.2-1.fc42

libgfortran

15.0.1-0.5.fc42

15.0.1-0.6.fc42

file-libs

5.45-9.fc42

5.46-1.fc42

at-spi2-atk

2.55.0.1-2.fc42

2.55.2-1.fc42

libstdc++

15.0.1-0.5.fc42

15.0.1-0.6.fc42

annobin-docs

12.87-1.fc42

12.88-1.fc42

kernel-headers

6.13.0-62.fc42

6.14.0-0.rc1.15.fc42

libX11-xcb

1.8.10-3.fc42

1.8.11-1.fc42

lua-posix

36.2.1-8.fc42

at-spi2-core

2.55.0.1-2.fc42

2.55.2-1.fc42

at-spi2-core-devel

2.55.0.1-2.fc42

2.55.2-1.fc42

copy-jdk-configs

4.1-7.fc42

which

2.22-2.fc42

2.23-1.fc42

lua

5.4.7-2.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

libselinux

3.8-0.rc3.1.fc42.3

3.8-1.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

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

which

2.22-1.fc42

2.22-2.fc42

libsemanage

3.8-0.rc3.1.fc42.1

3.8-1.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

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