Koschei - coq

coq

Package information

State

ok

Packages

Bodhi

Dist-git

Bugzilla

Koji

File new FTBFS bug

Scheduler parameters

Tracked by Koschei

True

Current priority

420

Manual priority

0

Static priority

0

Arch override

None

Skip resolution

False

Configure scheduling

Dependency changes since last build

java-21-openjdk-headless

1:21.0.6.0.7-6.fc41

1:21.0.7.0.6-1.fc41

2

libnghttp2

1.62.1-2.fc41

1.62.1-3.fc41

3

liblerc

4.0.0-7.fc41

4.0.0-8.fc41

B

State overview

Groups

This package is not part of any global group.

Historical builds

complete

2024-11-09 01:54:49

aarch64

├125648798 ( build.log | root.log )

ppc64le

├125648796 ( build.log | root.log )

x86_64

└125648797 ( build.log | root.log )

ocaml-dune

3.16.0-3.fc41

3.16.1-1.fc41

1

pyproject-rpm-macros

1.15.1-1.fc41

1.16.0-1.fc41

2

glibc

2.40-3.fc41

2.40-9.fc41

2

icu4j

1:75.1-3.fc41

1:76.1-1.fc41

2

glibc-devel

2.40-3.fc41

2.40-9.fc41

3

krb5-libs

1.21.3-2.fc41

1.21.3-3.fc41

3

crypto-policies

20241010-1.git8baf557....

20241029-1.git8baf557....

3

glibc-gconv-extra

2.40-3.fc41

2.40-9.fc41

3

pyproject-srpm-macros

1.15.1-1.fc41

1.16.0-1.fc41

3

qt6-srpm-macros

6.7.2-3.fc41

6.8.0-1.fc41

3

glibc-minimal-langpack

2.40-3.fc41

2.40-9.fc41

3

glibc-common

2.40-3.fc41

2.40-9.fc41

3

gdb-minimal

15.2-1.fc41

15.2-2.fc41

4

pam-libs

1.6.1-5.fc41

1.6.1-6.fc41

4

elfutils-libelf

0.192-4.fc41

0.192-5.fc41

4

pam

1.6.1-5.fc41

1.6.1-6.fc41

4

elfutils-debuginfod-client

0.192-4.fc41

0.192-5.fc41

4

debugedit

5.0-18.fc41

5.1-1.fc41

4

libXcursor

1.2.2-2.fc41

1.2.3-1.fc41

4

libXcursor-devel

1.2.2-2.fc41

1.2.3-1.fc41

4

cmake-filesystem

3.28.3-7.fc41

3.30.5-1.fc41

4

elfutils

0.192-4.fc41

0.192-5.fc41

4

libxcrypt-devel

4.4.36-7.fc41

4.4.36-10.fc41

4

elfutils-libs

0.192-4.fc41

0.192-5.fc41

B

libxcrypt

4.4.36-7.fc41

4.4.36-10.fc41

B

mesa-libEGL

24.2.4-1.fc41

24.2.6-1.fc41

B

libxshmfence

1.3.2-4.fc41

1.3.2-5.fc41

B

fedora-release-common

41-25

41-27

B

mesa-libglapi

24.2.4-1.fc41

24.2.6-1.fc41

B

hwdata

0.388-1.fc41

0.389-1.fc41

B

fedora-release

41-25

41-27

B

elfutils-default-yama-scope

0.192-4.fc41

0.192-5.fc41

B

glibc-headers-x86

2.40-3.fc41

mesa-libgbm

24.2.4-1.fc41

24.2.6-1.fc41

B

libusb1

1.0.27-3.fc41

1.0.27-4.fc41

B

mesa-filesystem

24.2.4-1.fc41

24.2.6-1.fc41

B

mesa-libGL

24.2.4-1.fc41

24.2.6-1.fc41

B

mesa-dri-drivers

24.2.4-1.fc41

24.2.6-1.fc41

B

fedora-release-identity-basic

41-25

41-27

B

show 29 more collapse