coq

Package information

State
ok

Scheduler parameters

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

Most recent builds

netpbm-progs
10.94.05-1.fc34
10.95.00-1.fc34
2
emacs-filesystem
1:27.2-3.fc34
1:27.2-4.fc34
2
libcurl
7.76.1-4.fc34
7.76.1-7.fc34
2
pari
2.13.2-1.fc34
2.13.2-2.fc34
3
fontconfig
2.13.93-6.fc34
2.13.94-2.fc34
3
vim-filesystem
2:8.2.3154-1.fc34
2:8.2.3223-1.fc34
3
fontconfig-devel
2.13.93-6.fc34
2.13.94-2.fc34
3
libidn2
2.3.1-1.fc34
2.3.2-1.fc34
3
netpbm
10.94.05-1.fc34
10.95.00-1.fc34
3
audit-libs
3.0.2-1.fc34
3.0.3-1.fc34
4
systemd-libs
248.4-1.fc34
248.6-1.fc34
4
kernel-headers
5.12.13-300.fc34
5.13.3-200.fc34
4
curl
7.76.1-4.fc34
7.76.1-7.fc34
4
systemd-pam
248.4-1.fc34
248.6-1.fc34
B
perl-HTTP-Message
6.30-1.fc34
6.33-1.fc34
B
dbus-broker
29-1.fc34
29-2.fc34
B
perl-libwww-perl
6.53-2.fc34
6.55-1.fc34
B
mesa-libglapi
21.1.4-1.fc34
21.1.5-1.fc34
B
mesa-libEGL
21.1.4-1.fc34
21.1.5-1.fc34
B
systemd-rpm-macros
248.4-1.fc34
248.6-1.fc34
B
libmetalink
0.1.3-14.fc34
openblas-openmp
0.3.15-1.fc34
0.3.17-1.fc34
B
systemd
248.4-1.fc34
248.6-1.fc34
B
mesa-libgbm
21.1.4-1.fc34
21.1.5-1.fc34
B
openblas
0.3.15-1.fc34
0.3.17-1.fc34
B
libibverbs
35.0-1.fc34
36.0-1.fc34
B
mesa-libGL
21.1.4-1.fc34
21.1.5-1.fc34
B
python3-devel
3.9.6-1.fc34
3.9.6-2.fc34
1
python-rpm-macros
3.9-37.fc34
3.9-38.fc34
2
python3-rpm-macros
3.9-37.fc34
3.9-38.fc34
2
gtk3-devel
3.24.29-1.fc34
3.24.30-1.fc34
2
pyproject-rpm-macros
0-43.fc34
2
glibc
2.33-18.fc34
2.33-20.fc34
2
python3-libs
3.9.6-1.fc34
3.9.6-2.fc34
2
python3
3.9.6-1.fc34
3.9.6-2.fc34
2
rust-srpm-macros
17-2.fc34
18-1.fc34
3
krb5-libs
1.19.1-8.fc34
1.19.1-14.fc34
3
pango-devel
1.48.5-1.fc34
1.48.7-1.fc34
3
pango
1.48.5-1.fc34
1.48.7-1.fc34
3
vim-filesystem
2:8.2.3070-1.fc34
2:8.2.3154-1.fc34
3
gtk3
3.24.29-1.fc34
3.24.30-1.fc34
3
glibc-common
2.33-18.fc34
2.33-20.fc34
3
glibc-devel
2.33-18.fc34
2.33-20.fc34
3
glibc-minimal-langpack
2.33-18.fc34
2.33-20.fc34
3
python-srpm-macros
3.9-37.fc34
3.9-38.fc34
3
glibc-headers-x86
2.33-18.fc34
2.33-20.fc34
4
systemd-libs
248.3-1.fc34
248.4-1.fc34
4
gtk-update-icon-cache
3.24.29-1.fc34
3.24.30-1.fc34
4
libsoup
2.72.0-6.fc34
systemd-pam
248.3-1.fc34
248.4-1.fc34
B
libedit
3.1-37.20210522cv...
3.1-38.20210714cv...
B
systemd
248.3-1.fc34
248.4-1.fc34
B
systemd-rpm-macros
248.3-1.fc34
248.4-1.fc34
B
json-glib
1.6.2-1.fc34
gsettings-desktop-schemas
40.0-1.fc34
glib-networking
2.68.1-1.fc34
rest
0.8.1-9.fc34
libproxy
0.4.15-30.fc34
python3-devel
3.9.5-2.fc34
3.9.6-1.fc34
1
java-11-openjdk-headless
1:11.0.11.0.9-4.fc34
1:11.0.11.0.9-5.fc34
2
python3
3.9.5-2.fc34
3.9.6-1.fc34
2
python3-libs
3.9.5-2.fc34
3.9.6-1.fc34
2
annobin
9.72-2.fc34
9.79-1.fc34
3
libXfixes-devel
5.0.3-14.fc34
6.0.0-1.fc34
3
pari
2.13.1-3.fc34
2.13.2-1.fc34
3
coreutils
8.32-28.fc34
8.32-30.fc34
3
libXfixes
5.0.3-14.fc34
6.0.0-1.fc34
4
coreutils-common
8.32-28.fc34
8.32-30.fc34
4
libdrm
2.4.105-1.fc34
2.4.107-1.fc34
B
mesa-libgbm
21.1.3-1.fc34
21.1.4-1.fc34
B
mesa-libGL
21.1.3-1.fc34
21.1.4-1.fc34
B
mesa-libEGL
21.1.3-1.fc34
21.1.4-1.fc34
B
libeconf
0.3.8-5.fc34
0.4.0-1.fc34
B
mesa-libglapi
21.1.3-1.fc34
21.1.4-1.fc34
B
hwdata
0.348-1.fc34
0.349-1.fc34
B
xkeyboard-config
2.32-3.fc34
2.33-1.fc34
B
python3-rpm-macros
3.9-36.fc34
3.9-37.fc34
2
python3-setuptools
53.0.0-1.fc34
53.0.0-2.fc34
2
perl-POSIX
1.94-476.fc34
1.94-477.fc34
2
perl-interpreter
4:5.32.1-476.fc34
4:5.32.1-477.fc34
2
python-rpm-macros
3.9-36.fc34
3.9-37.fc34
2
perl-vars
1.05-476.fc34
1.05-477.fc34
2
perl-File-Find
1.37-476.fc34
1.37-477.fc34
2
appstream-data
34-1.fc34
34-2.fc34
2
perl-File-Copy
2.34-476.fc34
2.34-477.fc34
2
clisp
2.49.93-18.d9cbf22git...
2.49.93-20.d9cbf22git...
2
perl-File-Basename
2.85-476.fc34
2.85-477.fc34
2
perl-English
1.11-476.fc34
1.11-477.fc34
2
perl-FileHandle
2.03-476.fc34
2.03-477.fc34
2
perl-libs
4:5.32.1-476.fc34
4:5.32.1-477.fc34
2
coreutils
8.32-27.fc34
8.32-28.fc34
3
pari
2.13.1-2.fc34
2.13.1-3.fc34
3
ffcall
2.2-5.fc34
2.4-1.fc34
3
perl-IO
1.43-476.fc34
1.43-477.fc34
3
libxcrypt
4.4.22-2.fc34
4.4.23-1.fc34
3
python-srpm-macros
3.9-36.fc34
3.9-37.fc34
3
vim-filesystem
2:8.2.3046-1.fc34
2:8.2.3070-1.fc34
3
perl-Tie
4.6-476.fc34
4.6-477.fc34
3
python-setuptools-wheel
53.0.0-1.fc34
53.0.0-2.fc34
3
openldap
2.4.57-4.fc34
2.4.57-5.fc34
3
perl-Fcntl
1.13-476.fc34
1.13-477.fc34
3
perl-Errno
1.30-476.fc34
1.30-477.fc34
3
perl-overload
1.31-476.fc34
1.31-477.fc34
3
python3-urllib3
1.25.10-4.fc34
1.25.10-5.fc34
3
perl-DynaLoader
1.47-476.fc34
1.47-477.fc34
3
perl-mro
1.23-476.fc34
1.23-477.fc34
4
perl-Symbol
1.08-476.fc34
1.08-477.fc34
4
coreutils-common
8.32-27.fc34
8.32-28.fc34
4
perl-File-stat
1.09-476.fc34
1.09-477.fc34
4
perl-Getopt-Std
1.12-476.fc34
1.12-477.fc34
4
kernel-headers
5.12.9-300.fc34
5.12.13-300.fc34
4
libxcrypt-devel
4.4.22-2.fc34
4.4.23-1.fc34
4
perl-SelectSaver
1.02-476.fc34
1.02-477.fc34
4
perl-overloading
0.02-476.fc34
0.02-477.fc34
4
perl-locale
1.09-476.fc34
1.09-477.fc34
B
perl-Math-Complex
1.59-476.fc34
1.59-477.fc34
B
perl-IPC-Open3
1.21-476.fc34
1.21-477.fc34
B
perl-AutoLoader
5.74-476.fc34
5.74-477.fc34
B
perl-sigtrap
1.09-476.fc34
1.09-477.fc34
B
perl-Unicode-UCD
0.75-476.fc34
0.75-477.fc34
B
perl-deprecate
0.04-476.fc34
0.04-477.fc34
B
perl-open
1.12-476.fc34
1.12-477.fc34
B
perl-Safe
2.41-476.fc34
2.41-477.fc34
B
perl-subs
1.03-476.fc34
1.03-477.fc34
B
perl-lib
0.65-476.fc34
0.65-477.fc34
B
perl-base
2.27-476.fc34
2.27-477.fc34
B
perl-Opcode
1.48-476.fc34
1.48-477.fc34
B
perl-Hash-Util-FieldHash
1.20-476.fc34
1.20-477.fc34
B
perl-Module-CoreList
1:5.20210521-1.fc34
1:5.20210620-1.fc34
B
perl-Locale-Maketext-Simple
1:0.21-476.fc34
1:0.21-477.fc34
B
perl-FindBin
1.51-476.fc34
1.51-477.fc34
B
perl-if
0.60.800-476.fc34
0.60.800-477.fc34
B
perl-B
1.80-476.fc34
1.80-477.fc34
B
perl-I18N-Langinfo
0.19-476.fc34
0.19-477.fc34
B
libgcrypt
1.9.3-2.fc34
1.9.3-3.fc34
B
perl-Sys-Hostname
1.23-476.fc34
1.23-477.fc34
B
perl-Pod-Html
1.25-476.fc34
1.25-477.fc34
B
perl-Class-Struct
0.66-476.fc34
0.66-477.fc34
B
perl-meta-notation
5.32.1-476.fc34
5.32.1-477.fc34
B
perl-I18N-LangTags
0.44-476.fc34
0.44-477.fc34
B
perl-File-Compare
1.100.600-476.fc34
1.100.600-477.fc34
B
appstream
0.14.3-2.fc34
1
appstream-data
34-1.fc34
2
lmdb-libs
0.9.29-1.fc34
2
vim-filesystem
2:8.2.2956-2.fc34
2:8.2.3046-1.fc34
3
nss
3.65.0-1.fc34
3.67.0-1.fc34
3
libxcrypt
4.4.20-2.fc34
4.4.22-2.fc34
3
rpmautospec-rpm-macros
0.2.1-1.fc34
0.2.3-1.fc34
3
nspr
4.30.0-2.fc34
4.31.0-1.fc34
4
nss-sysinit
3.65.0-1.fc34
3.67.0-1.fc34
4
nss-util
3.65.0-1.fc34
3.67.0-1.fc34
4
pam
1.5.1-5.fc34
1.5.1-6.fc34
4
libxcrypt-devel
4.4.20-2.fc34
4.4.22-2.fc34
4
nss-softokn
3.65.0-1.fc34
3.67.0-1.fc34
4
dbus-broker
28-3.fc34
29-1.fc34
B
libappstream-glib
0.7.18-2.fc34
nss-softokn-freebl
3.65.0-1.fc34
3.67.0-1.fc34
B
xxhash-libs
0.8.0-2.fc34
0.8.0-3.fc34
B
cmake-filesystem
3.20.3-1.fc34
3.20.5-1.fc34
B
latexmk
4.74-1.fc34
4.74b-1.fc34
1
perl-FileHandle
2.03-475.fc34
2.03-476.fc34
2
perl-File-Find
1.37-475.fc34
1.37-476.fc34
2
perl-libs
4:5.32.1-475.fc34
4:5.32.1-476.fc34
2
glibc
2.33-15.fc34
2.33-18.fc34
2
perl-File-Basename
2.85-475.fc34
2.85-476.fc34
2
perl-vars
1.05-475.fc34
1.05-476.fc34
2
perl-File-Copy
2.34-475.fc34
2.34-476.fc34
2
perl-POSIX
1.94-475.fc34
1.94-476.fc34
2
redhat-rpm-config
182-1.fc34
183-1.fc34
2
perl-interpreter
4:5.32.1-475.fc34
4:5.32.1-476.fc34
2
ghostscript
9.53.3-5.fc34
9.53.3-6.fc34
2
perl-English
1.11-475.fc34
1.11-476.fc34
2
emacs-filesystem
1:27.2-2.fc34
1:27.2-3.fc34
2
perl-Errno
1.30-475.fc34
1.30-476.fc34
3
perl-Fcntl
1.13-475.fc34
1.13-476.fc34
3
ghostscript-tools-fonts
9.53.3-5.fc34
9.53.3-6.fc34
3
glibc-common
2.33-15.fc34
2.33-18.fc34
3
rpmautospec-rpm-macros
0.2.1-1.fc34
3
perl-IO
1.43-475.fc34
1.43-476.fc34
3
vim-filesystem
2:8.2.2956-1.fc34
2:8.2.2956-2.fc34
3
audit-libs
3.0.1-2.fc34
3.0.2-1.fc34
3
ca-certificates
2020.2.41-7.fc34
2021.2.50-1.0.fc34
3
ghostscript-tools-printing
9.53.3-5.fc34
9.53.3-6.fc34
3
copy-jdk-configs
4.0-0.fc34
4.0-1.fc34
3
glibc-devel
2.33-15.fc34
2.33-18.fc34
3
glibc-minimal-langpack
2.33-15.fc34
2.33-18.fc34
3
libgs
9.53.3-5.fc34
9.53.3-6.fc34
3
perl-overload
1.31-475.fc34
1.31-476.fc34
3
perl-Tie
4.6-475.fc34
4.6-476.fc34
3
alsa-lib
1.2.5-2.fc34
1.2.5.1-1.fc34
3
expat
2.2.10-2.fc34
2.4.1-1.fc34
3
glibc-headers-x86
2.33-15.fc34
2.33-18.fc34
4
perl-Getopt-Std
1.12-475.fc34
1.12-476.fc34
4
openldap
2.4.57-3.fc34
2.4.57-4.fc34
4
perl-mro
1.23-475.fc34
1.23-476.fc34
4
perl-Symbol
1.08-475.fc34
1.08-476.fc34
4
perl-overloading
0.02-475.fc34
0.02-476.fc34
4
urw-base35-fonts
20200910-4.fc34
20200910-5.fc34
4
perl-SelectSaver
1.02-475.fc34
1.02-476.fc34
4
perl-File-stat
1.09-475.fc34
1.09-476.fc34
4
perl-Socket
4:2.031-2.fc34
4:2.032-1.fc34
4
urw-base35-nimbus-roman-fonts
20200910-4.fc34
20200910-5.fc34
B
perl-Sys-Hostname
1.23-475.fc34
1.23-476.fc34
B
urw-base35-nimbus-sans-fonts
20200910-4.fc34
20200910-5.fc34
B
perl-Opcode
1.48-475.fc34
1.48-476.fc34
B
urw-base35-c059-fonts
20200910-4.fc34
20200910-5.fc34
B
perl-Pod-Html
1.25-475.fc34
1.25-476.fc34
B
perl-Math-Complex
1.59-475.fc34
1.59-476.fc34
B
libpcap
14:1.10.0-1.fc34
14:1.10.1-1.fc34
B
perl-subs
1.03-475.fc34
1.03-476.fc34
B
urw-base35-standard-symbols-ps-fonts
20200910-4.fc34
20200910-5.fc34
B
perl-locale
1.09-475.fc34
1.09-476.fc34
B
urw-base35-z003-fonts
20200910-4.fc34
20200910-5.fc34
B
perl-IPC-Open3
1.21-475.fc34
1.21-476.fc34
B
perl-File-Compare
1.100.600-475.fc34
1.100.600-476.fc34
B
urw-base35-d050000l-fonts
20200910-4.fc34
20200910-5.fc34
B
perl-DynaLoader
1.47-475.fc34
1.47-476.fc34
B
perl-Locale-Maketext-Simple
1:0.21-475.fc34
1:0.21-476.fc34
B
gdb-minimal
10.2-1.fc34
10.2-3.fc34
B
perl-open
1.12-475.fc34
1.12-476.fc34
B
perl-I18N-Langinfo
0.19-475.fc34
0.19-476.fc34
B
urw-base35-nimbus-mono-ps-fonts
20200910-4.fc34
20200910-5.fc34
B
urw-base35-fonts-common
20200910-4.fc34
20200910-5.fc34
B
perl-FindBin
1.51-475.fc34
1.51-476.fc34
B
mesa-libglapi
21.1.1-2.fc34
21.1.3-1.fc34
B
perl-AutoLoader
5.74-475.fc34
5.74-476.fc34
B
perl-Unicode-UCD
0.75-475.fc34
0.75-476.fc34
B
mesa-libgbm
21.1.1-2.fc34
21.1.3-1.fc34
B
perl-meta-notation
5.32.1-475.fc34
5.32.1-476.fc34
B
mesa-libEGL
21.1.1-2.fc34
21.1.3-1.fc34
B
urw-base35-bookman-fonts
20200910-4.fc34
20200910-5.fc34
B
perl-if
0.60.800-475.fc34
0.60.800-476.fc34
B
perl-base
2.27-475.fc34
2.27-476.fc34
B
perl-Safe
2.41-475.fc34
2.41-476.fc34
B
perl-Hash-Util-FieldHash
1.20-475.fc34
1.20-476.fc34
B
perl-Class-Struct
0.66-475.fc34
0.66-476.fc34
B
perl-lib
0.65-475.fc34
0.65-476.fc34
B
urw-base35-gothic-fonts
20200910-4.fc34
20200910-5.fc34
B
nettle
3.7.2-1.fc34
3.7.3-1.fc34
B
perl-I18N-LangTags
0.44-475.fc34
0.44-476.fc34
B
mesa-libGL
21.1.1-2.fc34
21.1.3-1.fc34
B
urw-base35-p052-fonts
20200910-4.fc34
20200910-5.fc34
B
perl-deprecate
0.04-475.fc34
0.04-476.fc34
B
ghostscript-core
9.53.3-5.fc34
perl-B
1.80-475.fc34
1.80-476.fc34
B
perl-sigtrap
1.09-475.fc34
1.09-476.fc34
B
python3-sphinxcontrib-bibtex
2.2.1-1.fc34
2.3.0-1.fc34
1
glibc
2.33-14.fc34
2.33-15.fc34
2
java-11-openjdk-headless
1:11.0.11.0.9-2.fc34
1:11.0.11.0.9-4.fc34
2
netpbm-progs
10.93.00-1.fc34
10.94.05-1.fc34
2
coreutils
8.32-26.fc34
8.32-27.fc34
3
netpbm
10.93.00-1.fc34
10.94.05-1.fc34
3
annobin
9.71-1.fc34
9.72-2.fc34
3
vim-filesystem
2:8.2.2879-1.fc34
2:8.2.2956-1.fc34
3
file
5.39-5.fc34
5.39-6.fc34
3
glibc-devel
2.33-14.fc34
2.33-15.fc34
3
glibc-minimal-langpack
2.33-14.fc34
2.33-15.fc34
3
alsa-lib
1.2.4-5.fc34
1.2.5-2.fc34
3
glibc-common
2.33-14.fc34
2.33-15.fc34
3
jasper-libs
2.0.28-1.fc34
2.0.32-1.fc34
3
openjpeg2
2.4.0-2.fc34
2.4.0-3.fc34
4
glibc-headers-x86
2.33-14.fc34
2.33-15.fc34
4
llvm-libs
12.0.0-0.1.rc1.fc34
12.0.0-2.fc34
4
curl
7.76.1-3.fc34
7.76.1-4.fc34
4
coreutils-common
8.32-26.fc34
8.32-27.fc34
4
file-libs
5.39-5.fc34
5.39-6.fc34
4
kernel-headers
5.12.5-300.fc34
5.12.9-300.fc34
4
hwdata
0.347-1.fc34
0.348-1.fc34
B
cmake-filesystem
3.19.7-1.fc34
3.20.3-1.fc34
B
mesa-libGL
21.1.1-1.fc34
21.1.1-2.fc34
B
mesa-libgbm
21.1.1-1.fc34
21.1.1-2.fc34
B
mesa-libglapi
21.1.1-1.fc34
21.1.1-2.fc34
B
libcurl
7.76.1-3.fc34
7.76.1-4.fc34
B
mesa-libEGL
21.1.1-1.fc34
21.1.1-2.fc34
B
Real build: coq-8.13.2-1.fc34
Dependencies for this build couldn't be processed
Previous history