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

2191

Manual priority

0

Static priority

0

Arch override

None

Skip resolution

False

Configure scheduling

Dependency changes since last build

glibc

2.39-33.fc40

2.39-37.fc40

2

pyproject-rpm-macros

1.16.4-1.fc40

1.17.0-1.fc40

2

expat

2.6.3-1.fc40

2.6.4-1.fc40

2

java-21-openjdk-headless

1:21.0.5.0.11-1.fc40

1:21.0.6.0.7-1.fc40

2

glibc-common

2.39-33.fc40

2.39-37.fc40

3

glibc-minimal-langpack

2.39-33.fc40

2.39-37.fc40

3

rpm-sequoia

1.7.0-3.fc40

1.7.0-5.fc40

3

flexiblas-netlib

3.4.4-5.fc40

3.4.5-1.fc40

3

qt6-srpm-macros

6.8.1-4.fc40

6.8.2-1.fc40

3

glibc-gconv-extra

2.39-33.fc40

2.39-37.fc40

3

pyproject-srpm-macros

1.16.4-1.fc40

1.17.0-1.fc40

3

tzdata

2024b-1.fc40

2025a-1.fc40

3

sqlite-libs

3.45.1-2.fc40

3.45.1-3.fc40

3

tzdata-java

2024b-1.fc40

2025a-1.fc40

3

openldap

2.6.8-1.fc40

2.6.8-2.fc40

3

krb5-libs

1.21.3-2.fc40

1.21.3-3.fc40

3

glibc-devel

2.39-33.fc40

2.39-37.fc40

3

flexiblas-openblas-openmp

3.4.4-5.fc40

3.4.5-1.fc40

4

cmake-filesystem

3.30.5-1.fc40

3.30.7-1.fc40

4

flexiblas

3.4.4-5.fc40

3.4.5-1.fc40

4

hwdata

0.391-1.fc40

0.392-1.fc40

B

show 11 more collapse

State overview

Groups

This package is not part of any global group.

Historical builds