coq

Package information

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

Scheduler parameters

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

libtirpc
1.3.2-1.rc4.fc36
1.3.3-0.fc36
3
filesystem
3.18-1.fc36
3.18-2.fc36
3
coreutils
9.0-7.fc36
9.0-8.fc36
3
go-srpm-macros
3.0.15-1.fc36
3.1.0-4.fc36
3
coreutils-common
9.0-7.fc36
9.0-8.fc36
4
libwebp
1.2.3-1.fc36
1.2.4-1.fc36
4
mesa-libglapi
22.1.4-2.fc36
22.1.5-2.fc36
B
shadow-utils
2:4.11.1-2.fc36
2:4.11.1-3.fc36
B
mesa-libEGL
22.1.4-2.fc36
22.1.5-2.fc36
B
mesa-libGL
22.1.4-2.fc36
22.1.5-2.fc36
B
mesa-libgbm
22.1.4-2.fc36
22.1.5-2.fc36
B

State overview

Groups

This package is not part of any global group.

Most recent builds

complete
90569739
2022-08-07 11:27:34
aarch64
├90569823 ( build.log | root.log )
ppc64le
├90569822 ( build.log | root.log )
x86_64
└90569821 ( build.log | root.log )
python3-devel
3.10.5-2.fc36
3.10.6-1.fc36
1
python3
3.10.5-2.fc36
3.10.6-1.fc36
2
python3-libs
3.10.5-2.fc36
3.10.6-1.fc36
2
gnutls
3.7.6-3.fc36
3.7.7-1.fc36
3
python3-markupsafe
2.0.0-3.fc36
2.1.1-1.fc36
3
cups-libs
1:2.4.2-1.fc36
1:2.4.2-3.fc36
3
rust-srpm-macros
21-1.fc36
22-1.fc36
3
coreutils
9.0-5.fc36
9.0-7.fc36
3
ca-certificates
2022.2.54-1.0.fc36
2022.2.54-1.2.fc36
3
rpm
4.17.1-2.fc36
4.17.1-3.fc36
3
vim-filesystem
2:9.0.077-1.fc36
2:9.0.137-1.fc36
3
libtiff
4.4.0-2.fc36
4.4.0-4.fc36
3
filesystem
3.16-2.fc36
3.18-1.fc36
3
rpm-libs
4.17.1-2.fc36
4.17.1-3.fc36
4
langpacks-core-font-en
3.0-23.fc36
3.0-25.fc36
4
libtiff-devel
4.4.0-2.fc36
4.4.0-4.fc36
4
coreutils-common
9.0-5.fc36
9.0-7.fc36
4
rpm-build
4.17.1-2.fc36
4.17.1-3.fc36
B
google-noto-fonts-common
20201206-9.fc36
20201206-10.fc36
B
google-noto-sans-vf-fonts
20201206-9.fc36
20201206-10.fc36
B
rpm-build-libs
4.17.1-2.fc36
4.17.1-3.fc36
B
complete
90251223
2022-07-30 05:31:09
aarch64
├90251388 ( build.log | root.log )
ppc64le
├90251389 ( build.log | root.log )
x86_64
└90251387 ( build.log | root.log )
python3-antlr4-runtime
4.9.3-5.fc36
4.9.3-6.fc36
1
antlr4
4.9.3-5.fc36
4.9.3-6.fc36
1
antlr4-runtime
4.9.3-5.fc36
4.9.3-6.fc36
2
python3-rpm-macros
3.10-18.fc36
3.10-19.fc36
2
java-17-openjdk-headless
1:17.0.3.0.7-2.fc36
1:17.0.4.0.8-1.fc36
2
python-rpm-macros
3.10-18.fc36
3.10-19.fc36
2
libtirpc
1.3.2-1.rc1.fc36.1
1.3.2-1.rc4.fc36
3
python-srpm-macros
3.10-18.fc36
3.10-19.fc36
3
qt5-srpm-macros
5.15.3-1.fc36
5.15.5-2.fc36
3
vim-filesystem
2:9.0.049-1.fc36
2:9.0.077-1.fc36
3
annobin-plugin-gcc
10.76-1.fc36
10.79-1.fc36
3
annobin-docs
10.76-1.fc36
10.79-1.fc36
4
lua
5.4.4-1.fc36
5.4.4-3.fc36
4
setup
2.13.10-1.fc36
2.14.1-1.fc36
4
mesa-libglapi
22.1.4-1.fc36
22.1.4-2.fc36
B
mesa-libgbm
22.1.4-1.fc36
22.1.4-2.fc36
B
mesa-libGL
22.1.4-1.fc36
22.1.4-2.fc36
B
perl-HTTP-Tiny
0.080-2.fc36
0.082-1.fc36
B
lua-libs
5.4.4-1.fc36
5.4.4-3.fc36
B
mesa-libEGL
22.1.4-1.fc36
22.1.4-2.fc36
B
perl-Module-CoreList
1:5.20220620-1.fc36
1:5.20220720-1.fc36
B
complete
89996645
2022-07-25 04:17:56
aarch64
├89996711 ( build.log | root.log )
ppc64le
├89996712 ( build.log | root.log )
x86_64
└89996709 ( build.log | root.log )
glibc
2.35-14.fc36
2.35-15.fc36
2
appstream-data
36-2.fc36
36-3.fc36
2
glibc-minimal-langpack
2.35-14.fc36
2.35-15.fc36
3
glibc-devel
2.35-14.fc36
2.35-15.fc36
3
nss
3.79.0-1.fc36
3.81.0-1.fc36
3
glibc-gconv-extra
2.35-14.fc36
2.35-15.fc36
3
gdk-pixbuf2-devel
2.42.8-2.fc36
2.42.8-3.fc36
3
glibc-common
2.35-14.fc36
2.35-15.fc36
3
flexiblas-netlib
3.2.0-4.fc36
3.2.1-1.fc36
3
ca-certificates
2021.2.52-3.fc36
2022.2.54-1.0.fc36
3
gdk-pixbuf2
2.42.8-2.fc36
2.42.8-3.fc36
3
pam
1.5.2-12.fc36
1.5.2-13.fc36
4
nspr
4.34.0-1.fc36
4.34.0-3.fc36
4
flexiblas-openblas-openmp
3.2.0-4.fc36
3.2.1-1.fc36
4
nss-softokn
3.79.0-1.fc36
3.81.0-1.fc36
4
gdk-pixbuf2-modules
2.42.8-2.fc36
2.42.8-3.fc36
4
kernel-headers
5.18.4-200.fc36
5.18.13-200.fc36
4
pam-libs
1.5.2-12.fc36
1.5.2-13.fc36
4
nss-util
3.79.0-1.fc36
3.81.0-1.fc36
4
glibc-headers-x86
2.35-14.fc36
2.35-15.fc36
4
nss-sysinit
3.79.0-1.fc36
3.81.0-1.fc36
4
flexiblas
3.2.0-4.fc36
3.2.1-1.fc36
4
libwebp
1.2.2-4.fc36
1.2.3-1.fc36
4
nss-softokn-freebl
3.79.0-1.fc36
3.81.0-1.fc36
B
mesa-libglapi
22.1.3-3.fc36
22.1.4-1.fc36
B
mesa-libgbm
22.1.3-3.fc36
22.1.4-1.fc36
B
mesa-libGL
22.1.3-3.fc36
22.1.4-1.fc36
B
mesa-libEGL
22.1.3-3.fc36
22.1.4-1.fc36
B
complete
89717616
2022-07-20 05:11:31
aarch64
├89717686 ( build.log | root.log )
ppc64le
├89717687 ( build.log | root.log )
x86_64
└89717685 ( build.log | root.log )
emacs-filesystem
1:27.2-11.fc36
1:28.1-2.fc36
2
libcurl
7.82.0-6.fc36
7.82.0-7.fc36
2
rpm
4.17.0-10.fc36
4.17.1-2.fc36
3
gdk-pixbuf2
2.42.8-1.fc36
2.42.8-2.fc36
3
libidn2
2.3.2-4.fc36
2.3.3-1.fc36
3
gdk-pixbuf2-devel
2.42.8-1.fc36
2.42.8-2.fc36
3
harfbuzz
4.0.0-1.fc36
4.0.0-2.fc36
3
libtiff
4.4.0-1.fc36
4.4.0-2.fc36
3
curl
7.82.0-6.fc36
7.82.0-7.fc36
4
rpm-libs
4.17.0-10.fc36
4.17.1-2.fc36
4
libarchive
3.5.3-2.fc36
3.5.3-3.fc36
4
gdk-pixbuf2-modules
2.42.8-1.fc36
2.42.8-2.fc36
4
harfbuzz-devel
4.0.0-1.fc36
4.0.0-2.fc36
4
systemd-libs
250.7-1.fc36
250.8-1.fc36
4
libtiff-devel
4.4.0-1.fc36
4.4.0-2.fc36
4
mesa-libGL
22.1.3-1.fc36
22.1.3-3.fc36
B
mesa-libglapi
22.1.3-1.fc36
22.1.3-3.fc36
B
mesa-libgbm
22.1.3-1.fc36
22.1.3-3.fc36
B
harfbuzz-icu
4.0.0-1.fc36
4.0.0-2.fc36
B
fedora-release-common
36-17
36-18
B
fedora-release
36-17
36-18
B
rpm-build
4.17.0-10.fc36
4.17.1-2.fc36
B
glib-networking
2.72.0-1.fc36
2.72.1-1.fc36
B
fedora-release-identity-basic
36-17
36-18
B
rpm-build-libs
4.17.0-10.fc36
4.17.1-2.fc36
B
mesa-libEGL
22.1.3-1.fc36
22.1.3-3.fc36
B
complete
89480136
2022-07-14 03:54:49
aarch64
├89480192 ( build.log | root.log )
ppc64le
├89480191 ( build.log | root.log )
x86_64
└89480190 ( build.log | root.log )
openssl-libs
1:3.0.3-1.fc36
1:3.0.5-1.fc36
2
glib2
2.72.2-1.fc36
2.72.3-1.fc36
2
vim-filesystem
2:8.2.5172-1.fc36
2:9.0.049-1.fc36
3
freetype
2.12.1-1.fc36
2.12.1-2.fc36
3
pango
1.50.7-1.fc36
1.50.8-1.fc36
3
pango-devel
1.50.7-1.fc36
1.50.8-1.fc36
3
glib2-devel
2.72.2-1.fc36
2.72.3-1.fc36
3
alsa-lib
1.2.7.1-1.fc36
1.2.7.2-1.fc36
3
freetype-devel
2.12.1-1.fc36
2.12.1-2.fc36
4
perl-Socket
4:2.034-1.fc36
4:2.035-1.fc36
4
libtracker-sparql
3.3.1-1.fc36
3.3.2-1.fc36
4
complete
89182602
2022-07-07 05:41:59
aarch64
├89182659 ( build.log | root.log )
ppc64le
├89182661 ( build.log | root.log )
x86_64
└89182660 ( build.log | root.log )
netpbm-progs
10.97.00-2.fc36
10.99.00-1.fc36
2
glibc
2.35-12.fc36
2.35-14.fc36
2
flexiblas-netlib
3.2.0-2.fc36
3.2.0-4.fc36
3
glibc-devel
2.35-12.fc36
2.35-14.fc36
3
glibc-minimal-langpack
2.35-12.fc36
2.35-14.fc36
3
glibc-gconv-extra
2.35-12.fc36
2.35-14.fc36
3
netpbm
10.97.00-2.fc36
10.99.00-1.fc36
3
glibc-common
2.35-12.fc36
2.35-14.fc36
3
flexiblas-openblas-openmp
3.2.0-2.fc36
3.2.0-4.fc36
4
glibc-headers-x86
2.35-12.fc36
2.35-14.fc36
4
flexiblas
3.2.0-2.fc36
3.2.0-4.fc36
4
hwdata
0.360-1.fc36
0.361-1.fc36
B
mesa-libgbm
22.1.2-1.fc36
22.1.3-1.fc36
B
mesa-libEGL
22.1.2-1.fc36
22.1.3-1.fc36
B
mesa-libglapi
22.1.2-1.fc36
22.1.3-1.fc36
B
mesa-libGL
22.1.2-1.fc36
22.1.3-1.fc36
B
complete
88957306
2022-07-01 14:59:54
aarch64
├88957363 ( build.log | root.log )
ppc64le
├88957365 ( build.log | root.log )
x86_64
└88957364 ( build.log | root.log )
antlr4
4.9.3-4.fc36
4.9.3-5.fc36
1
python3-antlr4-runtime
4.9.3-4.fc36
4.9.3-5.fc36
1
pyproject-rpm-macros
1.3.1-1.fc36
1.3.2-1.fc36
2
java-17-openjdk-headless
1:17.0.3.0.7-1.fc36
1:17.0.3.0.7-2.fc36
2
glibc
2.35-11.fc36
2.35-12.fc36
2
libcurl
7.82.0-5.fc36
7.82.0-6.fc36
2
antlr4-runtime
4.9.3-4.fc36
4.9.3-5.fc36
2
glibc-devel
2.35-11.fc36
2.35-12.fc36
3
glibc-minimal-langpack
2.35-11.fc36
2.35-12.fc36
3
gc
8.0.6-2.fc36
8.0.6-3.fc36
3
dwz
0.14-2.fc35
0.14-4.fc36
3
vim-filesystem
2:8.2.5085-1.fc36
2:8.2.5172-1.fc36
3
glibc-gconv-extra
2.35-11.fc36
2.35-12.fc36
3
gnutls
3.7.6-1.fc36
3.7.6-3.fc36
3
glibc-common
2.35-11.fc36
2.35-12.fc36
3
openldap
2.6.2-1.fc36
2.6.2-2.fc36
3
perl-Socket
4:2.033-1.fc36
4:2.034-1.fc36
4
openldap-compat
2.6.2-1.fc36
2.6.2-2.fc36
4
curl
7.82.0-5.fc36
7.82.0-6.fc36
4
glibc-headers-x86
2.35-11.fc36
2.35-12.fc36
4
perl-Filter
2:1.60-6.fc36
2:1.61-1.fc36
B
perl-libwww-perl
6.66-1.fc36
6.67-1.fc36
B
perl-Lingua-Translit
0.28-14.fc36
0.29-1.fc36
B
perl-Module-CoreList
1:5.20220527-1.fc36
1:5.20220620-1.fc36
B
libproxy
0.4.17-4.fc36
0.4.18-1.fc36
B
Real build: coq-8.15.2-1.fc36
complete
88593417
2022-06-22 14:51:52
aarch64
├88593432 ( build.log | root.log )
armhfp
├88593429 ( build.log | root.log )
i386
├88593430 ( build.log | root.log )
ppc64le
├88593433 ( build.log | root.log )
s390x
├88593434 ( build.log | root.log )
x86_64
└88593431 ( build.log | root.log )
No dependency changes
Previous history
Koschei version
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues