coq

Package information

State
ok

Scheduler parameters

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

No dependency changes

Groups

This package is not part of any global group.

Historical builds

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
gcc
14.2.1-1.fc40
14.2.1-3.fc40
2
python3
3.12.5-2.fc40
3.12.6-1.fc40
2
python3-libs
3.12.5-2.fc40
3.12.6-1.fc40
2
expat
2.6.2-1.fc40
2.6.3-1.fc40
2
libgcc
14.2.1-1.fc40
14.2.1-3.fc40
2
zlib-ng-compat
2.1.7-1.fc40
2.1.7-2.fc40
2
gcc-plugin-annobin
14.2.1-1.fc40
14.2.1-3.fc40
3
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
qt5-srpm-macros
5.15.14-2.fc40
5.15.15-1.fc40
3
nss-sysinit
3.103.0-1.fc40
3.104.0-1.fc40
4
libXi-devel
1.8.1-5.fc40
1.8.2-1.fc40
4
libgfortran
14.2.1-1.fc40
14.2.1-3.fc40
4
nss-util
3.103.0-1.fc40
3.104.0-1.fc40
4
libstdc++
14.2.1-1.fc40
14.2.1-3.fc40
4
gdb-minimal
14.2-3.fc40
15.1-1.fc40
4
systemd-libs
255.10-3.fc40
255.12-1.fc40
4
nspr
4.35.0-28.fc40
4.35.0-29.fc40
4
nss-softokn
3.103.0-1.fc40
3.104.0-1.fc40
4
libquadmath
14.2.1-1.fc40
14.2.1-3.fc40
4
libXi
1.8.1-5.fc40
1.8.2-1.fc40
4
mesa-libglapi
24.1.6-1.fc40
24.1.7-1.fc40
B
hwdata
0.385-1.fc40
0.387-1.fc40
B
mesa-libGL
24.1.6-1.fc40
24.1.7-1.fc40
B
nss-softokn-freebl
3.103.0-1.fc40
3.104.0-1.fc40
B
mesa-libEGL
24.1.6-1.fc40
24.1.7-1.fc40
B
mesa-libgbm
24.1.6-1.fc40
24.1.7-1.fc40
B
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
python3
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-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
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
libpkgconf
2.1.1-1.fc40
2.1.1-2.fc40
4
libX11-xcb
1.8.10-1.fc40
1.8.10-2.fc40
4
libX11
1.8.10-1.fc40
1.8.10-2.fc40
4
libdrm
2.4.122-1.fc40
2.4.123-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
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
mesa-libglapi
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
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
wayland-devel
1.22.0-3.fc40
1.23.0-2.fc40
4
libwayland-client
1.22.0-3.fc40
1.23.0-2.fc40
4
kernel-headers
6.9.4-200.fc40
6.10.3-200.fc40
4
libwayland-egl
1.22.0-3.fc40
1.23.0-2.fc40
4
libtextstyle
0.22.5-4.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-envsubst
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-libs
0.22.5-2.fc40
0.22.5-4.fc40
B
libwayland-server
1.22.0-3.fc40
1.23.0-2.fc40
B
complete
2024-08-07 12:44:46
libgcc
14.1.1-7.fc40
14.2.1-1.fc40
2
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
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-xcb
1.8.9-1.fc40
1.8.10-1.fc40
4
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
mesa-libgbm
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-libEGL
24.1.4-3.fc40
24.1.5-2.fc40
B
mesa-libglapi
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-libGL
24.1.4-3.fc40
24.1.5-2.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
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
libdrm
2.4.121-1.fc40
2.4.122-1.fc40
B
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
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
mesa-libEGL
24.1.2-8.fc40
24.1.4-3.fc40
B
complete
2024-07-13 16:36:46
glibc
2.39-15.fc40
2.39-17.fc40
2
pyproject-rpm-macros
1.12.2-1.fc40
1.13.0-1.fc40
2
emacs-filesystem
1:29.4-3.fc40
1:29.4-5.fc40
2
krb5-libs
1.21.2-5.fc40
1.21.3-1.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
gnutls
3.8.5-1.fc40
3.8.6-1.fc40
3
pyproject-srpm-macros
1.12.2-1.fc40
1.13.0-1.fc40
3
glibc-devel
2.39-15.fc40
2.39-17.fc40
3
glibc-common
2.39-15.fc40
2.39-17.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-libEGL
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-libGL
24.1.2-7.fc40
24.1.2-8.fc40
B
mesa-libgbm
24.1.2-7.fc40
24.1.2-8.fc40
B
complete
2024-07-05 00:51:50
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
python3-antlr4-runtime
4.10.1-14.fc40
4.10.1-15.fc40
1
openssh-clients
9.6p1-1.fc40.2
9.6p1-1.fc40.4
2
antlr4-runtime
4.10.1-14.fc40
4.10.1-15.fc40
2
pkgconf-pkg-config
2.1.0-1.fc40
2.1.1-1.fc40
2
libgcc
14.1.1-6.fc40
14.1.1-7.fc40
2
python-rpm-macros
3.12-7.fc40
3.12-8.fc40
2
pyproject-rpm-macros
1.12.0-1.fc40
1.12.2-1.fc40
2
gcc
14.1.1-6.fc40
14.1.1-7.fc40
2
python3-libs
3.12.3-2.fc40
3.12.4-1.fc40
2
python3-rpm-macros
3.12-7.fc40
3.12-8.fc40
2
python3
3.12.3-2.fc40
3.12.4-1.fc40
2
pcre2
10.42-2.fc40.2
10.44-1.fc40
2
zlib-ng-compat
2.1.6-5.fc40
2.1.7-1.fc40
2
pkgconf-m4
2.1.0-1.fc40
2.1.1-1.fc40
3
python-srpm-macros
3.12-7.fc40
3.12-8.fc40
3
cups-libs
1:2.4.8-3.fc40
1:2.4.10-1.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
pyproject-srpm-macros
1.12.0-1.fc40
1.12.2-1.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
gcc-plugin-annobin
14.1.1-6.fc40
14.1.1-7.fc40
3
libgomp
14.1.1-6.fc40
14.1.1-7.fc40
3
annobin-plugin-gcc
12.57-1.fc40
12.60-1.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
pcre2-utf32
10.42-2.fc40.2
10.44-1.fc40
B
mesa-libglapi
24.1.2-2.fc40
24.1.2-7.fc40
B
mesa-libgbm
24.1.2-2.fc40
24.1.2-7.fc40
B
pcre2-utf16
10.42-2.fc40.2
10.44-1.fc40
B
mesa-libEGL
24.1.2-2.fc40
24.1.2-7.fc40
B
mesa-libGL
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
annobin-plugin-gcc
12.51-1.fc40
12.57-1.fc40
3
gcc-plugin-annobin
14.1.1-5.fc40
14.1.1-6.fc40
3
glib2-devel
2.80.2-1.fc40
2.80.3-1.fc40
3
cpp
14.1.1-5.fc40
14.1.1-6.fc40
3
pango
1.52.2-1.fc40
1.54.0-1.fc40
3
libgomp
14.1.1-5.fc40
14.1.1-6.fc40
3
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
libquadmath
14.1.1-5.fc40
14.1.1-6.fc40
4
fribidi
1.0.13-4.fc40
1.0.14-2.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
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-libEGL
24.1.1-5.fc40
24.1.2-2.fc40
B
mesa-libgbm
24.1.1-5.fc40
24.1.2-2.fc40
B
Previous history