coq

Package information

State
failing

Scheduler parameters

Tracked by Koschei
True
Current priority
1052
Manual priority
0
Static priority
0
Arch override
None
Skip resolution
False

Configure scheduling

Tracked by Koschei
Manual priority
Skip resolution
Arch override
Cancel

Dependency changes since last build

glibc
2.40.9000-20.fc42
2.40.9000-21.fc42
2
glibc-gconv-extra
2.40.9000-20.fc42
2.40.9000-21.fc42
3
glibc-common
2.40.9000-20.fc42
2.40.9000-21.fc42
3
glibc-minimal-langpack
2.40.9000-20.fc42
2.40.9000-21.fc42
3
glibc-devel
2.40.9000-20.fc42
2.40.9000-21.fc42
3
ca-certificates
2024.2.69_v8.0.401-2.fc42
2024.2.69_v8.0.401-3.fc42
3
mesa-libgbm
24.3.0-1.fc42
24.3.0-2.fc42
B
mesa-libEGL
24.3.0-1.fc42
24.3.0-2.fc42
B
mesa-libGL
24.3.0-1.fc42
24.3.0-2.fc42
B
mesa-filesystem
24.3.0-1.fc42
24.3.0-2.fc42
B
mesa-libglapi
24.3.0-1.fc42
24.3.0-2.fc42
B
mesa-dri-drivers
24.3.0-1.fc42
24.3.0-2.fc42
B

Groups

This package is not part of any global group.

Historical builds