coq

Package information

State
ok

Scheduler parameters

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

git-core
2.47.0-1.fc40
2.47.1-1.fc40
1
pyproject-rpm-macros
1.16.0-1.fc40
1.16.3-1.fc40
2
libxcrypt
4.4.36-10.fc40
4.4.36-11.fc40
3
rpm-sequoia
1.7.0-1.fc40
1.7.0-3.fc40
3
pyproject-srpm-macros
1.16.0-1.fc40
1.16.3-1.fc40
3
cups-libs
1:2.4.11-3.fc40
1:2.4.11-8.fc40
3
alsa-lib
1.2.12-1.fc40
1.2.13-3.fc40
3
binutils
2.41-37.fc40
2.41-38.fc40
3
elfutils-libelf
0.192-6.fc40
0.192-7.fc40
4
cups-filesystem
1:2.4.11-3.fc40
1:2.4.11-8.fc40
4
pam-libs
1.6.1-4.fc40
1.6.1-5.fc40
4
binutils-gold
2.41-37.fc40
2.41-38.fc40
4
elfutils-debuginfod-client
0.192-6.fc40
0.192-7.fc40
4
systemd-libs
255.14-1.fc40
255.15-1.fc40
4
pam
1.6.1-4.fc40
1.6.1-5.fc40
4
libxcrypt-devel
4.4.36-10.fc40
4.4.36-11.fc40
4
elfutils
0.192-6.fc40
0.192-7.fc40
4
elfutils-libs
0.192-6.fc40
0.192-7.fc40
B
elfutils-default-yama-scope
0.192-6.fc40
0.192-7.fc40
B
libsoup3
3.4.4-3.fc40
3.4.4-5.fc40
B
hwdata
0.389-1.fc40
0.390-1.fc40
B

Groups

This package is not part of any global group.

Most recent builds

complete
2024-11-26 07:40:13
pyproject-rpm-macros
1.15.1-1.fc40
1.16.0-1.fc40
2
libxcrypt
4.4.36-5.fc40
4.4.36-10.fc40
3
krb5-libs
1.21.3-1.fc40
1.21.3-2.fc40
3
cups-libs
1:2.4.11-1.fc40
1:2.4.11-3.fc40
3
coreutils
9.4-8.fc40
9.4-9.fc40
3
pyproject-srpm-macros
1.15.1-1.fc40
1.16.0-1.fc40
3
nss
3.105.0-1.fc40
3.106.0-1.fc40
3
libtirpc
1.3.6-0.fc40
1.3.6-1.fc40
3
elfutils-debuginfod-client
0.191-4.fc40
0.192-6.fc40
4
libxcrypt-devel
4.4.36-5.fc40
4.4.36-10.fc40
4
nspr
4.35.0-30.fc40
4.36.0-1.fc40
4
pam
1.6.1-3.fc40
1.6.1-4.fc40
4
cmake-filesystem
3.28.2-1.fc40
3.30.5-1.fc40
4
cups-filesystem
1:2.4.11-3.fc40
4
systemd-libs
255.13-1.fc40
255.14-1.fc40
4
pam-libs
1.6.1-3.fc40
1.6.1-4.fc40
4
elfutils-libelf
0.191-4.fc40
0.192-6.fc40
4
coreutils-common
9.4-8.fc40
9.4-9.fc40
4
nss-util
3.105.0-1.fc40
3.106.0-1.fc40
4
gdb-minimal
15.2-1.fc40
15.2-3.fc40
4
nss-sysinit
3.105.0-1.fc40
3.106.0-1.fc40
4
elfutils
0.191-4.fc40
0.192-6.fc40
4
nss-softokn
3.105.0-1.fc40
3.106.0-1.fc40
4
libusb1
1.0.27-2.fc40
1.0.27-4.fc40
B
nss-softokn-freebl
3.105.0-1.fc40
3.106.0-1.fc40
B
fedora-release
40-39
40-40
B
elfutils-default-yama-scope
0.191-4.fc40
0.192-6.fc40
B
elfutils-libs
0.191-4.fc40
0.192-6.fc40
B
libxshmfence
1.3.2-3.fc40
1.3.2-5.fc40
B
hwdata
0.388-1.fc40
0.389-1.fc40
B
fedora-release-common
40-39
40-40
B
json-c
0.17-3.fc40
B
libtiff-devel
4.6.0-2.fc40
4.6.0-5.fc40.1
B
fedora-release-identity-basic
40-39
40-40
B
libtiff
4.6.0-2.fc40
4.6.0-5.fc40.1
B
complete
2024-10-23 15:00:43
python3-devel
3.12.6-1.fc40
3.12.7-1.fc40
1
libarchive
3.7.2-4.fc40
3.7.2-7.fc40
2
python3-libs
3.12.6-1.fc40
3.12.7-1.fc40
2
java-21-openjdk-headless
1:21.0.4.0.7-2.fc40
1:21.0.5.0.11-1.fc40
2
python3
3.12.6-1.fc40
3.12.7-1.fc40
2
pyproject-rpm-macros
1.15.0-1.fc40
1.15.1-1.fc40
2
cups-libs
1:2.4.10-7.fc40
1:2.4.11-1.fc40
3
pyproject-srpm-macros
1.15.0-1.fc40
1.15.1-1.fc40
3
crypto-policies
20240725-1.git28d3e2d....
20241011-1.git5930b9a....
3
dwz
0.15-6.fc40
0.15-8.fc40
3
nss
3.104.0-1.fc40
3.105.0-1.fc40
3
libtirpc
1.3.5-0.fc40
1.3.6-0.fc40
3
systemd-libs
255.12-1.fc40
255.13-1.fc40
4
authselect-libs
1.5.0-5.fc40
1.5.0-6.fc40
4
nss-util
3.104.0-1.fc40
3.105.0-1.fc40
4
debugedit
5.0-14.fc40
5.0-18.fc40
4
crypto-policies-scripts
20240725-1.git28d3e2d....
20241011-1.git5930b9a....
4
gdb-minimal
15.1-1.fc40
15.2-1.fc40
4
kernel-headers
6.10.3-200.fc40
6.11.3-200.fc40
4
nspr
4.35.0-29.fc40
4.35.0-30.fc40
4
nss-sysinit
3.104.0-1.fc40
3.105.0-1.fc40
4
nss-softokn
3.104.0-1.fc40
3.105.0-1.fc40
4
shadow-utils
2:4.15.1-3.fc40
2:4.15.1-4.fc40
B
authselect
1.5.0-5.fc40
1.5.0-6.fc40
B
nss-softokn-freebl
3.104.0-1.fc40
3.105.0-1.fc40
B
complete
2024-10-13 07:38:06
git-core
2.46.1-1.fc40
2.47.0-1.fc40
1
pyproject-rpm-macros
1.13.0-1.fc40
1.15.0-1.fc40
2
libuuid
2.40.1-1.fc40
2.40.2-1.fc40
2
xxhash-libs
0.8.2-2.fc40
0.8.2-4.fc40
2
pyproject-srpm-macros
1.13.0-1.fc40
1.15.0-1.fc40
3
python-pip-wheel
23.3.2-1.fc40
23.3.2-2.fc40
3
util-linux
2.40.1-1.fc40
2.40.2-1.fc40
3
ca-certificates
2023.2.62_v7.0.401-6.fc40
2024.2.69_v8.0.401-1.0.fc40
3
libmount
2.40.1-1.fc40
2.40.2-1.fc40
3
coreutils
9.4-7.fc40
9.4-8.fc40
3
cups-libs
1:2.4.10-6.fc40
1:2.4.10-7.fc40
3
ansible-srpm-macros
1-14.fc40
1-16.fc40
3
libselinux
3.6-4.fc40
3.7-5.fc40
3
libxcb-devel
1.17.0-1.fc40
1.17.0-2.fc40
3
ghc-srpm-macros
1.9-1.fc40
1.9.1-1.fc40
3
libselinux-devel
3.6-4.fc40
3.7-5.fc40
4
libfdisk
2.40.1-1.fc40
2.40.2-1.fc40
4
libblkid
2.40.1-1.fc40
2.40.2-1.fc40
4
coreutils-common
9.4-7.fc40
9.4-8.fc40
4
libmount-devel
2.40.1-1.fc40
2.40.2-1.fc40
4
libxcb
1.17.0-1.fc40
1.17.0-2.fc40
4
libsepol
3.6-3.fc40
3.7-2.fc40
4
util-linux-core
2.40.1-1.fc40
2.40.2-1.fc40
4
libsmartcols
2.40.1-1.fc40
2.40.2-1.fc40
4
libblkid-devel
2.40.1-1.fc40
2.40.2-1.fc40
B
hwdata
0.387-1.fc40
0.388-1.fc40
B
libsemanage
3.6-3.fc40
3.7-2.fc40
B
libsepol-devel
3.6-3.fc40
3.7-2.fc40
B
complete
2024-09-20 04:41:32
git-core
2.46.0-1.fc40
2.46.1-1.fc40
1
python3-devel
3.12.5-2.fc40
3.12.6-1.fc40
1
libgcc
14.2.1-1.fc40
14.2.1-3.fc40
2
expat
2.6.2-1.fc40
2.6.3-1.fc40
2
python3-libs
3.12.5-2.fc40
3.12.6-1.fc40
2
zlib-ng-compat
2.1.7-1.fc40
2.1.7-2.fc40
2
python3
3.12.5-2.fc40
3.12.6-1.fc40
2
gcc
14.2.1-1.fc40
14.2.1-3.fc40
2
libgomp
14.2.1-1.fc40
14.2.1-3.fc40
3
cpp
14.2.1-1.fc40
14.2.1-3.fc40
3
nss
3.103.0-1.fc40
3.104.0-1.fc40
3
zlib-ng-compat-devel
2.1.7-1.fc40
2.1.7-2.fc40
3
gcc-plugin-annobin
14.2.1-1.fc40
14.2.1-3.fc40
3
qt5-srpm-macros
5.15.14-2.fc40
5.15.15-1.fc40
3
libstdc++
14.2.1-1.fc40
14.2.1-3.fc40
4
libquadmath
14.2.1-1.fc40
14.2.1-3.fc40
4
nss-util
3.103.0-1.fc40
3.104.0-1.fc40
4
libgfortran
14.2.1-1.fc40
14.2.1-3.fc40
4
libXi-devel
1.8.1-5.fc40
1.8.2-1.fc40
4
nss-softokn
3.103.0-1.fc40
3.104.0-1.fc40
4
nspr
4.35.0-28.fc40
4.35.0-29.fc40
4
nss-sysinit
3.103.0-1.fc40
3.104.0-1.fc40
4
libXi
1.8.1-5.fc40
1.8.2-1.fc40
4
gdb-minimal
14.2-3.fc40
15.1-1.fc40
4
systemd-libs
255.10-3.fc40
255.12-1.fc40
4
nss-softokn-freebl
3.103.0-1.fc40
3.104.0-1.fc40
B
mesa-libglapi
24.1.6-1.fc40
24.1.7-1.fc40
B
mesa-libgbm
24.1.6-1.fc40
24.1.7-1.fc40
B
mesa-libEGL
24.1.6-1.fc40
24.1.7-1.fc40
B
mesa-libGL
24.1.6-1.fc40
24.1.7-1.fc40
B
hwdata
0.385-1.fc40
0.387-1.fc40
B
complete
2024-09-03 02:11:13
python3-devel
3.12.4-1.fc40
3.12.5-2.fc40
1
pkgconf-pkg-config
2.1.1-1.fc40
2.1.1-2.fc40
2
python3-libs
3.12.4-1.fc40
3.12.5-2.fc40
2
openssl-libs
1:3.2.1-2.fc40
1:3.2.2-3.fc40
2
python3
3.12.4-1.fc40
3.12.5-2.fc40
2
less
643-4.fc40
643-6.fc40
2
cups-libs
1:2.4.10-3.fc40
1:2.4.10-6.fc40
3
libX11-devel
1.8.10-1.fc40
1.8.10-2.fc40
3
pkgconf-m4
2.1.1-1.fc40
2.1.1-2.fc40
3
pkgconf
2.1.1-1.fc40
2.1.1-2.fc40
3
libX11-xcb
1.8.10-1.fc40
1.8.10-2.fc40
4
libpkgconf
2.1.1-1.fc40
2.1.1-2.fc40
4
libX11
1.8.10-1.fc40
1.8.10-2.fc40
4
mesa-libglapi
24.1.5-2.fc40
24.1.6-1.fc40
B
mesa-libGL
24.1.5-2.fc40
24.1.6-1.fc40
B
libX11-common
1.8.10-1.fc40
1.8.10-2.fc40
B
mesa-libEGL
24.1.5-2.fc40
24.1.6-1.fc40
B
libdrm
2.4.122-1.fc40
2.4.123-1.fc40
B
mesa-libgbm
24.1.5-2.fc40
24.1.6-1.fc40
B
complete
2024-08-13 08:26:33
git-core
2.45.2-2.fc40
2.46.0-1.fc40
1
nss
3.101.0-1.fc40
3.103.0-1.fc40
3
libedit
3.1-51.20240517cv...
3.1-53.20240808cv...
3
forge-srpm-macros
0.3.1-1.fc40
0.3.2-1.fc40
3
libwayland-egl
1.22.0-3.fc40
1.23.0-2.fc40
4
kernel-headers
6.9.4-200.fc40
6.10.3-200.fc40
4
wayland-devel
1.22.0-3.fc40
1.23.0-2.fc40
4
nss-util
3.101.0-1.fc40
3.103.0-1.fc40
4
nss-softokn
3.101.0-1.fc40
3.103.0-1.fc40
4
systemd-libs
255.10-1.fc40
255.10-3.fc40
4
audit-libs
4.0.1-1.fc40
4.0.2-1.fc40
4
libwayland-cursor
1.22.0-3.fc40
1.23.0-2.fc40
4
nss-sysinit
3.101.0-1.fc40
3.103.0-1.fc40
4
nspr
4.35.0-24.fc40
4.35.0-28.fc40
4
gettext
0.22.5-2.fc40
0.22.5-4.fc40
4
libwayland-client
1.22.0-3.fc40
1.23.0-2.fc40
4
gettext-envsubst
0.22.5-2.fc40
0.22.5-4.fc40
B
libwayland-server
1.22.0-3.fc40
1.23.0-2.fc40
B
nss-softokn-freebl
3.101.0-1.fc40
3.103.0-1.fc40
B
hwdata
0.383-1.fc40
0.385-1.fc40
B
gettext-runtime
0.22.5-2.fc40
0.22.5-4.fc40
B
gettext-libs
0.22.5-2.fc40
0.22.5-4.fc40
B
libtextstyle
0.22.5-4.fc40
B
complete
2024-08-07 12:44:46
gcc
14.1.1-7.fc40
14.2.1-1.fc40
2
libcurl
8.6.0-8.fc40
8.6.0-10.fc40
2
glibc
2.39-17.fc40
2.39-22.fc40
2
libgcc
14.1.1-7.fc40
14.2.1-1.fc40
2
gcc-plugin-annobin
14.1.1-7.fc40
14.2.1-1.fc40
3
glibc-common
2.39-17.fc40
2.39-22.fc40
3
libX11-devel
1.8.9-1.fc40
1.8.10-1.fc40
3
cpp
14.1.1-7.fc40
14.2.1-1.fc40
3
libgomp
14.1.1-7.fc40
14.2.1-1.fc40
3
crypto-policies
20240510-1.gitd287a42....
20240725-1.git28d3e2d....
3
glibc-devel
2.39-17.fc40
2.39-22.fc40
3
glibc-minimal-langpack
2.39-17.fc40
2.39-22.fc40
3
glibc-gconv-extra
2.39-17.fc40
2.39-22.fc40
3
libX11
1.8.9-1.fc40
1.8.10-1.fc40
4
curl
8.6.0-8.fc40
8.6.0-10.fc40
4
glibc-headers-x86
2.39-17.fc40
2.39-22.fc40
4
libX11-xcb
1.8.9-1.fc40
1.8.10-1.fc40
4
crypto-policies-scripts
20240510-1.gitd287a42....
20240725-1.git28d3e2d....
4
libstdc++
14.1.1-7.fc40
14.2.1-1.fc40
4
libgfortran
14.1.1-7.fc40
14.2.1-1.fc40
4
libquadmath
14.1.1-7.fc40
14.2.1-1.fc40
4
mesa-libEGL
24.1.4-3.fc40
24.1.5-2.fc40
B
mesa-libgbm
24.1.4-3.fc40
24.1.5-2.fc40
B
mesa-libGL
24.1.4-3.fc40
24.1.5-2.fc40
B
libXtst-devel
1.2.4-6.fc40
1.2.5-1.fc40
B
mesa-libglapi
24.1.4-3.fc40
24.1.5-2.fc40
B
libX11-common
1.8.9-1.fc40
1.8.10-1.fc40
B
libXtst
1.2.4-6.fc40
1.2.5-1.fc40
B
complete
2024-07-28 19:32:19
emacs-filesystem
1:29.4-5.fc40
1:29.4-9.fc40
2
redhat-rpm-config
286-1.fc40
288-1.fc40
2
java-21-openjdk-headless
1:21.0.3.0.9-1.fc40
1:21.0.4.0.7-2.fc40
2
cups-libs
1:2.4.10-1.fc40
1:2.4.10-3.fc40
3
rpm-sequoia
1.6.0-3.fc40
1.7.0-1.fc40
3
qt5-srpm-macros
5.15.14-1.fc40
5.15.14-2.fc40
3
gtk3-devel
3.24.42-2.fc40
3.24.43-1.fc40
3
libtirpc
1.3.4-1.rc3.fc40
1.3.5-0.fc40
3
coreutils
9.4-6.fc40
9.4-7.fc40
3
qt6-srpm-macros
6.7.2-1.fc40
6.7.2-2.fc40
3
gtk3
3.24.42-2.fc40
3.24.43-1.fc40
3
systemd-libs
255.8-1.fc40
255.10-1.fc40
4
coreutils-common
9.4-6.fc40
9.4-7.fc40
4
harfbuzz-devel
8.4.0-1.fc40
8.5.0-1.fc40
4
harfbuzz
8.4.0-1.fc40
8.5.0-1.fc40
4
gtk-update-icon-cache
3.24.42-2.fc40
3.24.43-1.fc40
4
mesa-libgbm
24.1.2-8.fc40
24.1.4-3.fc40
B
mesa-libGL
24.1.2-8.fc40
24.1.4-3.fc40
B
mesa-libEGL
24.1.2-8.fc40
24.1.4-3.fc40
B
libdrm
2.4.121-1.fc40
2.4.122-1.fc40
B
harfbuzz-icu
8.4.0-1.fc40
8.5.0-1.fc40
B
mesa-libglapi
24.1.2-8.fc40
24.1.4-3.fc40
B
Previous history