coq

Package information

State
ok

Scheduler parameters

Tracked by Koschei
True
Current priority
1492
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

java-21-openjdk
1:21.0.6.0.7-6.fc42
1:21.0.6.0.7-7.fc43
1
java-21-openjdk-headless
1:21.0.6.0.7-6.fc42
1:21.0.6.0.7-7.fc43
2
libarchive
3.7.7-2.fc42
3.7.7-2.fc43
2
libuuid
2.40.4-6.fc43
2.40.4-7.fc43
2
libmount
2.40.4-6.fc43
2.40.4-7.fc43
3
util-linux
2.40.4-6.fc43
2.40.4-7.fc43
3
libsmartcols
2.40.4-6.fc43
2.40.4-7.fc43
4
libblkid
2.40.4-6.fc43
2.40.4-7.fc43
4
libmount-devel
2.40.4-6.fc43
2.40.4-7.fc43
4
cmake-filesystem
3.31.5-1.fc42
3.31.6-1.fc43
4
util-linux-core
2.40.4-6.fc43
2.40.4-7.fc43
4
libfdisk
2.40.4-6.fc43
2.40.4-7.fc43
4
kernel-headers
6.14.0-0.rc3.29.fc43
6.14.0-0.rc4.36.fc43
4
libblkid-devel
2.40.4-6.fc43
2.40.4-7.fc43
B

Groups

This package is not part of any global group.

Historical builds