coq

Package information

State
ok

Scheduler parameters

Tracked by Koschei
True
Current priority
231
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-babel
2.9.0-4.fc34
2.9.1-1.fc35
2
java-11-openjdk-headless
1:11.0.11.0.7-0.1.ea.fc35
1:11.0.11.0.9-2.fc35
2
libxcrypt
4.4.19-1.fc35
4.4.20-2.fc35
3
libepoxy
1.5.5-2.fc34
1.5.7-1.fc35
3
libepoxy-devel
1.5.5-2.fc34
1.5.7-1.fc35
3
lksctp-tools
1.0.18-9.fc34
1.0.18-10.fc35
3
annobin-plugin-gcc
9.69-1.fc35
9.70-1.fc35
3
vim-filesystem
2:8.2.2811-1.fc35
2:8.2.2825-1.fc35
3
copy-jdk-configs
3.9-4.0.pre.0.bf4...
4.0-0.fc35
3
cups-libs
1:2.3.3op2-4.fc35
1:2.3.3op2-5.fc35
3
libglvnd-devel
1:1.3.2-4.fc35
1:1.3.3-1.fc35
4
libxcrypt-devel
4.4.19-1.fc35
4.4.20-2.fc35
4
avahi-libs
0.8-10.fc35
0.8-11.fc35
4
annobin-docs
9.69-1.fc35
9.70-1.fc35
4
xorg-x11-proto-devel
2021.3-1.fc35
2021.4-1.fc35
4
cmake-filesystem
3.19.7-1.fc35
3.20.2-1.fc35
4
libglvnd-glx
1:1.3.2-4.fc35
1:1.3.3-1.fc35
B
mesa-libGL
21.0.3-1.fc35
21.0.3-2.fc35
B
mesa-libEGL
21.0.3-1.fc35
21.0.3-2.fc35
B
libglvnd-opengl
1:1.3.2-4.fc35
1:1.3.3-1.fc35
B
mesa-libgbm
21.0.3-1.fc35
21.0.3-2.fc35
B
libglvnd
1:1.3.2-4.fc35
1:1.3.3-1.fc35
B
libglvnd-core-devel
1:1.3.2-4.fc35
1:1.3.3-1.fc35
B
libglvnd-gles
1:1.3.2-4.fc35
1:1.3.3-1.fc35
B
mesa-libglapi
21.0.3-1.fc35
21.0.3-2.fc35
B
libglvnd-egl
1:1.3.2-4.fc35
1:1.3.3-1.fc35
B
rpm-libs
4.16.90-0.git15395.4....
4.16.90-0.git15395.5....
2
gcc
11.0.1-0.7.fc35
11.1.1-1.fc35
2
glib2
2.68.1-1.fc35
2.68.1-2.fc35
2
libgcc
11.0.1-0.7.fc35
11.1.1-1.fc35
2
cpp
11.0.1-0.7.fc35
11.1.1-1.fc35
3
libgomp
11.0.1-0.7.fc35
11.1.1-1.fc35
3
lua-libs
5.4.2-2.fc34
5.4.3-1.fc35
3
rpm
4.16.90-0.git15395.4....
4.16.90-0.git15395.5....
3
glib2-devel
2.68.1-1.fc35
2.68.1-2.fc35
3
libstdc++
11.0.1-0.7.fc35
11.1.1-1.fc35
3
copy-jdk-configs
3.7-8.fc34
3.9-4.0.pre.0.bf4...
3
file
5.40-5.fc35
5.40-6.fc35
3
file-libs
5.40-5.fc35
5.40-6.fc35
4
libquadmath
11.0.1-0.7.fc35
11.1.1-1.fc35
4
lua
5.4.2-2.fc34
5.4.3-1.fc35
4
libgfortran
11.0.1-0.7.fc35
11.1.1-1.fc35
4
unzip
6.0-51.fc35
6.0-52.fc35
4
rpm-build
4.16.90-0.git15395.4....
4.16.90-0.git15395.5....
B
fedora-release-common
35-0.6
35-0.7
B
fedora-release
35-0.6
35-0.7
B
fedora-release-identity-basic
35-0.6
35-0.7
B
fedora-repos-rawhide
35-0.2
35-0.4
B
fedora-gpg-keys
35-0.2
35-0.4
B
libgcrypt
1.9.3-1.fc35
1.9.3-2.fc35
B
fedora-repos
35-0.2
35-0.4
B
rpm-build-libs
4.16.90-0.git15395.4....
4.16.90-0.git15395.5....
B
rpm-libs
4.16.1.3-1.fc35
4.16.90-0.git15395.4....
2
emacs-filesystem
1:27.2-2.fc35
1:27.2-3.fc35
2
libjpeg-turbo
2.0.90-2.fc35
2.1.0-1.fc35
3
vim-filesystem
2:8.2.2787-1.fc35
2:8.2.2811-1.fc35
3
which
2.21-24.fc35
2.21-25.fc35
3
rpm
4.16.1.3-1.fc35
4.16.90-0.git15395.4....
3
go-srpm-macros
3.0.9-3.fc35
3.0.10-1.fc35
3
coreutils
8.32-22.fc35
8.32-23.fc35
3
file
5.40-3.fc35
5.40-5.fc35
3
kernel-headers
5.12.0-0.rc8.git0.1....
5.12.0-1.fc35
4
libglvnd-devel
1:1.3.2-3.fc34
1:1.3.2-4.fc35
4
coreutils-common
8.32-22.fc35
8.32-23.fc35
4
file-libs
5.40-3.fc35
5.40-5.fc35
4
rpm-build
4.16.1.3-1.fc35
4.16.90-0.git15395.4....
B
libglvnd-opengl
1:1.3.2-3.fc34
1:1.3.2-4.fc35
B
libglvnd-egl
1:1.3.2-3.fc34
1:1.3.2-4.fc35
B
rpm-build-libs
4.16.1.3-1.fc35
4.16.90-0.git15395.4....
B
libglvnd-gles
1:1.3.2-3.fc34
1:1.3.2-4.fc35
B
mailcap
2.1.52-1.fc35
2.1.53-1.fc35
B
libglvnd-core-devel
1:1.3.2-3.fc34
1:1.3.2-4.fc35
B
perl-List-AllUtils
0.18-2.fc34
0.19-2.fc35
B
libglvnd-glx
1:1.3.2-3.fc34
1:1.3.2-4.fc35
B
shadow-utils
2:4.8.1-8.fc35
2:4.8.1-9.fc35
B
libglvnd
1:1.3.2-3.fc34
1:1.3.2-4.fc35
B
gtk3-devel
3.24.28-3.fc35
3.24.29-1.fc35
2
libgcc
11.0.1-0.5.fc35
11.0.1-0.7.fc35
2
xdg-utils
1.1.3-8.fc34
1.1.3-9.fc35
2
gcc
11.0.1-0.5.fc35
11.0.1-0.7.fc35
2
flexiblas-netlib
3.0.4-3.fc34
3.0.4-4.fc35
3
libstdc++
11.0.1-0.5.fc35
11.0.1-0.7.fc35
3
cpp
11.0.1-0.5.fc35
11.0.1-0.7.fc35
3
gtk3
3.24.28-3.fc35
3.24.29-1.fc35
3
libgomp
11.0.1-0.5.fc35
11.0.1-0.7.fc35
3
glib-networking
2.68.0-1.fc35
2.68.1-1.fc35
3
flexiblas
3.0.4-3.fc34
3.0.4-4.fc35
4
libquadmath
11.0.1-0.5.fc35
11.0.1-0.7.fc35
4
libgfortran
11.0.1-0.5.fc35
11.0.1-0.7.fc35
4
flexiblas-openblas-openmp
3.0.4-3.fc34
3.0.4-4.fc35
4
gtk-update-icon-cache
3.24.28-3.fc35
3.24.29-1.fc35
4
perl-MIME-Types
2.19-1.fc35
2.20-1.fc35
B
java-11-openjdk-headless
1:11.0.11.0.7-0.0.ea.fc35
1:11.0.11.0.7-0.1.ea.fc35
2
python3-setuptools
56.0.0-1.fc35
56.0.0-2.fc35
2
gtk3-devel
3.24.28-2.fc35
3.24.28-3.fc35
2
libcloudproviders-devel
0.3.1-3.fc34
3
gtk3
3.24.28-2.fc35
3.24.28-3.fc35
3
annobin-plugin-gcc
9.66-4.fc35
9.69-1.fc35
3
python-setuptools-wheel
56.0.0-1.fc35
56.0.0-2.fc35
3
gtk-update-icon-cache
3.24.28-2.fc35
3.24.28-3.fc35
4
annobin-docs
9.66-4.fc35
9.69-1.fc35
4
pam
1.5.1-4.fc35
1.5.1-5.fc35
4
libcloudproviders
0.3.1-3.fc34
4
mesa-libglapi
21.0.2-1.fc35
21.0.3-1.fc35
B
mesa-libGL
21.0.2-1.fc35
21.0.3-1.fc35
B
mesa-libgbm
21.0.2-1.fc35
21.0.3-1.fc35
B
mesa-libEGL
21.0.2-1.fc35
21.0.3-1.fc35
B
perl-Module-CoreList
1:5.20210320-1.fc35
1:5.20210420-1.fc35
B
gdk-pixbuf2
2.42.4-2.fc35
2.42.6-1.fc35
2
libgcc
11.0.1-0.4.fc35
11.0.1-0.5.fc35
2
gcc
11.0.1-0.4.fc35
11.0.1-0.5.fc35
2
python3-rpm-generators
12-5.fc35
12-6.fc35
2
redhat-rpm-config
183-1.fc35
184-1.fc35
2
libstdc++
11.0.1-0.4.fc35
11.0.1-0.5.fc35
3
vim-filesystem
2:8.2.2756-1.fc35
2:8.2.2787-1.fc35
3
sqlite-libs
3.35.4-2.fc35
3.35.5-1.fc35
3
libtiff
4.2.0-1.fc34
4.3.0-1.fc35
3
libgomp
11.0.1-0.4.fc35
11.0.1-0.5.fc35
3
gdk-pixbuf2-devel
2.42.4-2.fc35
2.42.6-1.fc35
3
cpp
11.0.1-0.4.fc35
11.0.1-0.5.fc35
3
annobin-plugin-gcc
9.65-2.fc35
9.66-4.fc35
3
kernel-headers
5.12.0-0.rc7.git0.1....
5.12.0-0.rc8.git0.1....
4
libgfortran
11.0.1-0.4.fc35
11.0.1-0.5.fc35
4
elfutils-libelf
0.183-2.fc35
0.183-3.fc35
4
libtiff-devel
4.2.0-1.fc34
4.3.0-1.fc35
4
libquadmath
11.0.1-0.4.fc35
11.0.1-0.5.fc35
4
elfutils-debuginfod-client
0.183-2.fc35
0.183-3.fc35
4
gdk-pixbuf2-modules
2.42.4-2.fc35
2.42.6-1.fc35
4
annobin-docs
9.66-4.fc35
4
llvm-libs
12.0.0-0.11.rc5.fc35
annobin-plugin-llvm
9.65-2.fc35
elfutils
0.183-2.fc35
0.183-3.fc35
B
libgcrypt
1.9.2-3.fc35
1.9.3-1.fc35
B
annobin-plugin-clang
9.65-2.fc35
annobin
9.65-2.fc35
xkeyboard-config
2.32-2.fc35
2.32-3.fc35
B
libedit
3.1-35.20210216cv...
perl-XML-LibXML
1:2.0206-3.fc34
1:2.0207-1.fc35
B
elfutils-libs
0.183-2.fc35
0.183-3.fc35
B
perl-version
7:0.99.28-2.fc34
7:0.99.29-1.fc35
B
elfutils-default-yama-scope
0.183-2.fc35
0.183-3.fc35
B
latexmk
4.70b-2.fc34
4.72b-1.fc35
1
expat
2.2.10-2.fc34
2.3.0-1.fc35
3
at-spi2-core-devel
2.40.0-1.fc35
2.40.0-2.fc35
4
adwaita-icon-theme
40.0~rc-1.fc35
40.0-2.fc35
4
libgcrypt
1.9.2-2.fc35
1.9.2-3.fc35
B
at-spi2-core
2.40.0-1.fc35
2.40.0-2.fc35
B
adwaita-cursor-theme
40.0~rc-1.fc35
40.0-2.fc35
B
libdrm
2.4.103-2.fc34
2.4.105-1.fc35
B
perl-MIME-Types
2.18-2.fc34
2.19-1.fc35
B
2021-04-16 13:20:10
Package dependencies resolved successfuly
Previous history