coq

Package information

State
ok

Scheduler parameters

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

gdb-minimal
14.2-3.fc40
15.1-1.fc40
4
mesa-libGL
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
hwdata
0.385-1.fc40
0.387-1.fc40
B
mesa-libglapi
24.1.6-1.fc40
24.1.7-1.fc40
B

Groups

This package is not part of any global group.

Most recent builds

complete
2024-09-03 02:11:13
python3-devel
3.12.4-1.fc40
3.12.5-2.fc40
1
less
643-4.fc40
643-6.fc40
2
openssl-libs
1:3.2.1-2.fc40
1:3.2.2-3.fc40
2
python3-libs
3.12.4-1.fc40
3.12.5-2.fc40
2
pkgconf-pkg-config
2.1.1-1.fc40
2.1.1-2.fc40
2
python3
3.12.4-1.fc40
3.12.5-2.fc40
2
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-devel
1.8.10-1.fc40
1.8.10-2.fc40
3
cups-libs
1:2.4.10-3.fc40
1:2.4.10-6.fc40
3
libpkgconf
2.1.1-1.fc40
2.1.1-2.fc40
4
libX11
1.8.10-1.fc40
1.8.10-2.fc40
4
libX11-xcb
1.8.10-1.fc40
1.8.10-2.fc40
4
mesa-libgbm
24.1.5-2.fc40
24.1.6-1.fc40
B
mesa-libGL
24.1.5-2.fc40
24.1.6-1.fc40
B
libdrm
2.4.122-1.fc40
2.4.123-1.fc40
B
mesa-libglapi
24.1.5-2.fc40
24.1.6-1.fc40
B
mesa-libEGL
24.1.5-2.fc40
24.1.6-1.fc40
B
libX11-common
1.8.10-1.fc40
1.8.10-2.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
libtextstyle
0.22.5-4.fc40
B
gettext-libs
0.22.5-2.fc40
0.22.5-4.fc40
B
gettext-runtime
0.22.5-2.fc40
0.22.5-4.fc40
B
gettext-envsubst
0.22.5-2.fc40
0.22.5-4.fc40
B
hwdata
0.383-1.fc40
0.385-1.fc40
B
nss-softokn-freebl
3.101.0-1.fc40
3.103.0-1.fc40
B
libwayland-server
1.22.0-3.fc40
1.23.0-2.fc40
B
complete
2024-08-07 12:44:46
gcc
14.1.1-7.fc40
14.2.1-1.fc40
2
libgcc
14.1.1-7.fc40
14.2.1-1.fc40
2
glibc
2.39-17.fc40
2.39-22.fc40
2
libcurl
8.6.0-8.fc40
8.6.0-10.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
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
libX11-xcb
1.8.9-1.fc40
1.8.10-1.fc40
4
mesa-libgbm
24.1.4-3.fc40
24.1.5-2.fc40
B
mesa-libEGL
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
1.2.4-6.fc40
1.2.5-1.fc40
B
libX11-common
1.8.9-1.fc40
1.8.10-1.fc40
B
mesa-libglapi
24.1.4-3.fc40
24.1.5-2.fc40
B
libXtst-devel
1.2.4-6.fc40
1.2.5-1.fc40
B
complete
2024-07-28 19:32:19
java-21-openjdk-headless
1:21.0.3.0.9-1.fc40
1:21.0.4.0.7-2.fc40
2
redhat-rpm-config
286-1.fc40
288-1.fc40
2
emacs-filesystem
1:29.4-5.fc40
1:29.4-9.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
gtk-update-icon-cache
3.24.42-2.fc40
3.24.43-1.fc40
4
systemd-libs
255.8-1.fc40
255.10-1.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
coreutils-common
9.4-6.fc40
9.4-7.fc40
4
mesa-libgbm
24.1.2-8.fc40
24.1.4-3.fc40
B
libdrm
2.4.121-1.fc40
2.4.122-1.fc40
B
mesa-libEGL
24.1.2-8.fc40
24.1.4-3.fc40
B
mesa-libglapi
24.1.2-8.fc40
24.1.4-3.fc40
B
harfbuzz-icu
8.4.0-1.fc40
8.5.0-1.fc40
B
mesa-libGL
24.1.2-8.fc40
24.1.4-3.fc40
B
complete
2024-07-13 16:36:46
pyproject-rpm-macros
1.12.2-1.fc40
1.13.0-1.fc40
2
glibc
2.39-15.fc40
2.39-17.fc40
2
emacs-filesystem
1:29.4-3.fc40
1:29.4-5.fc40
2
gnutls
3.8.5-1.fc40
3.8.6-1.fc40
3
krb5-libs
1.21.2-5.fc40
1.21.3-1.fc40
3
glibc-common
2.39-15.fc40
2.39-17.fc40
3
qt6-srpm-macros
6.7.1-1.fc40
6.7.2-1.fc40
3
glibc-gconv-extra
2.39-15.fc40
2.39-17.fc40
3
glibc-devel
2.39-15.fc40
2.39-17.fc40
3
pyproject-srpm-macros
1.12.2-1.fc40
1.13.0-1.fc40
3
glibc-minimal-langpack
2.39-15.fc40
2.39-17.fc40
3
glibc-headers-x86
2.39-15.fc40
2.39-17.fc40
4
p11-kit
0.25.3-4.fc40
0.25.5-1.fc40
4
p11-kit-trust
0.25.3-4.fc40
0.25.5-1.fc40
4
gdb-minimal
14.2-2.fc40
14.2-3.fc40
4
mesa-libgbm
24.1.2-7.fc40
24.1.2-8.fc40
B
mesa-libGL
24.1.2-7.fc40
24.1.2-8.fc40
B
mesa-libglapi
24.1.2-7.fc40
24.1.2-8.fc40
B
mesa-libEGL
24.1.2-7.fc40
24.1.2-8.fc40
B
complete
2024-07-05 00:51:50
python3-antlr4-runtime
4.10.1-14.fc40
4.10.1-15.fc40
1
python3-devel
3.12.3-2.fc40
3.12.4-1.fc40
1
antlr4
4.10.1-14.fc40
4.10.1-15.fc40
1
openssh-clients
9.6p1-1.fc40.2
9.6p1-1.fc40.4
2
python3
3.12.3-2.fc40
3.12.4-1.fc40
2
zlib-ng-compat
2.1.6-5.fc40
2.1.7-1.fc40
2
python3-rpm-macros
3.12-7.fc40
3.12-8.fc40
2
python3-libs
3.12.3-2.fc40
3.12.4-1.fc40
2
gcc
14.1.1-6.fc40
14.1.1-7.fc40
2
pyproject-rpm-macros
1.12.0-1.fc40
1.12.2-1.fc40
2
python-rpm-macros
3.12-7.fc40
3.12-8.fc40
2
libgcc
14.1.1-6.fc40
14.1.1-7.fc40
2
pkgconf-pkg-config
2.1.0-1.fc40
2.1.1-1.fc40
2
antlr4-runtime
4.10.1-14.fc40
4.10.1-15.fc40
2
pcre2
10.42-2.fc40.2
10.44-1.fc40
2
annobin-plugin-gcc
12.57-1.fc40
12.60-1.fc40
3
libgomp
14.1.1-6.fc40
14.1.1-7.fc40
3
cups-libs
1:2.4.8-3.fc40
1:2.4.10-1.fc40
3
python-srpm-macros
3.12-7.fc40
3.12-8.fc40
3
pcre2-syntax
10.42-2.fc40.2
10.44-1.fc40
3
pkgconf
2.1.0-1.fc40
2.1.1-1.fc40
3
openssh
9.6p1-1.fc40.2
9.6p1-1.fc40.4
3
zlib-ng-compat-devel
2.1.6-5.fc40
2.1.7-1.fc40
3
pkgconf-m4
2.1.0-1.fc40
2.1.1-1.fc40
3
pyproject-srpm-macros
1.12.0-1.fc40
1.12.2-1.fc40
3
gcc-plugin-annobin
14.1.1-6.fc40
14.1.1-7.fc40
3
findutils
1:4.9.0-8.fc40
1:4.9.0-9.fc40
3
cpp
14.1.1-6.fc40
14.1.1-7.fc40
3
libquadmath
14.1.1-6.fc40
14.1.1-7.fc40
4
libstdc++
14.1.1-6.fc40
14.1.1-7.fc40
4
annobin-docs
12.57-1.fc40
12.60-1.fc40
4
systemd-libs
255.7-1.fc40
255.8-1.fc40
4
libgfortran
14.1.1-6.fc40
14.1.1-7.fc40
4
libpkgconf
2.1.0-1.fc40
2.1.1-1.fc40
4
pcre2-devel
10.42-2.fc40.2
10.44-1.fc40
4
mesa-libEGL
24.1.2-2.fc40
24.1.2-7.fc40
B
pcre2-utf32
10.42-2.fc40.2
10.44-1.fc40
B
mesa-libGL
24.1.2-2.fc40
24.1.2-7.fc40
B
pcre2-utf16
10.42-2.fc40.2
10.44-1.fc40
B
mesa-libgbm
24.1.2-2.fc40
24.1.2-7.fc40
B
mesa-libglapi
24.1.2-2.fc40
24.1.2-7.fc40
B
complete
2024-06-29 13:26:34
gcc
14.1.1-5.fc40
14.1.1-6.fc40
2
emacs-filesystem
1:29.3-6.fc40
1:29.4-3.fc40
2
libgcc
14.1.1-5.fc40
14.1.1-6.fc40
2
glib2
2.80.2-1.fc40
2.80.3-1.fc40
2
gcc-plugin-annobin
14.1.1-5.fc40
14.1.1-6.fc40
3
libgomp
14.1.1-5.fc40
14.1.1-6.fc40
3
pango
1.52.2-1.fc40
1.54.0-1.fc40
3
cpp
14.1.1-5.fc40
14.1.1-6.fc40
3
annobin-plugin-gcc
12.51-1.fc40
12.57-1.fc40
3
glib2-devel
2.80.2-1.fc40
2.80.3-1.fc40
3
libquadmath
14.1.1-5.fc40
14.1.1-6.fc40
4
fribidi-devel
1.0.13-4.fc40
1.0.14-2.fc40
4
annobin-docs
12.51-1.fc40
12.57-1.fc40
4
libgfortran
14.1.1-5.fc40
14.1.1-6.fc40
4
pango-devel
1.52.2-1.fc40
1.54.0-1.fc40
4
libstdc++
14.1.1-5.fc40
14.1.1-6.fc40
4
fribidi
1.0.13-4.fc40
1.0.14-2.fc40
4
mesa-libglapi
24.1.1-5.fc40
24.1.2-2.fc40
B
mesa-libGL
24.1.1-5.fc40
24.1.2-2.fc40
B
mesa-libgbm
24.1.1-5.fc40
24.1.2-2.fc40
B
mesa-libEGL
24.1.1-5.fc40
24.1.2-2.fc40
B
complete
2024-06-17 05:27:07
libappstream-glib
0.8.2-6.fc40
0.8.3-1.fc40
1
glibc
2.39-13.fc40
2.39-15.fc40
2
gcc
14.1.1-4.fc40
14.1.1-5.fc40
2
libgcc
14.1.1-4.fc40
14.1.1-5.fc40
2
zlib-ng-compat
2.1.6-2.fc40
2.1.6-5.fc40
2
gcc-plugin-annobin
14.1.1-4.fc40
14.1.1-5.fc40
3
libxml2-devel
2.12.7-1.fc40
2.12.8-1.fc40
3
fontconfig-devel
2.15.0-4.fc40
2.15.0-6.fc40
3
alsa-lib
1.2.11-2.fc40
1.2.12-1.fc40
3
glibc-common
2.39-13.fc40
2.39-15.fc40
3
fontconfig
2.15.0-4.fc40
2.15.0-6.fc40
3
libgomp
14.1.1-4.fc40
14.1.1-5.fc40
3
glibc-devel
2.39-13.fc40
2.39-15.fc40
3
zlib-ng-compat-devel
2.1.6-2.fc40
2.1.6-5.fc40
3
cpp
14.1.1-4.fc40
14.1.1-5.fc40
3
nss
3.100.0-1.fc40
3.101.0-1.fc40
3
glibc-gconv-extra
2.39-13.fc40
2.39-15.fc40
3
glibc-minimal-langpack
2.39-13.fc40
2.39-15.fc40
3
libxml2
2.12.7-1.fc40
2.12.8-1.fc40
3
nspr
4.35.0-23.fc40
4.35.0-24.fc40
4
libgfortran
14.1.1-4.fc40
14.1.1-5.fc40
4
kernel-headers
6.8.3-300.fc40
6.9.4-200.fc40
4
libquadmath
14.1.1-4.fc40
14.1.1-5.fc40
4
nss-sysinit
3.100.0-1.fc40
3.101.0-1.fc40
4
nss-softokn
3.100.0-1.fc40
3.101.0-1.fc40
4
libstdc++
14.1.1-4.fc40
14.1.1-5.fc40
4
glibc-headers-x86
2.39-13.fc40
2.39-15.fc40
4
nss-util
3.100.0-1.fc40
3.101.0-1.fc40
4
mesa-libGL
24.0.8-1.fc40
24.1.1-5.fc40
B
nss-softokn-freebl
3.100.0-1.fc40
3.101.0-1.fc40
B
mesa-libglapi
24.0.8-1.fc40
24.1.1-5.fc40
B
mesa-libgbm
24.0.8-1.fc40
24.1.1-5.fc40
B
mesa-libEGL
24.0.8-1.fc40
24.1.1-5.fc40
B
Previous history