coq

Package information

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

Scheduler parameters

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

javapackages-filesystem
6.3.4-1.fc42
6.4.0-2.fc42
2
javapackages-tools
6.3.4-1.fc42
6.4.0-2.fc42
2
glibc
2.40.9000-18.fc42
2.40.9000-20.fc42
2
glib2
2.83.0-1.fc42
2.83.0-2.fc42
2
file
5.45-7.fc41
5.45-8.fc42
3
glib2-devel
2.83.0-1.fc42
2.83.0-2.fc42
3
glibc-minimal-langpack
2.40.9000-18.fc42
2.40.9000-20.fc42
3
glibc-common
2.40.9000-18.fc42
2.40.9000-20.fc42
3
glibc-devel
2.40.9000-18.fc42
2.40.9000-20.fc42
3
efi-srpm-macros
5-12.fc41
5-13.fc42
3
glibc-gconv-extra
2.40.9000-18.fc42
2.40.9000-20.fc42
3
nss
3.105.0-1.fc42
3.106.0-1.fc42
4
pam-libs
1.7.0-2.fc42
1.7.0-3.fc42
4
pam
1.7.0-2.fc42
1.7.0-3.fc42
4
file-libs
5.45-7.fc41
5.45-8.fc42
4
cups-libs
1:2.4.11-3.fc42
1:2.4.11-4.fc42
4
liblerc-devel
4.0.0-7.fc41
B
nss-softokn-freebl
3.105.0-1.fc42
3.106.0-1.fc42
B
mesa-libglapi
24.3.0~rc2-1.fc42
24.3.0-1.fc42
B
nss-util
3.105.0-1.fc42
3.106.0-1.fc42
B
mesa-filesystem
24.3.0~rc2-1.fc42
24.3.0-1.fc42
B
mesa-dri-drivers
24.3.0~rc2-1.fc42
24.3.0-1.fc42
B
nss-sysinit
3.105.0-1.fc42
3.106.0-1.fc42
B
nspr
4.35.0-30.fc42
4.36.0-1.fc42
B
mesa-libEGL
24.3.0~rc2-1.fc42
24.3.0-1.fc42
B
nss-softokn
3.105.0-1.fc42
3.106.0-1.fc42
B
libtiff
4.6.0-6.fc42
4.7.0-2.fc42
B
mesa-libgbm
24.3.0~rc2-1.fc42
24.3.0-1.fc42
B
llvm-libs
19.1.3-2.fc42
19.1.3-3.fc42
B
libtiff-devel
4.6.0-6.fc42
4.7.0-2.fc42
B
cups-filesystem
1:2.4.11-3.fc42
1:2.4.11-4.fc42
B
mesa-libGL
24.3.0~rc2-1.fc42
24.3.0-1.fc42
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 )
libcurl
8.9.1-2.fc41
8.9.1-3.fc42
2
glib2
2.81.2-2.fc42
2.82.0-1.fc42
2
libuuid
2.40.2-4.fc41
2.40.2-6.fc42
2
gcc
14.1.1-7.fc41
14.2.1-1.fc42
2
libgcc
14.1.1-7.fc41
14.2.1-1.fc42
2
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
libmount
2.40.2-4.fc41
2.40.2-6.fc42
3
glib2-devel
2.81.2-2.fc42
2.82.0-1.fc42
3
libX11-devel
1.8.10-1.fc41
1.8.10-2.fc42
3
libgomp
14.1.1-7.fc41
14.2.1-1.fc42
3
util-linux
2.40.2-4.fc41
2.40.2-6.fc42
3
libstdc++
14.1.1-7.fc41
14.2.1-1.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
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
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
mesa-filesystem
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-libglapi
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-dri-drivers
24.2.0-1.fc42
24.2.0-2.fc42
B
mesa-libgbm
24.2.0-1.fc42
24.2.0-2.fc42
B
libX11-common
1.8.10-1.fc41
1.8.10-2.fc42
B
libblkid-devel
2.40.2-4.fc41
2.40.2-6.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
binutils
2.42.90-1.fc41
2.43.1-1.fc42
3
gnutls
3.8.6-7.fc41
3.8.7-2.fc42
3
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
coreutils
9.5-7.fc41
9.5-8.fc42
3
libffi
3.4.6-2.fc41
3.4.6-3.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
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
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
mesa-libgbm
24.2.0~rc4-1.fc41
24.2.0-1.fc42
B
fedora-release
42-0.1
42-0.3
B
at-spi2-core
2.53.1-1.fc41
2.53.1-2.fc42
B
avahi-glib
0.8-29.fc41
0.8-30.fc42
B
mesa-filesystem
24.2.0~rc4-1.fc41
24.2.0-1.fc42
B
avahi-libs
0.8-29.fc41
0.8-30.fc42
B
harfbuzz-cairo
9.0.0-3.fc42
B
at-spi2-core-devel
2.53.1-1.fc41
2.53.1-2.fc42
B
mesa-libEGL
24.2.0~rc4-1.fc41
24.2.0-1.fc42
B
harfbuzz-icu
9.0.0-2.fc41
9.0.0-3.fc42
B
fedora-release-common
42-0.1
42-0.3
B
fedora-release-identity-basic
42-0.1
42-0.3
B
mesa-dri-drivers
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-libGL
24.2.0~rc4-1.fc41
24.2.0-1.fc42
B
complete
121977076
2024-08-15 08:49:11
aarch64
├121977269 ( build.log | root.log )
ppc64le
├121977270 ( build.log | root.log )
x86_64
└121977271 ( build.log | root.log )
rsync
3.3.0-3.fc41
3.3.0-4.fc42
1
adwaita-icon-theme
46.2-3.fc41
47~beta-1.fc41
1
less
661-1.fc41
661-2.fc41
2
adwaita-cursor-theme
46.2-3.fc41
47~beta-1.fc41
2
bash
5.2.26-4.fc41
5.2.32-1.fc41
2
annobin-plugin-gcc
12.67-1.fc41
12.70-1.fc42
3
readline
8.2-9.fc41
8.2-10.fc41
3
libedit
3.1-52.20240517cv...
3.1-53.20240808cv...
3
kernel-headers
6.11.0-0.rc2.23.fc41
6.11.0-0.rc3.30.fc41
4
default-fonts-core-sans
4.1-2.fc41
4.1-3.fc42
4
annobin-docs
12.67-1.fc41
12.70-1.fc42
4
cups-libs
1:2.4.10-3.fc41
1:2.4.10-5.fc42
4
libtiff-devel
4.6.0-5.fc41
4.6.0-6.fc42
B
fedora-release-common
41-0.20
42-0.1
B
fedora-repos-rawhide
41-0.2
42-0.1
B
libtiff
4.6.0-5.fc41
4.6.0-6.fc42
B
fedora-release
41-0.20
42-0.1
B
fedora-gpg-keys
41-0.2
42-0.1
B
fedora-repos
41-0.2
42-0.1
B
fedora-release-identity-basic
41-0.20
42-0.1
B
complete
121690242
2024-08-09 10:46:48
aarch64
├121690375 ( build.log | root.log )
ppc64le
├121690376 ( build.log | root.log )
x86_64
└121690374 ( build.log | root.log )
python3-devel
3.13.0~rc1-1.fc41
3.13.0~rc1-2.fc41
1
python3-libs
3.13.0~rc1-1.fc41
3.13.0~rc1-2.fc41
2
python3
3.13.0~rc1-1.fc41
3.13.0~rc1-2.fc41
2
crypto-policies
20240802-1.git2e5e430....
20240807-1.git5795660....
3
flexiblas-netlib
3.4.4-2.fc41
3.4.4-3.fc41
3
annobin-plugin-gcc
12.66-1.fc41
12.67-1.fc41
3
sqlite-libs
3.46.0-3.fc41
3.46.0-4.fc41
3
flexiblas-openblas-openmp
3.4.4-2.fc41
3.4.4-3.fc41
4
audit-libs
4.0.1-4.fc41
4.0.2-1.fc41
4
atk
2.53.0-2.fc41
2.53.1-1.fc41
4
nss
3.101.0-4.fc41
3.103.0-1.fc41
4
alternatives
1.29-1.fc41
1.30-1.fc41
4
annobin-docs
12.66-1.fc41
12.67-1.fc41
4
flexiblas
3.4.4-2.fc41
3.4.4-3.fc41
4
gdb-minimal
14.2-15.fc41
15.1-1.fc41
4
at-spi2-atk
2.53.0-2.fc41
2.53.1-1.fc41
4
sysprof-capture-devel
47~alpha-2.fc41
47~beta-1.fc41
4
at-spi2-atk-devel
2.53.0-2.fc41
2.53.1-1.fc41
4
atk-devel
2.53.0-2.fc41
2.53.1-1.fc41
4
nss-softokn-freebl
3.101.0-4.fc41
3.103.0-1.fc41
B
mesa-filesystem
24.2.0~rc3-1.fc41
24.2.0~rc4-1.fc41
B
nss-softokn
3.101.0-4.fc41
3.103.0-1.fc41
B
mesa-libgbm
24.2.0~rc3-1.fc41
24.2.0~rc4-1.fc41
B
at-spi2-core-devel
2.53.0-2.fc41
2.53.1-1.fc41
B
nss-util
3.101.0-4.fc41
3.103.0-1.fc41
B
nss-sysinit
3.101.0-4.fc41
3.103.0-1.fc41
B
nspr
4.35.0-27.fc41
4.35.0-28.fc41
B
libwebp-devel
1.4.0-3.fc41
1.4.0-4.fc41
B
libwebp
1.4.0-3.fc41
1.4.0-4.fc41
B
mesa-libGL
24.2.0~rc3-1.fc41
24.2.0~rc4-1.fc41
B
mesa-libglapi
24.2.0~rc3-1.fc41
24.2.0~rc4-1.fc41
B
mesa-dri-drivers
24.2.0~rc3-1.fc41
24.2.0~rc4-1.fc41
B
mesa-libEGL
24.2.0~rc3-1.fc41
24.2.0~rc4-1.fc41
B
crypto-policies-scripts
20240802-1.git2e5e430....
at-spi2-core
2.53.0-2.fc41
2.53.1-1.fc41
B
complete
121596643
2024-08-07 05:42:55
aarch64
├121596822 ( build.log | root.log )
ppc64le
├121596823 ( build.log | root.log )
x86_64
└121596821 ( build.log | root.log )
git-core
2.45.2-3.fc41
2.46.0-1.fc41
1
antlr4
4.13.1-3.fc41
4.13.2-1.fc41
1
python3-antlr4-runtime
4.13.1-3.fc41
4.13.2-1.fc41
1
openssh-clients
9.8p1-2.fc41
9.8p1-3.fc41
2
antlr4-runtime
4.13.1-3.fc41
4.13.2-1.fc41
2
glib2
2.81.0-1.fc41
2.81.1-1.fc41
2
libcurl
8.9.1-1.fc41
8.9.1-2.fc41
2
python-pip-wheel
24.1.1-2.fc41
24.2-1.fc41
3
glib2-devel
2.81.0-1.fc41
2.81.1-1.fc41
3
forge-srpm-macros
0.3.1-2.fc41
0.3.2-1.fc41
3
crypto-policies
20240725-2.git9555558....
20240802-1.git2e5e430....
3
annobin-plugin-gcc
12.65-1.fc41
12.66-1.fc41
3
openssh
9.8p1-2.fc41
9.8p1-3.fc41
3
annobin-docs
12.65-1.fc41
12.66-1.fc41
4
kernel-headers
6.11.0-0.rc1.dc1c803...
6.11.0-0.rc2.23.fc41
4
curl
8.9.1-1.fc41
8.9.1-2.fc41
4
hwdata
0.384-2.fc41
0.385-1.fc41
B
libXtst-devel
1.2.4-7.fc41
1.2.5-1.fc41
B
fedora-release-common
41-0.17
41-0.20
B
crypto-policies-scripts
20240725-2.git9555558....
20240802-1.git2e5e430....
B
libXtst
1.2.4-7.fc41
1.2.5-1.fc41
B
fedora-release-identity-basic
41-0.17
41-0.20
B
fedora-release
41-0.17
41-0.20
B
complete
121385284
2024-08-02 08:24:23
aarch64
├121385373 ( build.log | root.log )
ppc64le
├121385372 ( build.log | root.log )
x86_64
└121385371 ( build.log | root.log )
python3-devel
3.13.0~b4-3.fc41
3.13.0~rc1-1.fc41
1
python3-libs
3.13.0~b4-3.fc41
3.13.0~rc1-1.fc41
2
libcurl
8.9.0-1.fc41
8.9.1-1.fc41
2
python3
3.13.0~b4-3.fc41
3.13.0~rc1-1.fc41
2
glibc
2.40-2.fc41
2.40-3.fc41
2
rpm-libs
4.19.92-5.fc41
4.19.92-6.fc41
2
rpm
4.19.92-5.fc41
4.19.92-6.fc41
3
libX11-devel
1.8.9-2.fc41
1.8.10-1.fc41
3
glibc-devel
2.40-2.fc41
2.40-3.fc41
3
libssh
0.10.6-6.fc41
0.10.6-8.fc41
3
fontconfig
2.15.0-7.fc41
2.15.0-8.fc41
3
glibc-gconv-extra
2.40-2.fc41
2.40-3.fc41
3
fontconfig-devel
2.15.0-7.fc41
2.15.0-8.fc41
3
rpm-build
4.19.92-5.fc41
4.19.92-6.fc41
3
glibc-common
2.40-2.fc41
2.40-3.fc41
3
glibc-minimal-langpack
2.40-2.fc41
2.40-3.fc41
3
glibc-headers-x86
2.40-2.fc41
2.40-3.fc41
4
rpm-build-libs
4.19.92-5.fc41
4.19.92-6.fc41
4
libX11
1.8.9-2.fc41
1.8.10-1.fc41
4
libssh-config
0.10.6-6.fc41
0.10.6-8.fc41
4
libX11-xcb
1.8.9-2.fc41
1.8.10-1.fc41
4
curl
8.9.0-1.fc41
8.9.1-1.fc41
4
mesa-libGL
24.1.4-2.fc41
24.2.0~rc3-1.fc41
B
libwebp-devel
1.4.0-2.fc41
1.4.0-3.fc41
B
libwebp
1.4.0-2.fc41
1.4.0-3.fc41
B
libX11-common
1.8.9-2.fc41
1.8.10-1.fc41
B
llvm-libs
18.1.8-2.fc41
B
mesa-filesystem
24.2.0~rc3-1.fc41
B
mesa-dri-drivers
24.2.0~rc3-1.fc41
B
lm_sensors-libs
3.6.0-20.fc41
B
mesa-libEGL
24.1.4-2.fc41
24.2.0~rc3-1.fc41
B
mesa-libgbm
24.1.4-2.fc41
24.2.0~rc3-1.fc41
B
mesa-libglapi
24.1.4-2.fc41
24.2.0~rc3-1.fc41
B
complete
121285622
2024-07-31 10:02:34
aarch64
├121285750 ( build.log | root.log )
ppc64le
├121285749 ( build.log | root.log )
x86_64
└121285748 ( build.log | root.log )
python3-devel
3.13.0~b4-2.fc41
3.13.0~b4-3.fc41
1
git-core
2.45.2-1.fc41
2.45.2-3.fc41
1
python3-libs
3.13.0~b4-2.fc41
3.13.0~b4-3.fc41
2
python3
3.13.0~b4-2.fc41
3.13.0~b4-3.fc41
2
glib2
2.80.3-5.fc41
2.81.0-1.fc41
2
build-reproducibility-srpm-macros
0.3.5-1.fc41
0.3.6-1.fc41
3
glib2-devel
2.80.3-5.fc41
2.81.0-1.fc41
3
annobin-plugin-gcc
12.64-1.fc41
12.65-1.fc41
3
pam
1.6.1-4.fc41
1.6.1-5.fc41
4
annobin-docs
12.64-1.fc41
12.65-1.fc41
4
pam-libs
1.6.1-4.fc41
1.6.1-5.fc41
4
kernel-headers
6.10.0-64.fc41.1
6.11.0-0.rc1.dc1c803...
4
add-determinism
0.3.5-1.fc41
0.3.6-1.fc41
4
diffutils
3.10-7.fc41
3.10-8.fc41
4
colord-libs
1.4.7-3.fc40
1.4.7-5.fc41
4
alternatives
1.28-3.fc41
1.29-1.fc41
4
fedora-release-identity-basic
41-0.16
41-0.17
B
fedora-release
41-0.16
41-0.17
B
libtiff
4.6.0-4.fc41
4.6.0-5.fc41
B
libtiff-devel
4.6.0-4.fc41
4.6.0-5.fc41
B
fedora-release-common
41-0.16
41-0.17
B
complete
121116382
2024-07-27 05:32:45
aarch64
├121116467 ( build.log | root.log )
ppc64le
├121116466 ( build.log | root.log )
x86_64
└121116465 ( build.log | root.log )
python3-devel
3.13.0~b4-1.fc41
3.13.0~b4-2.fc41
1
less
643-5.fc41
661-1.fc41
2
python3
3.13.0~b4-1.fc41
3.13.0~b4-2.fc41
2
python3-libs
3.13.0~b4-1.fc41
3.13.0~b4-2.fc41
2
openssh-clients
9.6p1-1.fc41.14
9.8p1-2.fc41
2
pyproject-rpm-macros
1.13.0-2.fc41
1.14.0-1.fc41
2
glibc
2.39.9000-35.fc41
2.40-2.fc41
2
glib2
2.80.3-1.fc41
2.80.3-5.fc41
2
libcurl
8.8.0-3.fc41
8.9.0-1.fc41
2
glib2-devel
2.80.3-1.fc41
2.80.3-5.fc41
3
gnutls
3.8.6-4.fc41
3.8.6-7.fc41
3
openldap
2.6.8-4.fc41
2.6.8-5.fc41
3
glibc-minimal-langpack
2.39.9000-35.fc41
2.40-2.fc41
3
openssh
9.6p1-1.fc41.14
9.8p1-2.fc41
3
glibc-devel
2.39.9000-35.fc41
2.40-2.fc41
3
glibc-common
2.39.9000-35.fc41
2.40-2.fc41
3
glibc-gconv-extra
2.39.9000-35.fc41
2.40-2.fc41
3
pyproject-srpm-macros
1.13.0-2.fc41
1.14.0-1.fc41
3
crypto-policies
20240717-2.git154fd4e....
20240725-2.git9555558....
3
binutils
2.42.50-20.fc41
2.42.90-1.fc41
3
annobin-plugin-gcc
12.62-2.fc41
12.64-1.fc41
3
curl
8.8.0-3.fc41
8.9.0-1.fc41
4
glibc-headers-x86
2.39.9000-35.fc41
2.40-2.fc41
4
diffutils
3.10-6.fc41
3.10-7.fc41
4
shadow-utils
2:4.15.1-5.fc41
2:4.15.1-9.fc41
4
annobin-docs
12.62-2.fc41
12.64-1.fc41
4
systemd-libs
256.3-2.fc41
256.4-1.fc41
4
crypto-policies-scripts
20240717-2.git154fd4e....
20240725-2.git9555558....
B
libtirpc
1.3.4-1.rc3.fc41.1
1.3.5-0.fc41
B
libdrm
2.4.121-2.fc41
2.4.122-1.fc41
B
Previous history
Koschei version 2afbb17
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues