coq

Package information

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

Scheduler parameters

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

colord-libs
1.4.7-6.fc42
1.4.7-8.fc43
4

State overview

Groups

This package is not part of any global group.

Most recent builds

failed
134220195
2025-06-21 05:44:56
aarch64
├134220294 ( build.log | root.log )
ppc64le
├134220295 ( build.log | root.log )
x86_64
└134220296 ( build.log | root.log )
python3-devel
3.14.0~b3-1.fc43
3.14.0~b3-2.fc43
1
python3-libs
3.14.0~b3-1.fc43
3.14.0~b3-2.fc43
2
python3
3.14.0~b3-1.fc43
3.14.0~b3-2.fc43
2
pyproject-rpm-macros
1.18.1-1.fc43
1.18.2-1.fc43
2
glibc
2.41.9000-16.fc43
2.41.9000-19.fc43
2
libnghttp2
1.65.0-1.fc43
1.66.0-1.fc43
3
glibc-devel
2.41.9000-16.fc43
2.41.9000-19.fc43
3
glibc-gconv-extra
2.41.9000-16.fc43
2.41.9000-19.fc43
3
glibc-minimal-langpack
2.41.9000-16.fc43
2.41.9000-19.fc43
3
glibc-common
2.41.9000-16.fc43
2.41.9000-19.fc43
3
annobin-plugin-gcc
12.96-1.fc43
12.97-1.fc43
3
pyproject-srpm-macros
1.18.1-1.fc43
1.18.2-1.fc43
3
crypto-policies
20250603-1.git3a584b3....
20250620-1.git9496ef7....
3
debugedit
5.1-6.fc43
5.1-7.fc43
4
annobin-docs
12.96-1.fc43
12.97-1.fc43
4
mesa-libEGL
25.1.3-2.fc43
25.1.4-1.fc43
B
mesa-filesystem
25.1.3-2.fc43
25.1.4-1.fc43
B
which
2.23-1.fc42
2.23-2.fc43
B
llvm-filesystem
20.1.6-9.fc43
20.1.7-1.fc43
B
libdrm
2.4.124-2.fc42
2.4.125-1.fc43
B
mesa-dri-drivers
25.1.3-2.fc43
25.1.4-1.fc43
B
mesa-libGL
25.1.3-2.fc43
25.1.4-1.fc43
B
llvm-libs
20.1.6-9.fc43
20.1.7-1.fc43
B
mesa-libgbm
25.1.3-2.fc43
25.1.4-1.fc43
B
failed
134139396
2025-06-19 10:31:29
aarch64
├134139499 ( build.log | root.log )
ppc64le
├134139500 ( build.log | root.log )
x86_64
└134139501 ( build.log | root.log )
python3-devel
3.14.0~b2-3.fc43
3.14.0~b3-1.fc43
1
adwaita-icon-theme
48.0-2.fc43
48.1-1.fc43
1
adwaita-cursor-theme
48.0-2.fc43
48.1-1.fc43
2
python3
3.14.0~b2-3.fc43
3.14.0~b3-1.fc43
2
glibc
2.41.9000-15.fc43
2.41.9000-16.fc43
2
python3-libs
3.14.0~b2-3.fc43
3.14.0~b3-1.fc43
2
glibc-minimal-langpack
2.41.9000-15.fc43
2.41.9000-16.fc43
3
python-pip-wheel
25.1.1-4.fc43
25.1.1-5.fc43
3
glibc-gconv-extra
2.41.9000-15.fc43
2.41.9000-16.fc43
3
glibc-common
2.41.9000-15.fc43
2.41.9000-16.fc43
3
glibc-devel
2.41.9000-15.fc43
2.41.9000-16.fc43
3
pam-libs
1.7.0-4.fc42
1.7.1-1.fc43
4
failed
134088497
2025-06-17 23:21:09
aarch64
├134088536 ( build.log | root.log )
ppc64le
├134088537 ( build.log | root.log )
x86_64
└134088538 ( build.log | root.log )
libpng
2:1.6.48-1.fc43
2:1.6.49-1.fc43
2
glib2
2.85.0-1.fc43
2.85.1-1.fc43
2
ncurses-libs
6.5-5.20250125.fc42
6.5-6.20250614.fc43
3
libjpeg-turbo
3.1.0-2.fc42
3.1.1-1.fc43
3
tree-sitter-srpm-macros
0.3.0-1.fc43
0.4.1-1.fc43
3
glib2-devel
2.85.0-1.fc43
2.85.1-1.fc43
3
libpng-devel
2:1.6.48-1.fc43
2:1.6.49-1.fc43
3
libffi
3.4.8-1.fc43
3.5.1-1.fc43
3
publicsuffix-list-dafsa
20250116-1.fc42
20250616-1.fc43
4
kernel-headers
6.16.0-0.rc1.17.fc43
6.16.0-0.rc2.24.fc43
4
ncurses-base
6.5-5.20250125.fc42
6.5-6.20250614.fc43
4
libffi-devel
3.4.8-1.fc43
3.5.1-1.fc43
4
mesa-dri-drivers
25.1.3-1.fc43
25.1.3-2.fc43
B
llvm-filesystem
20.1.6-6.fc43
20.1.6-9.fc43
B
mesa-libGL
25.1.3-1.fc43
25.1.3-2.fc43
B
mesa-libEGL
25.1.3-1.fc43
25.1.3-2.fc43
B
libjpeg-turbo-devel
3.1.0-2.fc42
3.1.1-1.fc43
B
mesa-libgbm
25.1.3-1.fc43
25.1.3-2.fc43
B
mesa-filesystem
25.1.3-1.fc43
25.1.3-2.fc43
B
llvm-libs
20.1.6-6.fc43
20.1.6-9.fc43
B
failed
133846051
2025-06-12 00:27:08
aarch64
├133846160 ( build.log | root.log )
ppc64le
├133846159 ( build.log | root.log )
x86_64
└133846161 ( build.log | root.log )
python3-devel
3.13.3-3.fc43
3.14.0~b2-3.fc43
1
antlr4
4.13.2-4.fc42
4.13.2-5.fc43
1
python3-antlr4-runtime
4.13.2-4.fc42
4.13.2-5.fc43
1
rpm-libs
5.99.90-5.fc43
5.99.90-6.fc43
2
libselinux
3.8-2.fc43
3.8-3.fc43
2
antlr4-runtime
4.13.2-4.fc42
4.13.2-5.fc43
2
javapackages-filesystem
6.4.0-7.fc43
6.4.0-8.fc43
2
python-rpm-macros
3.13-5.fc43
3.14-1.fc43
2
python3-rpm-macros
3.13-5.fc43
3.14-1.fc43
2
javapackages-tools
6.4.0-7.fc43
6.4.0-8.fc43
2
python3-libs
3.13.3-3.fc43
3.14.0~b2-3.fc43
2
python3
3.13.3-3.fc43
3.14.0~b2-3.fc43
2
libuuid
2.40.4-7.fc43
2.40.4-8.fc43
2
libxml2
2.12.10-1.fc43
2.12.10-2.fc43
3
openldap
2.6.9-5.fc43
2.6.10-1.fc43
3
rpm-build
5.99.90-5.fc43
5.99.90-6.fc43
3
python-pip-wheel
25.1.1-3.fc43
25.1.1-4.fc43
3
java-srpm-macros
1-3.fc43
1-4.fc43
3
libbrotli
1.1.0-6.fc42
1.1.0-7.fc43
3
dwz
0.15-9.fc42
0.16-1.fc43
3
python3-packaging
25.0-1.fc43
25.0-3.fc43
3
python-srpm-macros
3.13-5.fc43
3.14-1.fc43
3
file
5.46-4.fc43
5.46-5.fc43
3
libxml2-devel
2.12.10-1.fc43
2.12.10-2.fc43
3
rpm
5.99.90-5.fc43
5.99.90-6.fc43
3
pixman-devel
0.44.2-2.fc42
0.46.2-1.fc43
3
util-linux
2.40.4-7.fc43
2.40.4-8.fc43
3
libmount
2.40.4-7.fc43
2.40.4-8.fc43
3
libblkid
2.40.4-7.fc43
2.40.4-8.fc43
4
cmake-filesystem
3.31.6-2.fc43
3.31.6-3.fc43
4
libselinux-devel
3.8-2.fc43
3.8-3.fc43
4
audit-libs
4.0.4-2.fc43
4.0.5-1.fc43
4
util-linux-core
2.40.4-7.fc43
2.40.4-8.fc43
4
libmount-devel
2.40.4-7.fc43
2.40.4-8.fc43
4
libcap-ng
0.8.5-4.fc42
0.8.5-5.fc43
4
gdb-minimal
16.3-1.fc43
16.3-3.fc43
4
file-libs
5.46-4.fc43
5.46-5.fc43
4
libsmartcols
2.40.4-7.fc43
2.40.4-8.fc43
4
libfdisk
2.40.4-7.fc43
2.40.4-8.fc43
4
rpm-build-libs
5.99.90-5.fc43
5.99.90-6.fc43
4
pixman
0.44.2-2.fc42
0.46.2-1.fc43
4
kernel-headers
6.15.0-61.fc43
6.16.0-0.rc1.17.fc43
4
brotli-devel
1.1.0-6.fc42
1.1.0-7.fc43
4
llvm-filesystem
20.1.6-1.fc43
20.1.6-6.fc43
B
rpm-sign-libs
5.99.90-5.fc43
5.99.90-6.fc43
B
libsemanage
3.8.1-2.fc43
3.8.1-3.fc43
B
brotli
1.1.0-6.fc42
1.1.0-7.fc43
B
llvm-libs
20.1.6-1.fc43
20.1.6-6.fc43
B
libb2
0.98.1-13.fc42
libblkid-devel
2.40.4-7.fc43
2.40.4-8.fc43
B
complete
133752387
2025-06-09 16:06:38
aarch64
├133752493 ( build.log | root.log )
ppc64le
├133752492 ( build.log | root.log )
x86_64
└133752494 ( build.log | root.log )
java-21-openjdk
1:21.0.7.0.6-1.fc43
1:21.0.7.0.6-2.fc43
1
openssh-clients
10.0p1-2.fc43
10.0p1-3.fc43
2
libcurl
8.14.0-1.fc43
8.14.1-1.fc43
2
java-21-openjdk-headless
1:21.0.7.0.6-1.fc43
1:21.0.7.0.6-2.fc43
2
openssl-libs
1:3.5.0-3.fc43
1:3.5.0-5.fc43
2
openssh
10.0p1-2.fc43
10.0p1-3.fc43
3
tree-sitter-srpm-macros
0.2.4-1.fc43
0.3.0-1.fc43
3
krb5-libs
1.21.3-5.fc42
1.21.3-6.fc43
3
qt6-srpm-macros
6.9.0-2.fc43
6.9.1-1.fc43
3
curl
8.14.0-1.fc43
8.14.1-1.fc43
4
libeconf
0.7.6-1.fc43
0.7.9-1.fc43
B
mesa-libgbm
25.1.1-1.fc43
25.1.3-1.fc43
B
mesa-libGL
25.1.1-1.fc43
25.1.3-1.fc43
B
mesa-dri-drivers
25.1.1-1.fc43
25.1.3-1.fc43
B
mesa-libEGL
25.1.1-1.fc43
25.1.3-1.fc43
B
mesa-filesystem
25.1.1-1.fc43
25.1.3-1.fc43
B
complete
133568485
2025-06-05 04:25:51
aarch64
├133568652 ( build.log | root.log )
ppc64le
├133568651 ( build.log | root.log )
x86_64
└133568653 ( build.log | root.log )
libarchive
3.7.7-4.fc43
3.8.1-1.fc43
2
cairo-devel
1.18.2-3.fc42
1.18.4-1.fc43
2
lzo-devel
2.10-14.fc42
3
crypto-policies
20250402-2.git86c0178....
20250603-1.git3a584b3....
3
lua-libs
5.4.7-3.fc43
5.4.8-1.fc43
3
sqlite-libs
3.49.2-1.fc43
3.50.0-1.fc43
3
annobin-plugin-gcc
12.95-1.fc43
12.96-1.fc43
3
file
5.46-1.fc42
5.46-4.fc43
3
cairo
1.18.2-3.fc42
1.18.4-1.fc43
3
cairo-gobject-devel
1.18.2-3.fc42
1.18.4-1.fc43
4
annobin-docs
12.95-1.fc43
12.96-1.fc43
4
file-libs
5.46-1.fc42
5.46-4.fc43
4
cairo-gobject
1.18.2-3.fc42
1.18.4-1.fc43
4
lzo
2.10-14.fc42
4
lzo-minilzo
2.10-14.fc42
4
llvm-libs
20.1.5-1.fc43
20.1.6-1.fc43
B
hwdata
0.395-1.fc43
0.396-1.fc43
B
llvm-filesystem
20.1.5-1.fc43
20.1.6-1.fc43
B
libsemanage
3.8-1.fc42
3.8.1-2.fc43
B
complete
133446585
2025-06-02 02:33:42
aarch64
├133446657 ( build.log | root.log )
ppc64le
├133446656 ( build.log | root.log )
x86_64
└133446658 ( build.log | root.log )
redhat-rpm-config
343-5.fc43
343-6.fc43
2
glibc
2.41.9000-14.fc43
2.41.9000-15.fc43
2
nss
3.111.0-2.fc43
3.112.0-1.fc43
3
glibc-minimal-langpack
2.41.9000-14.fc43
2.41.9000-15.fc43
3
glibc-gconv-extra
2.41.9000-14.fc43
2.41.9000-15.fc43
3
java-srpm-macros
1-3.fc43
3
glibc-common
2.41.9000-14.fc43
2.41.9000-15.fc43
3
systemd-standalone-sysusers
257.5-5.fc43
257.6-1.fc43
3
glibc-devel
2.41.9000-14.fc43
2.41.9000-15.fc43
3
systemd-libs
257.5-5.fc43
257.6-1.fc43
4
nss-sysinit
3.111.0-2.fc43
3.112.0-1.fc43
4
nss-softokn
3.111.0-2.fc43
3.112.0-1.fc43
4
nss-util
3.111.0-2.fc43
3.112.0-1.fc43
4
nspr
4.36.0-8.fc43
4.36.0-9.fc43
4
audit-libs
4.0.4-1.fc43
4.0.4-2.fc43
4
mesa-libgbm
25.1.0-3.fc43
25.1.1-1.fc43
B
nss-softokn-freebl
3.111.0-2.fc43
3.112.0-1.fc43
B
mesa-dri-drivers
25.1.0-3.fc43
25.1.1-1.fc43
B
systemd-rpm-macros
257.5-5.fc43
257.6-1.fc43
B
systemd-devel
257.5-5.fc43
257.6-1.fc43
B
mesa-filesystem
25.1.0-3.fc43
25.1.1-1.fc43
B
mesa-libGL
25.1.0-3.fc43
25.1.1-1.fc43
B
mesa-libEGL
25.1.0-3.fc43
25.1.1-1.fc43
B
complete
133320650
2025-05-29 18:54:41
aarch64
├133320821 ( build.log | root.log )
ppc64le
├133320820 ( build.log | root.log )
x86_64
└133320822 ( build.log | root.log )
libcurl
8.14.0~rc1-1.fc43
8.14.0-1.fc43
2
glibc
2.41.9000-13.fc43
2.41.9000-14.fc43
2
libselinux
3.8-1.fc42
3.8-2.fc43
2
coreutils
9.7-2.fc43
9.7-3.fc43
3
glibc-minimal-langpack
2.41.9000-13.fc43
2.41.9000-14.fc43
3
fonts-filesystem
1:2.0.5-21.fc42
1:2.0.5-22.fc43
3
qt5-srpm-macros
5.15.16-1.fc43
5.15.17-1.fc43
3
glibc-gconv-extra
2.41.9000-13.fc43
2.41.9000-14.fc43
3
fonts-srpm-macros
1:2.0.5-21.fc42
1:2.0.5-22.fc43
3
glibc-common
2.41.9000-13.fc43
2.41.9000-14.fc43
3
glibc-devel
2.41.9000-13.fc43
2.41.9000-14.fc43
3
gnupg2
2.4.8-1.fc43
2.4.8-2.fc43
4
libxkbcommon-devel
1.9.2-1.fc43
1.10.0-1.fc43
4
p11-kit-trust
0.25.5-5.fc42
0.25.5-8.fc43
4
libselinux-devel
3.8-1.fc42
3.8-2.fc43
4
audit-libs
4.0.3-2.fc42
4.0.4-1.fc43
4
kernel-headers
6.15.0-0.rc7.57.fc43
6.15.0-61.fc43
4
p11-kit
0.25.5-5.fc42
0.25.5-8.fc43
4
coreutils-common
9.7-2.fc43
9.7-3.fc43
4
libxkbcommon
1.9.2-1.fc43
1.10.0-1.fc43
4
curl
8.14.0~rc1-1.fc43
8.14.0-1.fc43
4
gnupg2-verify
2.4.8-2.fc43
B
gnupg2-gpg-agent
2.4.8-2.fc43
B
gnupg2-dirmngr
2.4.8-2.fc43
B
gnupg2-gpgconf
2.4.8-2.fc43
B
llvm-filesystem
20.1.3-1.fc43
20.1.5-1.fc43
B
llvm-libs
20.1.3-1.fc43
20.1.5-1.fc43
B
fedora-release-identity-basic
43-0.15
43-0.16
B
fedora-release-common
43-0.15
43-0.16
B
fedora-release
43-0.15
43-0.16
B
gnupg2-keyboxd
2.4.8-2.fc43
B
Previous history
Koschei version ebf3b02
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues