coq

Package information

State
ok

Scheduler parameters

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

python3-devel
3.8.3-1.fc32
3.8.3-2.fc32
1
glib2
2.64.3-1.fc32
2.64.3-2.fc32
2
python3
3.8.3-1.fc32
3.8.3-2.fc32
2
python-rpm-macros
3-57.fc32
3-58.fc32
2
python3-rpm-macros
3-57.fc32
3-58.fc32
2
ghostscript
9.52-3.fc32
9.52-4.fc32
2
python3-libs
3.8.3-1.fc32
3.8.3-2.fc32
2
ghostscript-core
9.52-3.fc32
9.52-4.fc32
2
glib2-devel
2.64.3-1.fc32
2.64.3-2.fc32
3
libjpeg-turbo
2.0.4-1.fc32
2.0.4-3.fc32
3
sqlite-libs
3.32.2-1.fc32
3.32.3-1.fc32
3
libgs
9.52-3.fc32
9.52-4.fc32
3
python-srpm-macros
3-57.fc32
3-58.fc32
3
ghostscript-tools-printing
9.52-3.fc32
9.52-4.fc32
3
vim-filesystem
2:8.2.905-1.fc32
2:8.2.993-1.fc32
3
ghostscript-tools-fonts
9.52-3.fc32
9.52-4.fc32
3
ca-certificates
2020.2.40-3.fc32
2020.2.41-1.1.fc32
3
jbig2dec-devel
0.18-1.fc32
3
pcre2
10.35-1.fc32
10.35-3.fc32
4
pam
1.3.1-24.fc32
1.3.1-25.fc32
4
pcre2-syntax
10.35-1.fc32
10.35-3.fc32
B
mesa-libgbm
20.0.7-1.fc32
20.1.1-1.fc32
B
mesa-libEGL
20.0.7-1.fc32
20.1.1-1.fc32
B
mesa-libGL
20.0.7-1.fc32
20.1.1-1.fc32
B
pcre2-utf16
10.35-1.fc32
10.35-3.fc32
B
mesa-libglapi
20.0.7-1.fc32
20.1.1-1.fc32
B
pcre2-utf32
10.35-1.fc32
10.35-3.fc32
B
pcre2-devel
10.35-1.fc32
10.35-3.fc32
B
dejavu-sans-fonts
2.37-7.fc32
2.37-8.fc32
B
Real build: coq-8.11.2-1.fc32
python3-beautifulsoup4
4.9.0-1.fc32
4.9.1-1.fc32
1
ghostscript
9.52-2.fc32
9.52-3.fc32
2
bash
5.0.11-2.fc32
5.0.17-1.fc32
2
perl-interpreter
4:5.30.2-452.fc32
4:5.30.3-453.fc32
2
perl-libs
4:5.30.2-452.fc32
4:5.30.3-453.fc32
2
ghostscript-core
9.52-2.fc32
9.52-3.fc32
2
perl-macros
4:5.30.2-452.fc32
4:5.30.3-453.fc32
3
libgs
9.52-2.fc32
9.52-3.fc32
3
cups-libs
1:2.3.3-2.fc32
1:2.3.3-6.fc32
3
openblas-serial
0.3.9-2.fc32
0.3.9-3.fc32
3
jbig2dec-libs
0.17-4.fc32
0.18-1.fc32
3
vim-filesystem
2:8.2.806-1.fc32
2:8.2.905-1.fc32
3
perl-IO
1.40-452.fc32
1.40-453.fc32
3
ghostscript-tools-printing
9.52-2.fc32
9.52-3.fc32
3
libpq
12.2-1.fc32
12.3-1.fc32
3
qt5-srpm-macros
5.13.2-2.fc32
5.14.2-3.fc32
3
sqlite-libs
3.31.1-1.fc32
3.32.2-1.fc32
3
perl-Errno
1.30-452.fc32
1.30-453.fc32
3
dbus-libs
1:1.12.16-4.fc32
1:1.12.18-1.fc32
3
ghostscript-tools-fonts
9.52-2.fc32
9.52-3.fc32
3
gnutls
3.6.13-4.fc32
3.6.14-2.fc32
4
systemd-libs
245.4-1.fc32
245.6-2.fc32
4
dbus-devel
1:1.12.16-4.fc32
1:1.12.18-1.fc32
4
crypto-policies
20191128-5.gitcd267a5....
20200610-1.git7f9d474....
4
openblas
0.3.9-2.fc32
0.3.9-3.fc32
4
nss-softokn
3.52.0-2.fc32
3.53.0-2.fc32
B
fedora-repos
32-2
32-3
B
kernel-headers
5.6.11-300.fc32
5.6.18-300.fc32
B
fedora-release
32-2
32-3
B
dbus-common
1:1.12.16-4.fc32
1:1.12.18-1.fc32
B
dbus
1:1.12.16-4.fc32
1:1.12.18-1.fc32
B
libnghttp2
1.40.0-2.fc32
1.41.0-1.fc32
B
systemd-pam
245.4-1.fc32
245.6-2.fc32
B
perl-open
1.11-452.fc32
1.11-453.fc32
B
glib-networking
2.64.2-1.fc32
2.64.3-1.fc32
B
nss
3.52.0-2.fc32
3.53.0-2.fc32
B
hwdata
0.335-1.fc32
0.336-1.fc32
B
nss-softokn-freebl
3.52.0-2.fc32
3.53.0-2.fc32
B
systemd
245.4-1.fc32
245.6-2.fc32
B
fedora-gpg-keys
32-2
32-3
B
cryptsetup-libs
2.3.0-1.fc32
2.3.3-1.fc32
B
systemd-rpm-macros
245.4-1.fc32
245.6-2.fc32
B
fedora-release-common
32-2
32-3
B
nss-sysinit
3.52.0-2.fc32
3.53.0-2.fc32
B
cmake-filesystem
3.17.2-1.fc32
3.17.3-1.fc32
B
nss-util
3.52.0-2.fc32
3.53.0-2.fc32
B
python3-devel
3.8.2-2.fc32
3.8.3-1.fc32
1
antlr3-java
1:3.5.2-25.fc32
1:3.5.2-27.fc32
2
glib2
2.64.2-2.fc32
2.64.3-1.fc32
2
java-1.8.0-openjdk-headless
1:1.8.0.252.b09-0.fc32
1:1.8.0.252.b09-1.fc32
2
python3-rpm-macros
3-56.fc32
3-57.fc32
2
python3
3.8.2-2.fc32
3.8.3-1.fc32
2
python3-libs
3.8.2-2.fc32
3.8.3-1.fc32
2
ghostscript-core
9.52-1.fc32
9.52-2.fc32
2
python-rpm-macros
3-56.fc32
3-57.fc32
2
ghostscript
9.52-1.fc32
9.52-2.fc32
2
ghostscript-tools-fonts
9.52-1.fc32
9.52-2.fc32
3
libgs
9.52-1.fc32
9.52-2.fc32
3
vim-filesystem
2:8.2.789-1.fc32
2:8.2.806-1.fc32
3
binutils
2.34-2.fc32
2.34-3.fc32
3
python-srpm-macros
3-56.fc32
3-57.fc32
3
cups-libs
1:2.3.1-9.fc32
1:2.3.3-2.fc32
3
libuuid
2.35.1-8.fc32
2.35.2-1.fc32
3
libpq
12.3-1.fc32
12.2-1.fc32
3
ghostscript-tools-printing
9.52-1.fc32
9.52-2.fc32
3
libzstd
1.4.4-2.fc32
1.4.5-3.fc32
3
libmount
2.35.1-8.fc32
2.35.2-1.fc32
3
util-linux
2.35.1-8.fc32
2.35.2-1.fc32
3
glib2-devel
2.64.2-2.fc32
2.64.3-1.fc32
3
libfdisk
2.35.1-8.fc32
2.35.2-1.fc32
4
libmount-devel
2.35.1-8.fc32
2.35.2-1.fc32
4
libsmartcols
2.35.1-8.fc32
2.35.2-1.fc32
4
binutils-gold
2.34-2.fc32
2.34-3.fc32
4
gnutls
3.6.13-2.fc32
3.6.13-4.fc32
4
libarchive
3.4.2-1.fc32
3.4.3-1.fc32
4
libblkid
2.35.1-8.fc32
2.35.2-1.fc32
4
json-c
0.13.1-12.fc32
0.13.1-13.fc32
B
nss-softokn
3.51.1-1.fc32
3.52.0-2.fc32
B
nss-softokn-freebl
3.51.1-1.fc32
3.52.0-2.fc32
B
nss-sysinit
3.51.1-1.fc32
3.52.0-2.fc32
B
nss-util
3.51.1-1.fc32
3.52.0-2.fc32
B
libblkid-devel
2.35.1-8.fc32
2.35.2-1.fc32
B
zstd
1.4.4-2.fc32
1.4.5-3.fc32
B
nss
3.51.1-1.fc32
3.52.0-2.fc32
B
xorg-x11-server-utils
7.7-34.fc32
7.7-35.fc32
B
Real build: coq-8.11.1-1.fc32
vim-filesystem
2:8.2.735-1.fc32
2:8.2.789-1.fc32
3
libpq
12.2-1.fc32
12.3-1.fc32
3
pcre2
10.34-9.fc32
10.35-1.fc32
4
gnutls
3.6.13-1.fc32
3.6.13-2.fc32
4
pcre2-utf16
10.34-9.fc32
10.35-1.fc32
B
mesa-libEGL
20.0.6-1.fc32
20.0.7-1.fc32
B
json-c
0.13.1-11.fc32
0.13.1-12.fc32
B
mesa-libglapi
20.0.6-1.fc32
20.0.7-1.fc32
B
pcre2-devel
10.34-9.fc32
10.35-1.fc32
B
mesa-libgbm
20.0.6-1.fc32
20.0.7-1.fc32
B
mesa-libGL
20.0.6-1.fc32
20.0.7-1.fc32
B
dbus-broker
22-1.fc32
23-2.fc32
B
pcre2-syntax
10.34-9.fc32
10.35-1.fc32
B
pcre2-utf32
10.34-9.fc32
10.35-1.fc32
B
java-1.8.0-openjdk-headless
1:1.8.0.242.b08-1.fc32
1:1.8.0.252.b09-0.fc32
2
gcc
10.0.1-0.14.fc32
10.1.1-1.fc32
2
libgcc
10.0.1-0.14.fc32
10.1.1-1.fc32
3
rpm
4.15.1-2.fc32.1
4.15.1-3.fc32.1
3
tzdata-java
2019c-3.fc32
2020a-1.fc32
3
libstdc++
10.0.1-0.14.fc32
10.1.1-1.fc32
3
libgomp
10.0.1-0.14.fc32
10.1.1-1.fc32
3
cpp
10.0.1-0.14.fc32
10.1.1-1.fc32
3
vim-filesystem
2:8.2.694-1.fc32
2:8.2.735-1.fc32
3
tzdata
2019c-3.fc32
2020a-1.fc32
4
libgfortran
10.0.1-0.14.fc32
10.1.1-1.fc32
4
rpm-libs
4.15.1-2.fc32.1
4.15.1-3.fc32.1
4
hwdata
0.334-1.fc32
0.335-1.fc32
B
libquadmath
10.0.1-0.14.fc32
10.1.1-1.fc32
B
guile
5:2.0.14-19.fc32
rpm-build
4.15.1-2.fc32.1
4.15.1-3.fc32.1
B
perl-Encode
4:3.05-444.fc32
4:3.06-445.fc32
B
gdb-minimal
9.1-3.fc32
9.1-5.fc32
B
rpm-build-libs
4.15.1-2.fc32.1
4.15.1-3.fc32.1
B
perl-encoding
4:2.22-444.fc32
4:3.00-445.fc32
B
kernel-headers
5.6.7-300.fc32
5.6.11-300.fc32
B
python3-rpm-macros
3-55.fc32
3-56.fc32
2
python-rpm-macros
3-55.fc32
3-56.fc32
2
gtk3-devel
3.24.18-1.fc32
3.24.20-1.fc32
2
gcc
10.0.1-0.11.fc32
10.0.1-0.14.fc32
2
cpp
10.0.1-0.11.fc32
10.0.1-0.14.fc32
3
libgomp
10.0.1-0.11.fc32
10.0.1-0.14.fc32
3
python-srpm-macros
3-55.fc32
3-56.fc32
3
libstdc++
10.0.1-0.11.fc32
10.0.1-0.14.fc32
3
libgcc
10.0.1-0.11.fc32
10.0.1-0.14.fc32
3
gtk3
3.24.18-1.fc32
3.24.20-1.fc32
3
vim-filesystem
2:8.2.587-1.fc32
2:8.2.694-1.fc32
3
annobin
9.19-1.fc32
9.21-1.fc32
3
rust-srpm-macros
13-2.fc32
14-1.fc32
3
python3-pytz
2019.3-2.fc32
2020.1-1.fc32
3
pixman
0.38.4-2.fc32
0.40.0-1.fc32
4
pixman-devel
0.38.4-2.fc32
0.40.0-1.fc32
4
libgfortran
10.0.1-0.11.fc32
10.0.1-0.14.fc32
4
elfutils-libelf
0.179-1.fc32
0.179-2.fc32
4
adwaita-icon-theme
3.36.0-1.fc32
3.36.1-1.fc32
4
gtk-update-icon-cache
3.24.18-1.fc32
3.24.20-1.fc32
4
mesa-libEGL
20.0.5-1.fc32
20.0.6-1.fc32
B
adwaita-cursor-theme
3.36.0-1.fc32
3.36.1-1.fc32
B
elfutils-default-yama-scope
0.179-1.fc32
0.179-2.fc32
B
gsettings-desktop-schemas
3.36.0-1.fc32
3.36.1-1.fc32
B
nss-util
3.51.0-1.fc32
3.51.1-1.fc32
B
nss
3.51.0-1.fc32
3.51.1-1.fc32
B
nss-softokn
3.51.0-1.fc32
3.51.1-1.fc32
B
nss-sysinit
3.51.0-1.fc32
3.51.1-1.fc32
B
elfutils-libs
0.179-1.fc32
0.179-2.fc32
B
mesa-libgbm
20.0.5-1.fc32
20.0.6-1.fc32
B
mesa-libGL
20.0.5-1.fc32
20.0.6-1.fc32
B
elfutils
0.179-1.fc32
0.179-2.fc32
B
libquadmath
10.0.1-0.11.fc32
10.0.1-0.14.fc32
B
nss-softokn-freebl
3.51.0-1.fc32
3.51.1-1.fc32
B
mesa-libglapi
20.0.5-1.fc32
20.0.6-1.fc32
B
cmake-filesystem
3.17.1-1.fc32
3.17.2-1.fc32
B
latexmk
4.69-1.fc32
4.69a-1.fc32
1
glib2
2.64.2-1.fc32
2.64.2-2.fc32
2
fontconfig-devel
2.13.92-8.fc32
2.13.92-9.fc32
3
libxcrypt
4.4.16-1.fc32
4.4.16-3.fc32
3
mpfr
4.0.2-3.fc32
4.0.2-4.fc32
3
cairo-gobject
1.16.0-7.fc32
1.16.0-8.fc32
3
cairo-gobject-devel
1.16.0-7.fc32
1.16.0-8.fc32
3
glib2-devel
2.64.2-1.fc32
2.64.2-2.fc32
3
cups-libs
1:2.3.1-5.fc32
1:2.3.1-9.fc32
3
openssl-libs
1:1.1.1d-7.fc32
1:1.1.1g-1.fc32
3
libtirpc
1.2.5-1.rc2.fc32
1.2.6-0.fc32
3
coreutils
8.32-3.fc32.1
8.32-4.fc32.1
3
cairo
1.16.0-7.fc32
1.16.0-8.fc32
3
fontconfig
2.13.92-8.fc32
2.13.92-9.fc32
3
findutils
1:4.7.0-3.fc32
1:4.7.0-4.fc32
3
cairo-devel
1.16.0-7.fc32
1.16.0-8.fc32
3
curl
7.69.1-1.fc32
7.69.1-3.fc32
4
gettext
0.20.1-4.fc32
0.20.2-1.fc32
4
libxcrypt-devel
4.4.16-1.fc32
4.4.16-3.fc32
4
coreutils-common
8.32-3.fc32.1
8.32-4.fc32.1
4
libssh-config
0.9.3-2.fc32
0.9.4-2.fc32
B
fedora-release
32-1
32-2
B
fedora-release-common
32-1
32-2
B
kernel-headers
5.6.3-300.fc32
5.6.7-300.fc32
B
libtextstyle
0.20.1-4.fc32
0.20.2-1.fc32
B
libcurl
7.69.1-1.fc32
7.69.1-3.fc32
B
json-c
0.13.1-9.fc32
0.13.1-11.fc32
B
mesa-libGL
20.0.4-1.fc32
20.0.5-1.fc32
B
mesa-libglapi
20.0.4-1.fc32
20.0.5-1.fc32
B
mesa-libEGL
20.0.4-1.fc32
20.0.5-1.fc32
B
mesa-libgbm
20.0.4-1.fc32
20.0.5-1.fc32
B
libssh
0.9.3-2.fc32
0.9.4-2.fc32
B
gettext-libs
0.20.1-4.fc32
0.20.2-1.fc32
B
python3-beautifulsoup4
4.8.2-2.fc32
4.9.0-1.fc32
1
python3-jinja2
2.11.1-1.fc32
2.11.2-1.fc32
2
gtk3-devel
3.24.16-2.fc32
3.24.18-1.fc32
2
glib2
2.64.1-1.fc32
2.64.2-1.fc32
2
libuuid
2.35.1-7.fc32
2.35.1-8.fc32
3
libmount
2.35.1-7.fc32
2.35.1-8.fc32
3
python-pip-wheel
19.3.1-2.fc32
19.3.1-3.fc32
3
gtk3
3.24.16-2.fc32
3.24.18-1.fc32
3
util-linux
2.35.1-7.fc32
2.35.1-8.fc32
3
glib2-devel
2.64.1-1.fc32
2.64.2-1.fc32
3
vim-filesystem
2:8.2.525-1.fc32
2:8.2.587-1.fc32
3
libblkid
2.35.1-7.fc32
2.35.1-8.fc32
4
libfdisk
2.35.1-7.fc32
2.35.1-8.fc32
4
libmount-devel
2.35.1-7.fc32
2.35.1-8.fc32
4
libsmartcols
2.35.1-7.fc32
2.35.1-8.fc32
4
graphite2
1.3.13-1.fc32
1.3.14-1.fc32
4
gtk-update-icon-cache
3.24.16-2.fc32
3.24.18-1.fc32
4
kernel-headers
5.6.0-300.fc32
5.6.3-300.fc32
B
fedora-gpg-keys
32-0.7
32-2
B
glib-networking
2.64.1-1.fc32
2.64.2-1.fc32
B
cmake-filesystem
3.17.0-1.fc32
3.17.1-1.fc32
B
libblkid-devel
2.35.1-7.fc32
2.35.1-8.fc32
B
fedora-release
32-0.8
32-1
B
fedora-repos
32-0.7
32-2
B
fedora-release-common
32-0.8
32-1
B
graphite2-devel
1.3.13-1.fc32
1.3.14-1.fc32
B
Previous history