coq

Package information

State
ok

Scheduler parameters

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

pyproject-rpm-macros
0-53.fc36
0-54.fc36
2
redhat-rpm-config
210-1.fc36
211-1.fc36
2
package-notes-srpm-macros
0.4-3.fc36
0.4-9.fc36
3
langpacks-core-font-en
3.0-17.fc36
3.0-19.fc36
4
dejavu-sans-fonts
2.37-17.fc35
mesa-libEGL
21.3.4-1.fc36
21.3.4-3.fc36
B
google-noto-sans-vf-fonts
20201206-6.fc36
B
google-noto-fonts-common
20201206-6.fc36
B
mesa-libGL
21.3.4-1.fc36
21.3.4-3.fc36
B
mesa-libgbm
21.3.4-1.fc36
21.3.4-3.fc36
B
mesa-libglapi
21.3.4-1.fc36
21.3.4-3.fc36
B

Groups

This package is not part of any global group.

Most recent builds

texlive-xindy
9:20210325-46.fc36
9:20210325-47.fc36
1
texlive-base
9:20210325-46.fc36
9:20210325-47.fc36
2
texlive-attachfile2
9:20210325-46.fc36
9:20210325-47.fc36
2
gcc
12.0.0-0.5.fc36
12.0.1-0.2.fc36
2
libgcc
12.0.0-0.5.fc36
12.0.1-0.2.fc36
2
texlive-kpathsea
9:20210325-46.fc36
9:20210325-47.fc36
2
texlive-latex
9:20210325-46.fc36
9:20210325-47.fc36
2
python3-rpm-macros
3.10-14.fc36
3.10-15.fc36
2
redhat-rpm-config
209-1.fc36
210-1.fc36
2
texlive-lwarp
9:20210325-46.fc36
9:20210325-47.fc36
2
java-11-openjdk-headless
1:11.0.14.0.8-0.2.ea.fc36
1:11.0.14.0.8-0.3.ea.fc36
2
pyproject-rpm-macros
0-52.fc36
0-53.fc36
2
texlive-dvips
9:20210325-46.fc36
9:20210325-47.fc36
2
python-rpm-macros
3.10-14.fc36
3.10-15.fc36
2
texlive-thumbpdf
9:20210325-46.fc36
9:20210325-47.fc36
2
texlive-luatex
9:20210325-46.fc36
9:20210325-47.fc36
3
texlive-luaotfload
9:20210325-46.fc36
9:20210325-47.fc36
3
libgomp
12.0.0-0.5.fc36
12.0.1-0.2.fc36
3
cpp
12.0.0-0.5.fc36
12.0.1-0.2.fc36
3
crypto-policies
20211115-1.git1b1c04c....
20220119-1.git50109e7....
3
texlive-texlive-scripts
9:20210325-46.fc36
9:20210325-47.fc36
3
python-srpm-macros
3.10-14.fc36
3.10-15.fc36
3
annobin-plugin-gcc
10.47-2.fc36
10.48-4.fc36
3
libtiff
4.3.0-2.fc35
4.3.0-3.fc36
3
libstdc++
12.0.0-0.5.fc36
12.0.1-0.2.fc36
3
texlive-lib
9:20210325-46.fc36
9:20210325-47.fc36
3
texlive-mptopdf
9:20210325-46.fc36
9:20210325-47.fc36
3
texlive-pdftex
9:20210325-46.fc36
9:20210325-47.fc36
3
flexiblas-netlib
3.0.4-6.fc35
3.1.2-1.fc36
3
texlive-oberdiek
9:20210325-46.fc36
9:20210325-47.fc36
3
rpm
4.17.0-4.fc36
4.17.0-5.fc36
3
texlive-bibtex
9:20210325-46.fc36
9:20210325-47.fc36
4
texlive-dvipdfmx
9:20210325-46.fc36
9:20210325-47.fc36
4
texlive-texlive-en
9:20210325-46.fc36
9:20210325-47.fc36
4
texlive-makeindex
9:20210325-46.fc36
9:20210325-47.fc36
4
texlive-gsftopk
9:20210325-46.fc36
9:20210325-47.fc36
4
texlive-texlive.infra
9:20210325-46.fc36
9:20210325-47.fc36
4
annobin-docs
10.47-2.fc36
10.48-4.fc36
4
flexiblas-openblas-openmp
3.0.4-6.fc35
3.1.2-1.fc36
4
texlive-luahbtex
9:20210325-46.fc36
9:20210325-47.fc36
4
texlive-epstopdf
9:20210325-46.fc36
9:20210325-47.fc36
4
texlive-tex
9:20210325-46.fc36
9:20210325-47.fc36
4
langpacks-core-font-en
3.0-16.fc36
3.0-17.fc36
4
texlive-xdvi
9:20210325-46.fc36
9:20210325-47.fc36
4
libgfortran
12.0.0-0.5.fc36
12.0.1-0.2.fc36
4
flexiblas
3.0.4-6.fc35
3.1.2-1.fc36
4
libtiff-devel
4.3.0-2.fc35
4.3.0-3.fc36
4
libquadmath
12.0.0-0.5.fc36
12.0.1-0.2.fc36
4
texlive-glyphlist
9:20210325-46.fc36
9:20210325-47.fc36
4
crypto-policies-scripts
20211115-1.git1b1c04c....
20220119-1.git50109e7....
4
libwebp
1.2.1-3.fc36
1.2.2-1.fc36
4
texlive-metafont
9:20210325-46.fc36
9:20210325-47.fc36
4
rpm-libs
4.17.0-4.fc36
4.17.0-5.fc36
4
texlive-mfware
9:20210325-46.fc36
9:20210325-47.fc36
4
rpm-build
4.17.0-4.fc36
4.17.0-5.fc36
B
cmake-filesystem
3.22.1-5.fc36
3.22.1-6.fc36
B
rpm-build-libs
4.17.0-4.fc36
4.17.0-5.fc36
B
texlive-xetex
9:20210325-46.fc36
9:20210325-47.fc36
B
texlive-xindy
9:20210325-44.fc36
9:20210325-46.fc36
1
texlive-kpathsea
9:20210325-44.fc36
9:20210325-46.fc36
2
redhat-rpm-config
207-1.fc36
209-1.fc36
2
texlive-attachfile2
9:20210325-44.fc36
9:20210325-46.fc36
2
java-11-openjdk-headless
1:11.0.14.0.8-0.1.ea.fc36
1:11.0.14.0.8-0.2.ea.fc36
2
texlive-thumbpdf
9:20210325-44.fc36
9:20210325-46.fc36
2
texlive-latex
9:20210325-44.fc36
9:20210325-46.fc36
2
texlive-dvips
9:20210325-44.fc36
9:20210325-46.fc36
2
texlive-base
9:20210325-44.fc36
9:20210325-46.fc36
2
texlive-lwarp
9:20210325-44.fc36
9:20210325-46.fc36
2
texlive-pdftex
9:20210325-44.fc36
9:20210325-46.fc36
3
readline
8.1-4.fc36
8.1-5.fc36
3
texlive-lib
9:20210325-44.fc36
9:20210325-46.fc36
3
texlive-luaotfload
9:20210325-44.fc36
9:20210325-46.fc36
3
texlive-oberdiek
9:20210325-44.fc36
9:20210325-46.fc36
3
texlive-texlive-scripts
9:20210325-44.fc36
9:20210325-46.fc36
3
texlive-mptopdf
9:20210325-44.fc36
9:20210325-46.fc36
3
texlive-luatex
9:20210325-44.fc36
9:20210325-46.fc36
3
package-notes-srpm-macros
0.4-3.fc36
3
texlive-metafont
9:20210325-44.fc36
9:20210325-46.fc36
4
texlive-texlive.infra
9:20210325-44.fc36
9:20210325-46.fc36
4
poppler
21.08.0-1.fc35
22.01.0-2.fc36
4
texlive-mfware
9:20210325-44.fc36
9:20210325-46.fc36
4
texlive-epstopdf
9:20210325-44.fc36
9:20210325-46.fc36
4
texlive-glyphlist
9:20210325-44.fc36
9:20210325-46.fc36
4
texlive-makeindex
9:20210325-44.fc36
9:20210325-46.fc36
4
texlive-tex
9:20210325-44.fc36
9:20210325-46.fc36
4
texlive-texlive-en
9:20210325-44.fc36
9:20210325-46.fc36
4
texlive-luahbtex
9:20210325-44.fc36
9:20210325-46.fc36
4
texlive-gsftopk
9:20210325-44.fc36
9:20210325-46.fc36
4
texlive-bibtex
9:20210325-44.fc36
9:20210325-46.fc36
4
texlive-xdvi
9:20210325-44.fc36
9:20210325-46.fc36
4
texlive-dvipdfmx
9:20210325-44.fc36
9:20210325-46.fc36
4
texlive-xetex
9:20210325-44.fc36
9:20210325-46.fc36
B
python3-devel
3.10.1-3.fc36
3.10.2-1.fc36
1
bash
5.1.8-3.fc36
5.1.16-1.fc36
2
python3
3.10.1-3.fc36
3.10.2-1.fc36
2
python3-libs
3.10.1-3.fc36
3.10.2-1.fc36
2
gnutls
3.7.2-2.fc35
3.7.3-1.fc36
3
readline
8.1-3.fc35
8.1-4.fc36
3
expat
2.4.3-1.fc36
2.4.3-2.fc36
3
systemd-libs
250.2-1.fc36
250.3-1.fc36
4
p11-kit
0.23.22-5.fc36
0.24.1-1.fc36
4
p11-kit-trust
0.23.22-5.fc36
0.24.1-1.fc36
4
gcc
12.0.0-0.4.fc36
12.0.0-0.5.fc36
2
java-11-openjdk-headless
1:11.0.14.0.1-0.1.ea.fc36
1:11.0.14.0.8-0.1.ea.fc36
2
libgcc
12.0.0-0.4.fc36
12.0.0-0.5.fc36
2
libxcrypt
4.4.27-1.fc36
4.4.27-2.fc36
3
cpp
12.0.0-0.4.fc36
12.0.0-0.5.fc36
3
libgomp
12.0.0-0.4.fc36
12.0.0-0.5.fc36
3
expat
2.4.1-2.fc35
2.4.3-1.fc36
3
libstdc++
12.0.0-0.4.fc36
12.0.0-0.5.fc36
3
libgfortran
12.0.0-0.4.fc36
12.0.0-0.5.fc36
4
libquadmath
12.0.0-0.4.fc36
12.0.0-0.5.fc36
4
libxcrypt-devel
4.4.27-1.fc36
4.4.27-2.fc36
4
shadow-utils
2:4.9-8.fc36
2:4.9-9.fc36
B
javapackages-filesystem
6.0.0-4.fc36
6.0.0-5.fc36
2
javapackages-tools
6.0.0-4.fc36
6.0.0-5.fc36
2
gcc
11.2.1-7.fc36
12.0.0-0.4.fc36
2
libgcc
11.2.1-7.fc36
12.0.0-0.4.fc36
2
annobin-plugin-gcc
10.44-3.fc36
10.47-2.fc36
3
libgomp
11.2.1-7.fc36
12.0.0-0.4.fc36
3
cpp
11.2.1-7.fc36
12.0.0-0.4.fc36
3
cups-libs
1:2.4.0-1.fc36
1:2.4.0-2.fc36
3
libpq
13.4-2.fc36
14.1-1.fc36
3
rpm
4.17.0-1.fc36.1
4.17.0-4.fc36
3
libtool-ltdl
2.4.6-45.fc36
2.4.6-46.fc36
3
libstdc++
11.2.1-7.fc36
12.0.0-0.4.fc36
3
rpm-libs
4.17.0-1.fc36.1
4.17.0-4.fc36
4
libquadmath
11.2.1-7.fc36
12.0.0-0.4.fc36
4
libgfortran
11.2.1-7.fc36
12.0.0-0.4.fc36
4
annobin-docs
10.44-3.fc36
10.47-2.fc36
4
authselect-libs
1.3.0-5.fc36
1.3.0-7.fc36
4
libargon2
20171227-7.fc35
libseccomp
2.5.3-1.fc36
rpm-build
4.17.0-1.fc36.1
4.17.0-4.fc36
B
kmod-libs
29-6.fc36
device-mapper-libs
1.02.175-6.fc35
systemd-pam
250.2-1.fc36
perl-JSON
4.04-1.fc36
4.05-1.fc36
B
systemd-rpm-macros
250.2-1.fc36
json-c
0.15-2.fc35
rpm-build-libs
4.17.0-1.fc36.1
4.17.0-4.fc36
B
cryptsetup-libs
2.4.2-1.fc36
authselect
1.3.0-5.fc36
1.3.0-7.fc36
B
device-mapper
1.02.175-6.fc35
perl-Net-SSLeay
1.90-7.fc36
1.92-1.fc36
B
mesa-libglapi
21.3.3-1.fc36
21.3.4-1.fc36
B
mesa-libGL
21.3.3-1.fc36
21.3.4-1.fc36
B
mesa-libgbm
21.3.3-1.fc36
21.3.4-1.fc36
B
mesa-libEGL
21.3.3-1.fc36
21.3.4-1.fc36
B
acl
2.3.1-2.fc35
systemd
250.2-1.fc36
python3-devel
3.10.1-2.fc36
3.10.1-3.fc36
1
python3
3.10.1-2.fc36
3.10.1-3.fc36
2
python3-libs
3.10.1-2.fc36
3.10.1-3.fc36
2
vim-filesystem
2:8.2.4051-1.fc36
2:8.2.4068-1.fc36
3
libglvnd-devel
1:1.3.4-2.fc36
1:1.4.0-1.fc36
4
gdb-minimal
11.1-8.fc36
11.1-9.fc36
B
libglvnd-glx
1:1.3.4-2.fc36
1:1.4.0-1.fc36
B
libglvnd-gles
1:1.3.4-2.fc36
1:1.4.0-1.fc36
B
libglvnd-opengl
1:1.3.4-2.fc36
1:1.4.0-1.fc36
B
libglvnd
1:1.3.4-2.fc36
1:1.4.0-1.fc36
B
libglvnd-core-devel
1:1.3.4-2.fc36
1:1.4.0-1.fc36
B
libglvnd-egl
1:1.3.4-2.fc36
1:1.4.0-1.fc36
B
texlive-xindy
9:20210325-43.fc36
9:20210325-44.fc36
1
texlive-lwarp
9:20210325-43.fc36
9:20210325-44.fc36
2
texlive-dvips
9:20210325-43.fc36
9:20210325-44.fc36
2
libzstd
1.5.1-4.fc36
1.5.1-6.fc36
2
texlive-latex
9:20210325-43.fc36
9:20210325-44.fc36
2
texlive-attachfile2
9:20210325-43.fc36
9:20210325-44.fc36
2
texlive-thumbpdf
9:20210325-43.fc36
9:20210325-44.fc36
2
texlive-base
9:20210325-43.fc36
9:20210325-44.fc36
2
texlive-kpathsea
9:20210325-43.fc36
9:20210325-44.fc36
2
texlive-luaotfload
9:20210325-43.fc36
9:20210325-44.fc36
3
texlive-pdftex
9:20210325-43.fc36
9:20210325-44.fc36
3
texlive-luatex
9:20210325-43.fc36
9:20210325-44.fc36
3
texlive-lib
9:20210325-43.fc36
9:20210325-44.fc36
3
texlive-mptopdf
9:20210325-43.fc36
9:20210325-44.fc36
3
texlive-texlive-scripts
9:20210325-43.fc36
9:20210325-44.fc36
3
texlive-oberdiek
9:20210325-43.fc36
9:20210325-44.fc36
3
pam
1.5.2-8.fc36
1.5.2-9.fc36
4
kernel-headers
5.16.0-0.rc8.git0.1....
5.16.0-1.fc36
4
systemd-libs
250.1-1.fc36
250.2-1.fc36
4
texlive-metafont
9:20210325-43.fc36
9:20210325-44.fc36
4
texlive-texlive.infra
9:20210325-43.fc36
9:20210325-44.fc36
4
texlive-bibtex
9:20210325-43.fc36
9:20210325-44.fc36
4
texlive-xdvi
9:20210325-43.fc36
9:20210325-44.fc36
4
libarchive
3.5.2-2.fc36
3.5.2-4.fc36
4
texlive-luahbtex
9:20210325-43.fc36
9:20210325-44.fc36
4
texlive-dvipdfmx
9:20210325-43.fc36
9:20210325-44.fc36
4
texlive-glyphlist
9:20210325-43.fc36
9:20210325-44.fc36
4
texlive-epstopdf
9:20210325-43.fc36
9:20210325-44.fc36
4
texlive-texlive-en
9:20210325-43.fc36
9:20210325-44.fc36
4
texlive-makeindex
9:20210325-43.fc36
9:20210325-44.fc36
4
texlive-tex
9:20210325-43.fc36
9:20210325-44.fc36
4
texlive-gsftopk
9:20210325-43.fc36
9:20210325-44.fc36
4
texlive-mfware
9:20210325-43.fc36
9:20210325-44.fc36
4
openssl1.1
1:1.1.1l-1.fc36
systemd-pam
250.1-1.fc36
250.2-1.fc36
B
zstd
1.5.1-4.fc36
1.5.1-6.fc36
B
systemd-rpm-macros
250.1-1.fc36
250.2-1.fc36
B
gdb-minimal
11.1-6.fc36
11.1-8.fc36
B
systemd
250.1-1.fc36
250.2-1.fc36
B
texlive-xetex
9:20210325-43.fc36
9:20210325-44.fc36
B
glib2
2.70.2-4.fc36
2.71.0-1.fc36
2
vim-filesystem
2:8.2.4006-1.fc36
2:8.2.4051-1.fc36
3
glib2-devel
2.70.2-4.fc36
2.71.0-1.fc36
3
libssh
0.9.6-1.fc36
0.9.6-2.fc36
3
annobin-plugin-gcc
10.44-1.fc36
10.44-3.fc36
3
libssh-config
0.9.6-1.fc36
0.9.6-2.fc36
4
libtracker-sparql
3.2.1-1.fc36
3.3.0~alpha-1.fc36
4
annobin-docs
10.44-1.fc36
10.44-3.fc36
4
perl-Business-ISBN
3.006-4.fc35
3.007-1.fc36
B
perl-Tie-Cycle
1.226-3.fc35
1.227-1.fc36
B
libgusb
0.3.9-1.fc36
0.3.10-1.fc36
B
gsettings-desktop-schemas
41.0-1.fc36
42~alpha-1.fc36
B
Previous history