coq

Package information

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

Scheduler parameters

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

glibc
2.40.9000-37.fc43
2.41.9000-1.fc43
2
libpng
2:1.6.46-1.fc43
2:1.6.47-1.fc43
2
libzstd
1.5.6-3.fc42
1.5.7-1.fc43
2
openssh-clients
9.9p1-7.fc42
9.9p1-9.fc43
2
pcre2
10.44-1.fc43.2
10.45-1.fc43
2
libzstd-devel
1.5.6-3.fc42
1.5.7-1.fc43
2
gmp-devel
1:6.3.0-2.fc41
1:6.3.0-3.fc43
2
gmp
1:6.3.0-2.fc41
1:6.3.0-3.fc43
3
glibc-gconv-extra
2.40.9000-37.fc43
2.41.9000-1.fc43
3
glibc-common
2.40.9000-37.fc43
2.41.9000-1.fc43
3
gmp-c++
1:6.3.0-2.fc41
1:6.3.0-3.fc43
3
cups-libs
1:2.4.11-11.fc43
1:2.4.11-13.fc43
3
glibc-devel
2.40.9000-37.fc43
2.41.9000-1.fc43
3
pcre2-syntax
10.44-1.fc43.2
10.45-1.fc43
3
libpng-devel
2:1.6.46-1.fc43
2:1.6.47-1.fc43
3
qt6-srpm-macros
6.8.2-1.fc42
6.8.2-2.fc43
3
glibc-minimal-langpack
2.40.9000-37.fc43
2.41.9000-1.fc43
3
openssh
9.9p1-7.fc42
9.9p1-9.fc43
3
cups-filesystem
1:2.4.11-11.fc43
1:2.4.11-13.fc43
4
pcre2-devel
10.44-1.fc43.2
10.45-1.fc43
4
harfbuzz-devel
10.2.0-2.fc42
10.3.0-1.fc43
4
libcloudproviders-devel
0.3.5-6.fc42
0.3.6-1.fc43
4
libcloudproviders
0.3.5-6.fc42
0.3.6-1.fc43
4
harfbuzz
10.2.0-2.fc42
10.3.0-1.fc43
4
zstd
1.5.6-3.fc42
1.5.7-1.fc43
4
kernel-headers
6.14.0-0.rc2.22.fc43
6.14.0-0.rc3.29.fc43
4
harfbuzz-cairo
10.2.0-2.fc42
10.3.0-1.fc43
B
mesa-dri-drivers
25.0.0~rc3-1.fc43
25.0.0-1.fc43
B
mesa-libgbm
25.0.0~rc3-1.fc43
25.0.0-1.fc43
B
harfbuzz-icu
10.2.0-2.fc42
10.3.0-1.fc43
B
pcre2-utf32
10.44-1.fc43.2
10.45-1.fc43
B
mesa-filesystem
25.0.0~rc3-1.fc43
25.0.0-1.fc43
B
fedora-release-common
43-0.2
43-0.5
B
mesa-libGL
25.0.0~rc3-1.fc43
25.0.0-1.fc43
B
pcre2-utf16
10.44-1.fc43.2
10.45-1.fc43
B
fedora-release
43-0.2
43-0.5
B
fedora-release-identity-basic
43-0.2
43-0.5
B
mesa-libEGL
25.0.0~rc3-1.fc43
25.0.0-1.fc43
B

State overview

Groups

This package is not part of any global group.

Historical builds

complete
122529036
2024-08-26 23:21:16
aarch64
├122529169 ( build.log | root.log )
ppc64le
├122529168 ( build.log | root.log )
x86_64
└122529170 ( build.log | root.log )
libuuid
2.40.2-4.fc41
2.40.2-6.fc42
2
libgcc
14.1.1-7.fc41
14.2.1-1.fc42
2
libcurl
8.9.1-2.fc41
8.9.1-3.fc42
2
gcc
14.1.1-7.fc41
14.2.1-1.fc42
2
glib2
2.81.2-2.fc42
2.82.0-1.fc42
2
libmount
2.40.2-4.fc41
2.40.2-6.fc42
3
libX11-devel
1.8.10-1.fc41
1.8.10-2.fc42
3
glib2-devel
2.81.2-2.fc42
2.82.0-1.fc42
3
libgomp
14.1.1-7.fc41
14.2.1-1.fc42
3
cpp
14.1.1-7.fc41
14.2.1-1.fc42
3
gcc-plugin-annobin
14.1.1-7.fc41
14.2.1-1.fc42
3
crypto-policies
20240807-1.git5795660....
20240826-1.gite824389....
3
util-linux
2.40.2-4.fc41
2.40.2-6.fc42
3
libquadmath
14.1.1-7.fc41
14.2.1-1.fc42
4
libX11-xcb
1.8.10-1.fc41
1.8.10-2.fc42
4
libgfortran
14.1.1-7.fc41
14.2.1-1.fc42
4
kernel-headers
6.11.0-0.rc4.37.fc42
6.11.0-0.rc5.43.fc42
4
libstdc++
14.1.1-7.fc41
14.2.1-1.fc42
4
util-linux-core
2.40.2-4.fc41
2.40.2-6.fc42
4
libblkid
2.40.2-4.fc41
2.40.2-6.fc42
4
curl
8.9.1-2.fc41
8.9.1-3.fc42
4
libmount-devel
2.40.2-4.fc41
2.40.2-6.fc42
4
libsmartcols
2.40.2-4.fc41
2.40.2-6.fc42
4
libX11
1.8.10-1.fc41
1.8.10-2.fc42
4
libfdisk
2.40.2-4.fc41
2.40.2-6.fc42
4
mesa-filesystem
24.2.0-1.fc42
24.2.0-2.fc42
B
libblkid-devel
2.40.2-4.fc41
2.40.2-6.fc42
B
libX11-common
1.8.10-1.fc41
1.8.10-2.fc42
B
mesa-libgbm
24.2.0-1.fc42
24.2.0-2.fc42
B
mesa-libGL
24.2.0-1.fc42
24.2.0-2.fc42
B
mesa-libglapi
24.2.0-1.fc42
24.2.0-2.fc42
B
mesa-libEGL
24.2.0-1.fc42
24.2.0-2.fc42
B
mesa-dri-drivers
24.2.0-1.fc42
24.2.0-2.fc42
B
complete
122292365
2024-08-22 04:18:57
aarch64
├122292463 ( build.log | root.log )
ppc64le
├122292461 ( build.log | root.log )
x86_64
└122292462 ( build.log | root.log )
glib2
2.81.1-1.fc41
2.81.2-2.fc42
2
pkgconf-pkg-config
2.1.1-2.fc41
2.3.0-1.fc42
2
redhat-rpm-config
293-1.fc41
294-1.fc42
2
rust-srpm-macros
26.3-1.fc41
26.3-3.fc42
3
pkgconf-m4
2.1.1-2.fc41
2.3.0-1.fc42
3
libffi
3.4.6-2.fc41
3.4.6-3.fc42
3
coreutils
9.5-7.fc41
9.5-8.fc42
3
gnutls
3.8.6-7.fc41
3.8.7-2.fc42
3
pkgconf
2.1.1-2.fc41
2.3.0-1.fc42
3
glib2-devel
2.81.1-1.fc41
2.81.2-2.fc42
3
binutils
2.42.90-1.fc41
2.43.1-1.fc42
3
kernel-headers
6.11.0-0.rc3.30.fc41
6.11.0-0.rc4.37.fc42
4
cups-libs
1:2.4.10-5.fc42
1:2.4.10-6.fc42
4
libffi-devel
3.4.6-2.fc41
3.4.6-3.fc42
4
harfbuzz-devel
9.0.0-2.fc41
9.0.0-3.fc42
4
libpkgconf
2.1.1-2.fc41
2.3.0-1.fc42
4
coreutils-common
9.5-7.fc41
9.5-8.fc42
4
atk-devel
2.53.1-1.fc41
2.53.1-2.fc42
4
harfbuzz
9.0.0-2.fc41
9.0.0-3.fc42
4
atk
2.53.1-1.fc41
2.53.1-2.fc42
4
at-spi2-atk
2.53.1-1.fc41
2.53.1-2.fc42
4
systemd-libs
256.4-1.fc41
256.5-1.fc42
4
at-spi2-atk-devel
2.53.1-1.fc41
2.53.1-2.fc42
4
harfbuzz-cairo
9.0.0-3.fc42
B
avahi-libs
0.8-29.fc41
0.8-30.fc42
B
mesa-filesystem
24.2.0~rc4-1.fc41
24.2.0-1.fc42
B
avahi-glib
0.8-29.fc41
0.8-30.fc42
B
at-spi2-core
2.53.1-1.fc41
2.53.1-2.fc42
B
fedora-release
42-0.1
42-0.3
B
mesa-libgbm
24.2.0~rc4-1.fc41
24.2.0-1.fc42
B
mesa-libGL
24.2.0~rc4-1.fc41
24.2.0-1.fc42
B
mesa-libglapi
24.2.0~rc4-1.fc41
24.2.0-1.fc42
B
mesa-dri-drivers
24.2.0~rc4-1.fc41
24.2.0-1.fc42
B
fedora-release-identity-basic
42-0.1
42-0.3
B
fedora-release-common
42-0.1
42-0.3
B
harfbuzz-icu
9.0.0-2.fc41
9.0.0-3.fc42
B
mesa-libEGL
24.2.0~rc4-1.fc41
24.2.0-1.fc42
B
at-spi2-core-devel
2.53.1-1.fc41
2.53.1-2.fc42
B
Koschei version 2afbb17
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues