coq

Package information

State
ok
Packages
Bodhi
Dist-git
Bugzilla
Koji
File new FTBFS bug

Scheduler parameters

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

which
2.21-30.fc36
2.21-31.fc36
3

State overview

Groups

This package is not part of any global group.

Most recent builds

complete
79510237
2021-12-02 12:54:51
aarch64
├79510272 ( build.log | root.log )
ppc64le
├79510271 ( build.log | root.log )
x86_64
└79510270 ( build.log | root.log )
python3-sphinx
1:4.3.0-1.fc36
1:4.3.1-1.fc36
1
xxhash-libs
0.8.0-4.fc35
0.8.1-1.fc36
2
vim-filesystem
2:8.2.3642-2.fc36
2:8.2.3717-1.fc36
3
nss
3.71.0-1.fc36
3.73.0-1.fc36
3
nspr
4.32.0-3.fc36
4.32.0-4.fc36
4
nss-util
3.71.0-1.fc36
3.73.0-1.fc36
4
nss-sysinit
3.71.0-1.fc36
3.73.0-1.fc36
4
nss-softokn
3.71.0-1.fc36
3.73.0-1.fc36
4
nss-softokn-freebl
3.71.0-1.fc36
3.73.0-1.fc36
B
mesa-libGL
21.3.0-2.fc36
21.3.1-1.fc36
B
mesa-libgbm
21.3.0-2.fc36
21.3.1-1.fc36
B
cmake-filesystem
3.22.0-2.fc36
3.22.0-3.fc36
B
perl-Mozilla-CA
20200520-6.fc35
20211001-1.fc36
B
mesa-libEGL
21.3.0-2.fc36
21.3.1-1.fc36
B
mesa-libglapi
21.3.0-2.fc36
21.3.1-1.fc36
B
Real build: coq-8.14.1-1.fc36
complete
79444043
2021-11-30 19:01:39
aarch64
├79444048 ( build.log | root.log )
armhfp
├79444045 ( build.log | root.log )
i386
├79444046 ( build.log | root.log )
ppc64le
├79444049 ( build.log | root.log )
s390x
├79444050 ( build.log | root.log )
x86_64
└79444047 ( build.log | root.log )
libtool-ltdl
2.4.6-44.fc36
2.4.6-45.fc36
3
cups-libs
1:2.3.3op2-10.fc36
1:2.3.3op2-11.fc36
3
harfbuzz
3.1.1-1.fc36
3.1.2-1.fc36
3
langpacks-core-font-en
3.0-15.fc35
3.0-16.fc36
4
harfbuzz-devel
3.1.1-1.fc36
3.1.2-1.fc36
4
fedora-release-identity-basic
36-0.11
36-0.12
B
harfbuzz-icu
3.1.1-1.fc36
3.1.2-1.fc36
B
fedora-release
36-0.11
36-0.12
B
fedora-release-common
36-0.11
36-0.12
B
complete
79425320
2021-11-30 06:28:34
aarch64
├79425392 ( build.log | root.log )
ppc64le
├79425390 ( build.log | root.log )
x86_64
└79425389 ( build.log | root.log )
python3-packaging
21.2-1.fc36
21.3-1.fc36
2
python3-lxml
4.6.3-4.fc35
4.6.3-5.fc36
2
vim-filesystem
2:8.2.3642-1.fc36
2:8.2.3642-2.fc36
3
libselinux
3.3-1.fc36
3.3-2.fc36
3
rust-srpm-macros
19-1.fc36
20-1.fc36
3
python3-charset-normalizer
2.0.7-1.fc36
2.0.8-1.fc36
3
wayland-protocols-devel
1.23-1.fc36
1.24-1.fc36
3
libselinux-devel
3.3-1.fc36
3.3-2.fc36
4
cmake-filesystem
3.22.0-1.fc36
3.22.0-2.fc36
B
libdrm
2.4.107-2.fc35
2.4.109-1.fc36
B
complete
79266533
2021-11-25 19:32:52
aarch64
├79266606 ( build.log | root.log )
ppc64le
├79266605 ( build.log | root.log )
x86_64
└79266604 ( build.log | root.log )
python3-sphinx
1:4.2.0-1.fc36
1:4.3.0-1.fc36
1
latexmk
4.75-1.fc36
4.76-1.fc36
1
libjpeg-turbo
2.1.1-1.fc36
2.1.2-1.fc36
3
vim-filesystem
2:8.2.3582-1.fc36
2:8.2.3642-1.fc36
3
rust-srpm-macros
18-2.fc35
19-1.fc36
3
gettext
0.21-8.fc35
0.21-9.fc36
4
perl-Date-Manip
6.85-3.fc35
6.86-1.fc36
B
fedora-release-identity-basic
36-0.9
36-0.11
B
fedora-release
36-0.9
36-0.11
B
gettext-libs
0.21-8.fc35
0.21-9.fc36
B
perl-Try-Tiny
0.30-13.fc35
0.31-1.fc36
B
gdb-minimal
11.1-5.fc36
11.1-6.fc36
B
fedora-release-common
36-0.9
36-0.11
B
complete
79148814
2021-11-22 09:17:25
aarch64
├79148889 ( build.log | root.log )
ppc64le
├79148888 ( build.log | root.log )
x86_64
└79148887 ( build.log | root.log )
redhat-rpm-config
204-1.fc36
205-1.fc36
2
javapackages-tools
6.0.0-2.fc36
6.0.0-4.fc36
2
javapackages-filesystem
6.0.0-2.fc36
6.0.0-4.fc36
2
glibc
2.34.9000-19.fc36
2.34.9000-21.fc36
2
pyproject-rpm-macros
0-49.fc36
0-50.fc36
2
pango-devel
1.49.3-1.fc36
1.49.3-2.fc36
3
binutils
2.37-17.fc36
2.37-20.fc36
3
glibc-minimal-langpack
2.34.9000-19.fc36
2.34.9000-21.fc36
3
glibc-common
2.34.9000-19.fc36
2.34.9000-21.fc36
3
glibc-gconv-extra
2.34.9000-19.fc36
2.34.9000-21.fc36
3
pango
1.49.3-1.fc36
1.49.3-2.fc36
3
glibc-devel
2.34.9000-19.fc36
2.34.9000-21.fc36
3
kernel-srpm-macros
1.0-6.fc35
1.0-13.fc36
3
binutils-gold
2.37-17.fc36
2.37-20.fc36
4
glibc-headers-x86
2.34.9000-19.fc36
2.34.9000-21.fc36
4
perl-Module-CoreList
1:5.20211020-1.fc36
1:5.20211120-1.fc36
B
mesa-libglapi
21.2.5-1.fc36
21.3.0-2.fc36
B
mesa-libGL
21.2.5-1.fc36
21.3.0-2.fc36
B
mesa-libgbm
21.2.5-1.fc36
21.3.0-2.fc36
B
cmake-filesystem
3.22.0-0.6.rc3.fc36
3.22.0-1.fc36
B
mesa-libEGL
21.2.5-1.fc36
21.3.0-2.fc36
B
shadow-utils
2:4.9-7.fc36
2:4.9-8.fc36
B
complete
78971789
2021-11-17 00:39:35
aarch64
├78971847 ( build.log | root.log )
ppc64le
├78971840 ( build.log | root.log )
x86_64
└78971842 ( build.log | root.log )
python3-antlr4-runtime
4.9.2-3.fc35
4.9.3-1.fc36
1
python3-devel
3.10.0-2.fc36
3.10.0-4.fc36
1
rsync
3.2.3-9.fc36
3.2.3-13.fc36
1
antlr4
4.9.2-3.fc35
4.9.3-1.fc36
1
redhat-rpm-config
201-1.fc36
204-1.fc36
2
antlr4-runtime
4.9.2-3.fc35
4.9.3-1.fc36
2
python3
3.10.0-2.fc36
3.10.0-4.fc36
2
python3-libs
3.10.0-2.fc36
3.10.0-4.fc36
2
glibc
2.34.9000-17.fc36
2.34.9000-19.fc36
2
python3-soupsieve
2.3-1.fc36
2.3.1-1.fc36
2
python3-setuptools
58.2.0-1.fc36
58.5.3-1.fc36
2
python3-jinja2
3.0.1-2.fc35
3.0.3-1.fc36
2
libcurl
7.79.1-3.fc36
7.80.0-2.fc36
2
crypto-policies
20210917-1.gitc9d86d1....
20211115-1.git1b1c04c....
3
alsa-lib
1.2.5.1-3.fc36
1.2.5.1-4.fc36
3
cups-libs
1:2.3.3op2-9.fc36
1:2.3.3op2-10.fc36
3
tzdata
2021a-2.fc35
2021e-1.fc36
3
harfbuzz
3.1.0-2.fc36
3.1.1-1.fc36
3
tzdata-java
2021a-2.fc35
2021e-1.fc36
3
glibc-minimal-langpack
2.34.9000-17.fc36
2.34.9000-19.fc36
3
pango
1.49.2-1.fc36
1.49.3-1.fc36
3
glibc-common
2.34.9000-17.fc36
2.34.9000-19.fc36
3
glibc-devel
2.34.9000-17.fc36
2.34.9000-19.fc36
3
python-setuptools-wheel
58.2.0-1.fc36
58.5.3-1.fc36
3
pango-devel
1.49.2-1.fc36
1.49.3-1.fc36
3
glibc-gconv-extra
2.34.9000-17.fc36
2.34.9000-19.fc36
3
vim-filesystem
2:8.2.3568-1.fc36
2:8.2.3582-1.fc36
3
libnsl2
1.3.0-4.fc35
2.0.0-2.fc36
3
libtasn1
4.17.0-1.fc36
4.18.0-1.fc36
4
pam
1.5.2-6.fc36
1.5.2-7.fc36
4
harfbuzz-devel
3.1.0-2.fc36
3.1.1-1.fc36
4
unzip
6.0-53.fc35
6.0-54.fc36
4
glibc-headers-x86
2.34.9000-17.fc36
2.34.9000-19.fc36
4
publicsuffix-list-dafsa
20210518-2.fc35
20210518-3.fc36
4
crypto-policies-scripts
20210917-1.gitc9d86d1....
20211115-1.git1b1c04c....
4
kernel-headers
5.15.0-1.fc36
5.16.0-0.rc1.git0.1....
4
systemd-libs
249.6-2.fc36
249.7-2.fc36
4
elfutils-libelf
0.185-5.fc35
0.186-1.fc36
4
curl
7.79.1-3.fc36
7.80.0-2.fc36
4
elfutils-debuginfod-client
0.185-5.fc35
0.186-1.fc36
4
libsepol
3.3-1.fc36
3.3-2.fc36
4
elfutils-default-yama-scope
0.185-5.fc35
0.186-1.fc36
B
gdb-minimal
11.1-3.fc36
11.1-5.fc36
B
harfbuzz-icu
3.1.0-2.fc36
3.1.1-1.fc36
B
perl-HTTP-Message
6.33-2.fc35
6.34-1.fc36
B
fedora-release-identity-basic
36-0.7
36-0.9
B
elfutils
0.185-5.fc35
0.186-1.fc36
B
libsepol-devel
3.3-1.fc36
3.3-2.fc36
B
perl-HTTP-Tiny
0.078-1.fc35
0.080-1.fc36
B
cmake-filesystem
3.22.0-0.5.rc2.fc36
3.22.0-0.6.rc3.fc36
B
elfutils-libs
0.185-5.fc35
0.186-1.fc36
B
fedora-release
36-0.7
36-0.9
B
fedora-release-common
36-0.7
36-0.9
B
shadow-utils
2:4.9-6.fc36
2:4.9-7.fc36
B
complete
78487255
2021-11-07 18:18:22
aarch64
├78487342 ( build.log | root.log )
ppc64le
├78487340 ( build.log | root.log )
x86_64
└78487341 ( build.log | root.log )
bash
5.1.8-2.fc36
5.1.8-3.fc36
2
stringtemplate4
4.3.1-6.fc35
4.3.1-7.fc36
2
java-11-openjdk-headless
1:11.0.13.0.8-1.fc36
1:11.0.13.0.8-2.fc36
2
python-rpm-macros
3.10-12.fc36
3.10-13.fc36
2
python3-packaging
21.0-2.fc35
21.2-1.fc36
2
python3-rpm-generators
12-9.fc36
12-10.fc36
2
redhat-rpm-config
200-1.fc36
201-1.fc36
2
python3-rpm-macros
3.10-12.fc36
3.10-13.fc36
2
gmp-devel
1:6.2.0-7.fc36
1:6.2.1-1.fc36
2
javapackages-tools
6.0.0-1.fc35
6.0.0-2.fc36
2
python3-soupsieve
2.2.1-2.fc35
2.3-1.fc36
2
javapackages-filesystem
6.0.0-1.fc35
6.0.0-2.fc36
2
glibc
2.34.9000-16.fc36
2.34.9000-17.fc36
2
glibc-minimal-langpack
2.34.9000-16.fc36
2.34.9000-17.fc36
3
harfbuzz
3.0.0-1.fc36
3.1.0-2.fc36
3
python-srpm-macros
3.10-12.fc36
3.10-13.fc36
3
glibc-devel
2.34.9000-16.fc36
2.34.9000-17.fc36
3
bzip2-libs
1.0.8-9.fc35
1.0.8-10.fc36
3
cups-libs
1:2.3.3op2-8.fc35
1:2.3.3op2-9.fc36
3
vim-filesystem
2:8.2.3512-1.fc36
2:8.2.3568-1.fc36
3
pango-devel
1.49.1-1.fc36
1.49.2-1.fc36
3
pango
1.49.1-1.fc36
1.49.2-1.fc36
3
glibc-gconv-extra
2.34.9000-16.fc36
2.34.9000-17.fc36
3
gmp-c++
1:6.2.0-7.fc36
1:6.2.1-1.fc36
3
gmp
1:6.2.0-7.fc36
1:6.2.1-1.fc36
3
glibc-common
2.34.9000-16.fc36
2.34.9000-17.fc36
3
pcre2
10.38-1.fc36
10.39-1.fc36
4
libtracker-sparql
3.2.0-1.fc36
3.2.1-1.fc36
4
glibc-headers-x86
2.34.9000-16.fc36
2.34.9000-17.fc36
4
sysprof-capture-devel
3.42.0-1.fc36
3.42.1-1.fc36
4
gawk
5.1.0-4.fc35
5.1.1-1.fc36
4
libtasn1
4.16.0-6.fc35
4.17.0-1.fc36
4
kernel-headers
5.15.0-0.rc7.git0.1....
5.15.0-1.fc36
4
harfbuzz-devel
3.0.0-1.fc36
3.1.0-2.fc36
4
systemd-libs
249.5-2.fc36
249.6-2.fc36
4
pcre2-utf16
10.38-1.fc36
10.39-1.fc36
B
libgpg-error
1.42-3.fc35
1.43-1.fc36
B
hwdata
0.352-1.fc36
0.353-1.fc36
B
shadow-utils
2:4.9-5.fc36
2:4.9-6.fc36
B
harfbuzz-icu
3.0.0-1.fc36
3.1.0-2.fc36
B
pcre2-utf32
10.38-1.fc36
10.39-1.fc36
B
bzip2-devel
1.0.8-9.fc35
1.0.8-10.fc36
B
perl-DateTime-Locale
1.32-3.fc35
1.33-1.fc36
B
bzip2
1.0.8-9.fc35
1.0.8-10.fc36
B
cmake-filesystem
3.22.0-0.3.rc2.fc36
3.22.0-0.5.rc2.fc36
B
gdb-minimal
11.1-2.fc36
11.1-3.fc36
B
pcre2-devel
10.38-1.fc36
10.39-1.fc36
B
pcre2-syntax
10.38-1.fc36
10.39-1.fc36
B
perl-libwww-perl
6.57-1.fc36
6.58-1.fc36
B
complete
78071274
2021-10-30 14:23:02
aarch64
├78071323 ( build.log | root.log )
ppc64le
├78071321 ( build.log | root.log )
x86_64
└78071322 ( build.log | root.log )
python3-rpm-macros
3.10-10.fc36
3.10-12.fc36
2
python3-rpm-generators
12-8.fc35
12-9.fc36
2
icu4j
1:69.1-1.fc36
1:70.1-1.fc36
2
glibc
2.34.9000-15.fc36
2.34.9000-16.fc36
2
redhat-rpm-config
199-1.fc36
200-1.fc36
2
python-rpm-macros
3.10-10.fc36
3.10-12.fc36
2
libcurl
7.79.1-2.fc36
7.79.1-3.fc36
2
glib2
2.70.0-5.fc36
2.70.1-1.fc36
2
pyproject-rpm-macros
0-47.fc36
0-49.fc36
2
binutils
2.37-15.fc36
2.37-17.fc36
3
python-srpm-macros
3.10-10.fc36
3.10-12.fc36
3
pari
2.13.2-3.fc35
2.13.3-1.fc36
3
gc
8.0.4-6.fc35
8.0.6-1.fc36
3
which
2.21-29.fc36
2.21-30.fc36
3
glib2-devel
2.70.0-5.fc36
2.70.1-1.fc36
3
perl-Encode
4:3.15-482.fc36
4:3.16-483.fc36
3
glibc-common
2.34.9000-15.fc36
2.34.9000-16.fc36
3
libselinux
3.3-0.rc3.1.fc36
3.3-1.fc36
3
glibc-minimal-langpack
2.34.9000-15.fc36
2.34.9000-16.fc36
3
python-pip-wheel
21.3-1.fc36
21.3.1-1.fc36
3
glibc-devel
2.34.9000-15.fc36
2.34.9000-16.fc36
3
glibc-gconv-extra
2.34.9000-15.fc36
2.34.9000-16.fc36
3
binutils-gold
2.37-15.fc36
2.37-17.fc36
4
kernel-headers
5.15.0-0.rc6.git0.1....
5.15.0-0.rc7.git0.1....
4
libselinux-devel
3.3-0.rc3.1.fc36
3.3-1.fc36
4
systemd-libs
249.5-1.fc36
249.5-2.fc36
4
glibc-headers-x86
2.34.9000-15.fc36
2.34.9000-16.fc36
4
libsepol
3.3-0.rc3.1.fc36
3.3-1.fc36
4
libglvnd-devel
1:1.3.4-1.fc36
1:1.3.4-2.fc36
4
curl
7.79.1-2.fc36
7.79.1-3.fc36
4
libglvnd-egl
1:1.3.4-1.fc36
1:1.3.4-2.fc36
B
perl-URI
5.09-4.fc35
5.10-1.fc36
B
libglvnd-opengl
1:1.3.4-1.fc36
1:1.3.4-2.fc36
B
libsemanage
3.3-0.rc3.1.fc36
3.3-1.fc36
B
libglvnd
1:1.3.4-1.fc36
1:1.3.4-2.fc36
B
perl-DateTime-TimeZone
2.50-1.fc36
2.51-1.fc36
B
perltidy
20210717-2.fc35
20211029-1.fc36
B
perl-Module-CoreList
1:5.20210920-1.fc36
1:5.20211020-1.fc36
B
mesa-libglapi
21.2.4-2.fc36
21.2.5-1.fc36
B
shadow-utils
2:4.9-4.fc36
2:4.9-5.fc36
B
libsepol-devel
3.3-0.rc3.1.fc36
3.3-1.fc36
B
mesa-libEGL
21.2.4-2.fc36
21.2.5-1.fc36
B
libglvnd-glx
1:1.3.4-1.fc36
1:1.3.4-2.fc36
B
libglvnd-core-devel
1:1.3.4-1.fc36
1:1.3.4-2.fc36
B
cmake-filesystem
3.22.0-0.1.rc1.fc36
3.22.0-0.3.rc2.fc36
B
mesa-libGL
21.2.4-2.fc36
21.2.5-1.fc36
B
perl-encoding
4:3.00-482.fc36
4:3.00-483.fc36
B
libsoup
2.74.0-1.fc36
2.74.1-1.fc36
B
mesa-libgbm
21.2.4-2.fc36
21.2.5-1.fc36
B
perl-MIME-Types
2.21-2.fc35
2.22-1.fc36
B
libglvnd-gles
1:1.3.4-1.fc36
1:1.3.4-2.fc36
B
Previous history
Koschei version
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues