coq

Package information

State
ok

Scheduler parameters

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

java-11-openjdk-headless
1:11.0.11.0.9-5.fc33
1:11.0.12.0.7-0.fc33
2
pyproject-rpm-macros
0-43.fc33
0-46.fc33
2
vim-filesystem
2:8.2.3154-1.fc33
2:8.2.3182-1.fc33
3
audit-libs
3.0.2-1.fc33
3.0.3-1.fc33
4
lua
5.4.2-1.fc33
5.4.3-1.fc33
4
openblas
0.3.15-1.fc33
0.3.17-1.fc33
B
lua-libs
5.4.2-1.fc33
5.4.3-1.fc33
B
openblas-openmp
0.3.15-1.fc33
0.3.17-1.fc33
B
python3-devel
3.9.6-1.fc33
3.9.6-2.fc33
1
coreutils
8.32-19.fc33
8.32-21.fc33
2
netpbm-progs
10.94.05-1.fc33
10.95.00-1.fc33
2
python3
3.9.6-1.fc33
3.9.6-2.fc33
2
python3-libs
3.9.6-1.fc33
3.9.6-2.fc33
2
pyproject-rpm-macros
0-43.fc33
2
glibc
2.32-8.fc33
2.32-10.fc33
2
python3-rpm-macros
3.9-16.fc33
3.9-17.fc33
2
python-rpm-macros
3.9-16.fc33
3.9-17.fc33
2
java-11-openjdk-headless
1:11.0.11.0.9-4.fc33
1:11.0.11.0.9-5.fc33
2
coreutils-common
8.32-19.fc33
8.32-21.fc33
3
glibc-common
2.32-8.fc33
2.32-10.fc33
3
vim-filesystem
2:8.2.3046-1.fc33
2:8.2.3154-1.fc33
3
glibc-devel
2.32-8.fc33
2.32-10.fc33
3
netpbm
10.94.05-1.fc33
10.95.00-1.fc33
3
glibc-minimal-langpack
2.32-8.fc33
2.32-10.fc33
3
python-srpm-macros
3.9-16.fc33
3.9-17.fc33
3
kernel-headers
5.12.13-200.fc33
5.13.3-100.fc33
4
glibc-headers-x86
2.32-8.fc33
2.32-10.fc33
4
systemd-libs
246.14-1.fc33
246.15-1.fc33
4
krb5-libs
1.18.2-29.fc33
1.18.2-30.fc33
4
perl-libwww-perl
6.53-2.fc33
6.55-1.fc33
B
hwdata
0.348-1.fc33
0.349-1.fc33
B
systemd
246.14-1.fc33
246.15-1.fc33
B
systemd-rpm-macros
246.14-1.fc33
246.15-1.fc33
B
systemd-pam
246.14-1.fc33
246.15-1.fc33
B
libxcrypt
4.4.22-2.fc33
4.4.23-1.fc33
3
libxcrypt-devel
4.4.22-2.fc33
4.4.23-1.fc33
4
gdb-minimal
10.1-4.fc33
10.2-1.fc33
B
libeconf
0.3.8-4.fc33
0.4.0-1.fc33
B
python3-devel
3.9.5-2.fc33
3.9.6-1.fc33
1
perl-File-Find
1.37-470.fc33
1.37-471.fc33
2
perl-libs
4:5.32.1-470.fc33
4:5.32.1-471.fc33
2
perl-English
1.11-470.fc33
1.11-471.fc33
2
perl-POSIX
1.94-470.fc33
1.94-471.fc33
2
perl-vars
1.05-470.fc33
1.05-471.fc33
2
python3-libs
3.9.5-2.fc33
3.9.6-1.fc33
2
perl-FileHandle
2.03-470.fc33
2.03-471.fc33
2
glibc
2.32-6.fc33
2.32-8.fc33
2
python3
3.9.5-2.fc33
3.9.6-1.fc33
2
perl-interpreter
4:5.32.1-470.fc33
4:5.32.1-471.fc33
2
perl-File-Copy
2.34-470.fc33
2.34-471.fc33
2
perl-File-Basename
2.85-470.fc33
2.85-471.fc33
2
perl-overload
1.31-470.fc33
1.31-471.fc33
3
glibc-minimal-langpack
2.32-6.fc33
2.32-8.fc33
3
perl-Tie
4.6-470.fc33
4.6-471.fc33
3
nss
3.65.0-1.fc33
3.67.0-1.fc33
3
perl-macros
4:5.32.1-470.fc33
4:5.32.1-471.fc33
3
glibc-devel
2.32-6.fc33
2.32-8.fc33
3
perl-IO
1.43-470.fc33
1.43-471.fc33
3
perl-Fcntl
1.13-470.fc33
1.13-471.fc33
3
perl-Errno
1.30-470.fc33
1.30-471.fc33
3
vim-filesystem
2:8.2.2956-2.fc33
2:8.2.3046-1.fc33
3
python3-urllib3
1.25.8-4.fc33
1.25.8-5.fc33
3
perl-DynaLoader
1.47-470.fc33
1.47-471.fc33
3
glibc-common
2.32-6.fc33
2.32-8.fc33
3
nss-sysinit
3.65.0-1.fc33
3.67.0-1.fc33
4
perl-Symbol
1.08-470.fc33
1.08-471.fc33
4
perl-mro
1.23-470.fc33
1.23-471.fc33
4
perl-overloading
0.02-470.fc33
0.02-471.fc33
4
nss-util
3.65.0-1.fc33
3.67.0-1.fc33
4
perl-File-stat
1.09-470.fc33
1.09-471.fc33
4
nspr
4.30.0-1.fc33
4.31.0-1.fc33
4
perl-SelectSaver
1.02-470.fc33
1.02-471.fc33
4
perl-Getopt-Std
1.12-470.fc33
1.12-471.fc33
4
glibc-headers-x86
2.32-6.fc33
2.32-8.fc33
4
nss-softokn
3.65.0-1.fc33
3.67.0-1.fc33
4
perl-locale
1.09-470.fc33
1.09-471.fc33
B
perl-Class-Struct
0.66-470.fc33
0.66-471.fc33
B
perl-I18N-LangTags
0.44-470.fc33
0.44-471.fc33
B
perl-lib
0.65-470.fc33
0.65-471.fc33
B
perl-if
0.60.800-470.fc33
0.60.800-471.fc33
B
perl-base
2.27-470.fc33
2.27-471.fc33
B
perl-open
1.12-470.fc33
1.12-471.fc33
B
perl-File-Compare
1.100.600-470.fc33
1.100.600-471.fc33
B
perl-deprecate
0.04-470.fc33
0.04-471.fc33
B
perl-Locale-Maketext-Simple
1:0.21-470.fc33
1:0.21-471.fc33
B
perl-Safe
2.41-470.fc33
2.41-471.fc33
B
perl-Opcode
1.48-470.fc33
1.48-471.fc33
B
perl-Hash-Util-FieldHash
1.20-470.fc33
1.20-471.fc33
B
perl-sigtrap
1.09-470.fc33
1.09-471.fc33
B
perl-subs
1.03-470.fc33
1.03-471.fc33
B
perl-AutoLoader
5.74-470.fc33
5.74-471.fc33
B
perl-IPC-Open3
1.21-470.fc33
1.21-471.fc33
B
nss-softokn-freebl
3.65.0-1.fc33
3.67.0-1.fc33
B
perl-meta-notation
5.32.1-470.fc33
5.32.1-471.fc33
B
perl-I18N-Langinfo
0.19-470.fc33
0.19-471.fc33
B
perl-B
1.80-470.fc33
1.80-471.fc33
B
perl-Pod-Html
1.25-470.fc33
1.25-471.fc33
B
perl-Unicode-UCD
0.75-470.fc33
0.75-471.fc33
B
perl-Sys-Hostname
1.23-470.fc33
1.23-471.fc33
B
perl-Math-Complex
1.59-470.fc33
1.59-471.fc33
B
perl-File-Copy
2.34-469.fc33
2.34-470.fc33
2
perl-interpreter
4:5.32.1-469.fc33
4:5.32.1-470.fc33
2
perl-libs
4:5.32.1-469.fc33
4:5.32.1-470.fc33
2
perl-POSIX
1.94-469.fc33
1.94-470.fc33
2
coreutils
8.32-18.fc33
8.32-19.fc33
2
perl-File-Find
1.37-469.fc33
1.37-470.fc33
2
perl-File-Basename
2.85-469.fc33
2.85-470.fc33
2
redhat-rpm-config
175-1.fc33
176-1.fc33
2
python-rpm-macros
3.9-15.fc33
3.9-16.fc33
2
grep
3.4-5.fc33
3.4-6.fc33
2
perl-vars
1.05-469.fc33
1.05-470.fc33
2
python3-rpm-macros
3.9-15.fc33
3.9-16.fc33
2
python3-setuptools
49.1.3-1.fc33
49.1.3-2.fc33
2
perl-English
1.11-469.fc33
1.11-470.fc33
2
perl-FileHandle
2.03-469.fc33
2.03-470.fc33
2
libxcrypt
4.4.20-2.fc33
4.4.22-2.fc33
3
rpmautospec-rpm-macros
0.2.3-1.fc33
3
expat
2.2.8-3.fc33
2.4.1-1.fc33
3
perl-Errno
1.30-469.fc33
1.30-470.fc33
3
perl-macros
4:5.32.1-469.fc33
4:5.32.1-470.fc33
3
perl-IO
1.43-469.fc33
1.43-470.fc33
3
perl-Fcntl
1.13-469.fc33
1.13-470.fc33
3
perl-Tie
4.6-469.fc33
4.6-470.fc33
3
coreutils-common
8.32-18.fc33
8.32-19.fc33
3
ca-certificates
2020.2.41-4.fc33
2021.2.50-1.0.fc33
3
python-setuptools-wheel
49.1.3-1.fc33
49.1.3-2.fc33
3
python-srpm-macros
3.9-15.fc33
3.9-16.fc33
3
perl-overload
1.31-469.fc33
1.31-470.fc33
3
audit-libs
3.0.1-2.fc33
3.0.2-1.fc33
4
kernel-headers
5.12.9-200.fc33
5.12.13-200.fc33
4
libxcrypt-devel
4.4.20-2.fc33
4.4.22-2.fc33
4
perl-File-stat
1.09-469.fc33
1.09-470.fc33
4
perl-Symbol
1.08-469.fc33
1.08-470.fc33
4
perl-mro
1.23-469.fc33
1.23-470.fc33
4
perl-Getopt-Std
1.12-469.fc33
1.12-470.fc33
4
pam
1.4.0-10.fc33
1.4.0-11.fc33
4
perl-overloading
0.02-469.fc33
0.02-470.fc33
4
perl-SelectSaver
1.02-469.fc33
1.02-470.fc33
4
perl-File-Compare
1.100.600-469.fc33
1.100.600-470.fc33
B
libpcap
14:1.10.0-1.fc33
14:1.10.1-1.fc33
B
perl-Module-CoreList
1:5.20210521-1.fc33
1:5.20210620-1.fc33
B
perl-lib
0.65-469.fc33
0.65-470.fc33
B
perl-DynaLoader
1.47-469.fc33
1.47-470.fc33
B
libgcrypt
1.8.7-1.fc33
1.8.8-1.fc33
B
perl-I18N-Langinfo
0.19-469.fc33
0.19-470.fc33
B
perl-B
1.80-469.fc33
1.80-470.fc33
B
perl-sigtrap
1.09-469.fc33
1.09-470.fc33
B
perl-Safe
2.41-469.fc33
2.41-470.fc33
B
perl-locale
1.09-469.fc33
1.09-470.fc33
B
perl-Class-Struct
0.66-469.fc33
0.66-470.fc33
B
perl-Sys-Hostname
1.23-469.fc33
1.23-470.fc33
B
perl-meta-notation
5.32.1-469.fc33
5.32.1-470.fc33
B
perl-I18N-LangTags
0.44-469.fc33
0.44-470.fc33
B
perl-Hash-Util-FieldHash
1.20-469.fc33
1.20-470.fc33
B
perl-AutoLoader
5.74-469.fc33
5.74-470.fc33
B
perl-open
1.12-469.fc33
1.12-470.fc33
B
perl-Unicode-UCD
0.75-469.fc33
0.75-470.fc33
B
perl-deprecate
0.04-469.fc33
0.04-470.fc33
B
perl-base
2.27-469.fc33
2.27-470.fc33
B
perl-Math-Complex
1.59-469.fc33
1.59-470.fc33
B
perl-Locale-Maketext-Simple
1:0.21-469.fc33
1:0.21-470.fc33
B
perl-Opcode
1.48-469.fc33
1.48-470.fc33
B
perl-subs
1.03-469.fc33
1.03-470.fc33
B
perl-IPC-Open3
1.21-469.fc33
1.21-470.fc33
B
perl-Pod-Html
1.25-469.fc33
1.25-470.fc33
B
perl-if
0.60.800-469.fc33
0.60.800-470.fc33
B
No dependency changes
latexmk
4.74-1.fc33
4.74b-1.fc33
1
ghostscript
9.53.3-4.fc33
9.53.3-6.fc33
2
java-11-openjdk-headless
1:11.0.11.0.9-2.fc33
1:11.0.11.0.9-4.fc33
2
emacs-filesystem
1:27.2-2.fc33
1:27.2-3.fc33
2
ghostscript-tools-fonts
9.53.3-4.fc33
9.53.3-6.fc33
3
libgs
9.53.3-4.fc33
9.53.3-6.fc33
3
vim-filesystem
2:8.2.2875-1.fc33
2:8.2.2956-2.fc33
3
copy-jdk-configs
4.0-0.fc33
4.0-1.fc33
3
ghostscript-tools-printing
9.53.3-4.fc33
9.53.3-6.fc33
3
urw-base35-fonts
20200910-2.fc33
20200910-5.fc33
4
urw-base35-nimbus-roman-fonts
20200910-2.fc33
20200910-5.fc33
B
urw-base35-p052-fonts
20200910-2.fc33
20200910-5.fc33
B
urw-base35-z003-fonts
20200910-2.fc33
20200910-5.fc33
B
urw-base35-gothic-fonts
20200910-2.fc33
20200910-5.fc33
B
urw-base35-nimbus-mono-ps-fonts
20200910-2.fc33
20200910-5.fc33
B
xxhash-libs
0.8.0-1.fc33
0.8.0-3.fc33
B
urw-base35-nimbus-sans-fonts
20200910-2.fc33
20200910-5.fc33
B
urw-base35-d050000l-fonts
20200910-2.fc33
20200910-5.fc33
B
urw-base35-standard-symbols-ps-fonts
20200910-2.fc33
20200910-5.fc33
B
urw-base35-bookman-fonts
20200910-2.fc33
20200910-5.fc33
B
urw-base35-fonts-common
20200910-2.fc33
20200910-5.fc33
B
ghostscript-core
9.53.3-4.fc33
urw-base35-c059-fonts
20200910-2.fc33
20200910-5.fc33
B
netpbm-progs
10.93.00-1.fc33
10.94.05-1.fc33
2
libxml2
2.9.10-8.fc33
2.9.12-4.fc33
2
netpbm
10.93.00-1.fc33
10.94.05-1.fc33
3
jasper-libs
2.0.26-2.fc33
2.0.32-1.fc33
3
openjpeg2
2.3.1-10.fc33
2.3.1-11.fc33
4
libxml2-devel
2.9.10-8.fc33
2.9.12-4.fc33
4
elfutils-debuginfod-client
0.183-1.fc33
0.185-2.fc33
4
elfutils-libelf
0.183-1.fc33
0.185-2.fc33
4
nss-util
3.63.0-1.fc33
3.65.0-1.fc33
B
kmod-libs
27-3.fc33
29-2.fc33
B
nss-sysinit
3.63.0-1.fc33
3.65.0-1.fc33
B
elfutils-libs
0.183-1.fc33
0.185-2.fc33
B
hwdata
0.347-1.fc33
0.348-1.fc33
B
nss-softokn
3.63.0-1.fc33
3.65.0-1.fc33
B
nss-softokn-freebl
3.63.0-1.fc33
3.65.0-1.fc33
B
elfutils-default-yama-scope
0.183-1.fc33
0.185-2.fc33
B
nss
3.63.0-1.fc33
3.65.0-1.fc33
B
cryptsetup-libs
2.3.5-2.fc33
2.3.6-1.fc33
B
elfutils
0.183-1.fc33
0.185-2.fc33
B
Previous history