coq

Package information

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

Scheduler parameters

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

python3-devel
3.13.2-1.fc41
3.13.3-2.fc41
1
python3
3.13.2-1.fc41
3.13.3-2.fc41
2
python3-libs
3.13.2-1.fc41
3.13.3-2.fc41
2
glibc
2.40-23.fc41
2.40-24.fc41
2
cups-libs
1:2.4.11-9.fc41
1:2.4.12-2.fc41
3
glibc-minimal-langpack
2.40-23.fc41
2.40-24.fc41
3
glibc-devel
2.40-23.fc41
2.40-24.fc41
3
glibc-gconv-extra
2.40-23.fc41
2.40-24.fc41
3
glibc-common
2.40-23.fc41
2.40-24.fc41
3
alsa-lib
1.2.13-3.fc41
1.2.14-2.fc41
3
nss
3.109.0-1.fc41
3.110.0-2.fc41
3
nss-sysinit
3.109.0-1.fc41
3.110.0-2.fc41
4
debugedit
5.1-4.fc41
5.1-6.fc41
4
nspr
4.36.0-4.fc41
4.36.0-6.fc41
4
kernel-headers
6.13.3-200.fc41
6.14.3-200.fc41
4
nss-util
3.109.0-1.fc41
3.110.0-2.fc41
4
nss-softokn
3.109.0-1.fc41
3.110.0-2.fc41
4
cups-filesystem
1:2.4.11-9.fc41
1:2.4.12-2.fc41
4
fedora-release-identity-basic
41-31
41-32
B
nss-softokn-freebl
3.109.0-1.fc41
3.110.0-2.fc41
B
mesa-libGL
25.0.2-2.fc41
25.0.4-2.fc41
B
mesa-libEGL
25.0.2-2.fc41
25.0.4-2.fc41
B
fedora-release
41-31
41-32
B
fedora-release-common
41-31
41-32
B
mesa-dri-drivers
25.0.2-2.fc41
25.0.4-2.fc41
B
mesa-filesystem
25.0.2-2.fc41
25.0.4-2.fc41
B
mesa-libgbm
25.0.2-2.fc41
25.0.4-2.fc41
B

State overview

Groups

This package is not part of any global group.

Historical builds

complete
127117661
2024-12-22 14:02:24
aarch64
├127117785 ( build.log | root.log )
ppc64le
├127117786 ( build.log | root.log )
x86_64
└127117787 ( build.log | root.log )
python3-devel
3.13.0-1.fc41
3.13.1-2.fc41
1
python3
3.13.0-1.fc41
3.13.1-2.fc41
2
python3-libs
3.13.0-1.fc41
3.13.1-2.fc41
2
glibc
2.40-12.fc41
2.40-17.fc41
2
glibc-common
2.40-12.fc41
2.40-17.fc41
3
glibc-minimal-langpack
2.40-12.fc41
2.40-17.fc41
3
binutils
2.43.1-4.fc41
2.43.1-5.fc41
3
forge-srpm-macros
0.3.2-1.fc41
0.4.0-1.fc41
3
glibc-devel
2.40-12.fc41
2.40-17.fc41
3
glibc-gconv-extra
2.40-12.fc41
2.40-17.fc41
3
qt6-srpm-macros
6.8.0-1.fc41
6.8.1-4.fc41
3
alternatives
1.30-1.fc41
1.31-1.fc41
4
kernel-headers
6.11.3-300.fc41
6.12.4-200.fc41
4
nss
3.106.0-1.fc41
3.107.0-1.fc41
4
systemd-libs
256.9-2.fc41
256.10-1.fc41
4
nss-softokn-freebl
3.106.0-1.fc41
3.107.0-1.fc41
B
nspr
4.36.0-1.fc41
4.36.0-2.fc41
B
nss-softokn
3.106.0-1.fc41
3.107.0-1.fc41
B
nss-util
3.106.0-1.fc41
3.107.0-1.fc41
B
nss-sysinit
3.106.0-1.fc41
3.107.0-1.fc41
B
complete
126738717
2024-12-12 02:17:15
aarch64
├126738779 ( build.log | root.log )
ppc64le
├126738780 ( build.log | root.log )
x86_64
└126738781 ( build.log | root.log )
cairo-devel
1.18.2-1.fc41
1.18.2-2.fc41
2
pyproject-rpm-macros
1.16.0-1.fc41
1.16.3-1.fc41
2
pyproject-srpm-macros
1.16.0-1.fc41
1.16.3-1.fc41
3
cairo
1.18.2-1.fc41
1.18.2-2.fc41
3
pixman-devel
0.44.0-0.fc41
0.44.2-1.fc41
3
openldap
2.6.8-5.fc41
2.6.8-6.fc41
3
binutils
2.43.1-2.fc41
2.43.1-4.fc41
3
rpm-sequoia
1.7.0-2.fc41
1.7.0-3.fc41
3
elfutils-libelf
0.192-6.fc41
0.192-7.fc41
4
pixman
0.44.0-0.fc41
0.44.2-1.fc41
4
elfutils-debuginfod-client
0.192-6.fc41
0.192-7.fc41
4
cups-libs
1:2.4.11-3.fc41
1:2.4.11-8.fc41
4
sysprof-capture-devel
47.1-1.fc41
47.2-1.fc41
4
cairo-gobject-devel
1.18.2-1.fc41
1.18.2-2.fc41
4
systemd-libs
256.8-1.fc41
256.9-2.fc41
4
elfutils
0.192-6.fc41
0.192-7.fc41
4
cairo-gobject
1.18.2-1.fc41
1.18.2-2.fc41
4
mesa-dri-drivers
24.2.7-1.fc41
24.2.8-1.fc41
B
mesa-libglapi
24.2.7-1.fc41
24.2.8-1.fc41
B
mesa-libEGL
24.2.7-1.fc41
24.2.8-1.fc41
B
elfutils-default-yama-scope
0.192-6.fc41
0.192-7.fc41
B
hwdata
0.389-1.fc41
0.390-1.fc41
B
cups-filesystem
1:2.4.11-3.fc41
1:2.4.11-8.fc41
B
elfutils-libs
0.192-6.fc41
0.192-7.fc41
B
libdrm
2.4.123-1.fc41
2.4.124-1.fc41
B
mesa-libGL
24.2.7-1.fc41
24.2.8-1.fc41
B
mesa-filesystem
24.2.7-1.fc41
24.2.8-1.fc41
B
fedora-release-common
41-28
41-29
B
llvm-libs
19.1.4-1.fc41
19.1.5-1.fc41
B
mesa-libgbm
24.2.7-1.fc41
24.2.8-1.fc41
B
fedora-release-identity-basic
41-28
41-29
B
fedora-release
41-28
41-29
B
complete
126430450
2024-12-01 10:32:25
aarch64
├126430539 ( build.log | root.log )
ppc64le
├126430540 ( build.log | root.log )
x86_64
└126430538 ( build.log | root.log )
git-core
2.47.0-1.fc41
2.47.1-1.fc41
1
glibc
2.40-11.fc41
2.40-12.fc41
2
cairo-devel
1.18.0-4.fc41
1.18.2-1.fc41
2
efi-srpm-macros
5-12.fc41
5-13.fc41
3
glibc-common
2.40-11.fc41
2.40-12.fc41
3
glibc-minimal-langpack
2.40-11.fc41
2.40-12.fc41
3
glibc-gconv-extra
2.40-11.fc41
2.40-12.fc41
3
glibc-devel
2.40-11.fc41
2.40-12.fc41
3
cairo
1.18.0-4.fc41
1.18.2-1.fc41
3
cairo-gobject-devel
1.18.0-4.fc41
1.18.2-1.fc41
4
debugedit
5.1-1.fc41
5.1-2.fc41
4
libxcrypt-devel
4.4.36-10.fc41
4.4.36-11.fc41
4
pam-libs
1.6.1-6.fc41
1.6.1-7.fc41
4
pam
1.6.1-6.fc41
1.6.1-7.fc41
4
cairo-gobject
1.18.0-4.fc41
1.18.2-1.fc41
4
nss
3.105.0-1.fc41
3.106.0-1.fc41
4
nss-util
3.105.0-1.fc41
3.106.0-1.fc41
B
nss-sysinit
3.105.0-1.fc41
3.106.0-1.fc41
B
nss-softokn-freebl
3.105.0-1.fc41
3.106.0-1.fc41
B
nss-softokn
3.105.0-1.fc41
3.106.0-1.fc41
B
llvm-libs
19.1.0-1.fc41
19.1.4-1.fc41
B
libxcrypt
4.4.36-10.fc41
4.4.36-11.fc41
B
nspr
4.35.0-30.fc41
4.36.0-1.fc41
B
complete
126183944
2024-11-24 04:27:54
aarch64
├126184021 ( build.log | root.log )
ppc64le
├126184022 ( build.log | root.log )
x86_64
└126184020 ( build.log | root.log )
glibc
2.40-9.fc41
2.40-11.fc41
2
expat
2.6.3-1.fc41
2.6.4-1.fc41
2
glibc-gconv-extra
2.40-9.fc41
2.40-11.fc41
3
glibc-minimal-langpack
2.40-9.fc41
2.40-11.fc41
3
glibc-common
2.40-9.fc41
2.40-11.fc41
3
pixman-devel
0.43.4-2.fc41
0.44.0-0.fc41
3
build-reproducibility-srpm-macros
0.3.6-1.fc41
0.3.6-3.fc41
3
glibc-devel
2.40-9.fc41
2.40-11.fc41
3
coreutils
9.5-10.fc41
9.5-11.fc41
3
elfutils-libelf
0.192-5.fc41
0.192-6.fc41
4
gdb-minimal
15.2-2.fc41
15.2-3.fc41
4
systemd-libs
256.7-1.fc41
256.8-1.fc41
4
elfutils
0.192-5.fc41
0.192-6.fc41
4
coreutils-common
9.5-10.fc41
9.5-11.fc41
4
cups-libs
1:2.4.11-2.fc41
1:2.4.11-3.fc41
4
sysprof-capture-devel
47.0-1.fc41
47.1-1.fc41
4
add-determinism
0.3.6-1.fc41
0.3.6-3.fc41
4
pixman
0.43.4-2.fc41
0.44.0-0.fc41
4
elfutils-debuginfod-client
0.192-5.fc41
0.192-6.fc41
4
alsa-lib
1.2.12-2.fc41
1.2.13-3.fc41
4
mesa-libgbm
24.2.6-1.fc41
24.2.7-1.fc41
B
elfutils-libs
0.192-5.fc41
0.192-6.fc41
B
elfutils-default-yama-scope
0.192-5.fc41
0.192-6.fc41
B
fedora-release
41-27
41-28
B
mesa-libEGL
24.2.6-1.fc41
24.2.7-1.fc41
B
fedora-release-common
41-27
41-28
B
mesa-libGL
24.2.6-1.fc41
24.2.7-1.fc41
B
cups-filesystem
1:2.4.11-3.fc41
B
mesa-dri-drivers
24.2.6-1.fc41
24.2.7-1.fc41
B
mesa-libglapi
24.2.6-1.fc41
24.2.7-1.fc41
B
libtirpc
1.3.6-0.fc41
1.3.6-1.fc41
B
mesa-filesystem
24.2.6-1.fc41
24.2.7-1.fc41
B
fedora-release-identity-basic
41-27
41-28
B
complete
125648722
2024-11-09 01:54:49
aarch64
├125648798 ( build.log | root.log )
ppc64le
├125648796 ( build.log | root.log )
x86_64
└125648797 ( build.log | root.log )
ocaml-dune
3.16.0-3.fc41
3.16.1-1.fc41
1
pyproject-rpm-macros
1.15.1-1.fc41
1.16.0-1.fc41
2
icu4j
1:75.1-3.fc41
1:76.1-1.fc41
2
glibc
2.40-3.fc41
2.40-9.fc41
2
qt6-srpm-macros
6.7.2-3.fc41
6.8.0-1.fc41
3
pyproject-srpm-macros
1.15.1-1.fc41
1.16.0-1.fc41
3
glibc-gconv-extra
2.40-3.fc41
2.40-9.fc41
3
crypto-policies
20241010-1.git8baf557....
20241029-1.git8baf557....
3
krb5-libs
1.21.3-2.fc41
1.21.3-3.fc41
3
glibc-devel
2.40-3.fc41
2.40-9.fc41
3
glibc-common
2.40-3.fc41
2.40-9.fc41
3
glibc-minimal-langpack
2.40-3.fc41
2.40-9.fc41
3
gdb-minimal
15.2-1.fc41
15.2-2.fc41
4
pam
1.6.1-5.fc41
1.6.1-6.fc41
4
pam-libs
1.6.1-5.fc41
1.6.1-6.fc41
4
elfutils
0.192-4.fc41
0.192-5.fc41
4
libXcursor
1.2.2-2.fc41
1.2.3-1.fc41
4
libXcursor-devel
1.2.2-2.fc41
1.2.3-1.fc41
4
libxcrypt-devel
4.4.36-7.fc41
4.4.36-10.fc41
4
elfutils-libelf
0.192-4.fc41
0.192-5.fc41
4
elfutils-debuginfod-client
0.192-4.fc41
0.192-5.fc41
4
debugedit
5.0-18.fc41
5.1-1.fc41
4
cmake-filesystem
3.28.3-7.fc41
3.30.5-1.fc41
4
mesa-filesystem
24.2.4-1.fc41
24.2.6-1.fc41
B
mesa-libGL
24.2.4-1.fc41
24.2.6-1.fc41
B
mesa-dri-drivers
24.2.4-1.fc41
24.2.6-1.fc41
B
libxshmfence
1.3.2-4.fc41
1.3.2-5.fc41
B
fedora-release-identity-basic
41-25
41-27
B
elfutils-libs
0.192-4.fc41
0.192-5.fc41
B
libxcrypt
4.4.36-7.fc41
4.4.36-10.fc41
B
mesa-libEGL
24.2.4-1.fc41
24.2.6-1.fc41
B
fedora-release-common
41-25
41-27
B
mesa-libglapi
24.2.4-1.fc41
24.2.6-1.fc41
B
hwdata
0.388-1.fc41
0.389-1.fc41
B
fedora-release
41-25
41-27
B
elfutils-default-yama-scope
0.192-4.fc41
0.192-5.fc41
B
glibc-headers-x86
2.40-3.fc41
libusb1
1.0.27-3.fc41
1.0.27-4.fc41
B
mesa-libgbm
24.2.4-1.fc41
24.2.6-1.fc41
B
Koschei version 2afbb17
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues