coq

Package information

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

Scheduler parameters

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

git-core
2.46.0-1.fc41
2.46.1-1.fc42
1
gcc
14.2.1-2.fc42
14.2.1-3.fc42
2
libgcc
14.2.1-2.fc42
14.2.1-3.fc42
2
gnutls
3.8.7-2.fc42
3.8.7-4.fc42
3
gcc-plugin-annobin
14.2.1-2.fc42
14.2.1-3.fc42
3
cpp
14.2.1-2.fc42
14.2.1-3.fc42
3
libgomp
14.2.1-2.fc42
14.2.1-3.fc42
3
libstdc++
14.2.1-2.fc42
14.2.1-3.fc42
4
kernel-headers
6.11.0-0.rc7.56.fc42
6.11.0-63.fc42
4
libquadmath
14.2.1-2.fc42
14.2.1-3.fc42
4
shadow-utils
2:4.16.0-2.fc42
2:4.16.0-3.fc42
4
libgfortran
14.2.1-2.fc42
14.2.1-3.fc42
4
sysprof-capture-devel
47~beta-1.fc41
47.0-1.fc42
4

State overview

Groups

This package is not part of any global group.

Most recent builds

complete
123316231
2024-09-12 19:21:57
aarch64
├123316312 ( build.log | root.log )
ppc64le
├123316315 ( build.log | root.log )
x86_64
└123316313 ( build.log | root.log )
python3-devel
3.13.0~rc1-3.fc42
3.13.0~rc2-1.fc42
1
python3-libs
3.13.0~rc1-3.fc42
3.13.0~rc2-1.fc42
2
zlib-ng-compat
2.1.7-2.fc41
2.1.7-3.fc42
2
openssl-libs
1:3.2.2-5.fc41
1:3.2.2-8.fc42
2
rpm-libs
4.19.93-1.fc42
4.19.94-1.fc42
2
libcurl
8.9.1-3.fc42
8.10.0-1.fc42
2
python3
3.13.0~rc1-3.fc42
3.13.0~rc2-1.fc42
2
libselinux
3.7-5.fc41
3.7-6.fc42
3
rpm
4.19.93-1.fc42
4.19.94-1.fc42
3
rpm-build
4.19.93-1.fc42
4.19.94-1.fc42
3
zlib-ng-compat-devel
2.1.7-2.fc41
2.1.7-3.fc42
3
rpm-build-libs
4.19.93-1.fc42
4.19.94-1.fc42
4
gdb-minimal
15.1-1.fc41
15.1-2.fc42
4
kernel-headers
6.11.0-0.rc6.49.fc42
6.11.0-0.rc7.56.fc42
4
shadow-utils
2:4.15.1-9.fc41
2:4.16.0-2.fc42
4
libsepol
3.7-2.fc41
3.7-3.fc42
4
libselinux-devel
3.7-5.fc41
3.7-6.fc42
4
curl
8.9.1-3.fc42
8.10.0-1.fc42
4
info
7.1-3.fc41
7.1.1-1.fc42
B
libsemanage
3.7-2.fc41
3.7-3.fc42
B
libsepol-devel
3.7-2.fc41
3.7-3.fc42
B
complete
123106498
2024-09-08 15:52:29
aarch64
├123106559 ( build.log | root.log )
ppc64le
├123106561 ( build.log | root.log )
x86_64
└123106560 ( build.log | root.log )
libgcc
14.2.1-1.fc42
14.2.1-2.fc42
2
redhat-rpm-config
294-1.fc42
295-1.fc42
2
expat
2.6.2-2.fc41
2.6.3-1.fc42
2
gcc
14.2.1-1.fc42
14.2.1-2.fc42
2
glibc
2.40-3.fc41
2.40.9000-1.fc42
2
qt5-srpm-macros
5.15.14-3.fc41
5.15.15-1.fc42
3
cpp
14.2.1-1.fc42
14.2.1-2.fc42
3
glibc-common
2.40-3.fc41
2.40.9000-1.fc42
3
glibc-devel
2.40-3.fc41
2.40.9000-1.fc42
3
glibc-minimal-langpack
2.40-3.fc41
2.40.9000-1.fc42
3
glibc-gconv-extra
2.40-3.fc41
2.40.9000-1.fc42
3
gcc-plugin-annobin
14.2.1-1.fc42
14.2.1-2.fc42
3
libgomp
14.2.1-1.fc42
14.2.1-2.fc42
3
libXi-devel
1.8.1-6.fc41
1.8.2-1.fc42
4
nss
3.103.0-1.fc41
3.104.0-1.fc42
4
libstdc++
14.2.1-1.fc42
14.2.1-2.fc42
4
pam
1.6.1-5.fc41
1.6.1-6.fc42
4
libquadmath
14.2.1-1.fc42
14.2.1-2.fc42
4
libXi
1.8.1-6.fc41
1.8.2-1.fc42
4
pam-libs
1.6.1-5.fc41
1.6.1-6.fc42
4
libgfortran
14.2.1-1.fc42
14.2.1-2.fc42
4
glibc-headers-x86
2.40-3.fc41
2.40.9000-1.fc42
4
mesa-libgbm
24.2.1-2.fc42
24.2.2-2.fc42
B
nss-softokn
3.103.0-1.fc41
3.104.0-1.fc42
B
nss-sysinit
3.103.0-1.fc41
3.104.0-1.fc42
B
mesa-libEGL
24.2.1-2.fc42
24.2.2-2.fc42
B
mesa-filesystem
24.2.1-2.fc42
24.2.2-2.fc42
B
hwdata
0.386-1.fc42
0.387-1.fc42
B
nss-util
3.103.0-1.fc41
3.104.0-1.fc42
B
nss-softokn-freebl
3.103.0-1.fc41
3.104.0-1.fc42
B
mesa-dri-drivers
24.2.1-2.fc42
24.2.2-2.fc42
B
mesa-libglapi
24.2.1-2.fc42
24.2.2-2.fc42
B
nspr
4.35.0-28.fc41
4.35.0-29.fc42
B
mesa-libGL
24.2.1-2.fc42
24.2.2-2.fc42
B
complete
122908211
2024-09-03 21:18:39
aarch64
├122908304 ( build.log | root.log )
ppc64le
├122908306 ( build.log | root.log )
x86_64
└122908305 ( build.log | root.log )
bash
5.2.32-1.fc41
5.2.32-2.fc42
2
json-glib
1.9.2-2.fc41
1.10.0-1.fc42
2
openssh-clients
9.8p1-3.fc41
9.8p1-4.fc42
2
rpm-libs
4.19.92-6.fc41
4.19.93-1.fc42
2
libuuid
2.40.2-6.fc42
2.40.2-8.fc42
2
rpm-build
4.19.92-6.fc41
4.19.93-1.fc42
3
openssh
9.8p1-3.fc41
9.8p1-4.fc42
3
rpm
4.19.92-6.fc41
4.19.93-1.fc42
3
util-linux
2.40.2-6.fc42
2.40.2-8.fc42
3
libmount
2.40.2-6.fc42
2.40.2-8.fc42
3
readline
8.2-10.fc41
8.2-11.fc42
3
at-spi2-atk-devel
2.53.1-2.fc42
2.53.90-1.fc42
4
rpm-build-libs
4.19.92-6.fc41
4.19.93-1.fc42
4
libfdisk
2.40.2-6.fc42
2.40.2-8.fc42
4
atk-devel
2.53.1-2.fc42
2.53.90-1.fc42
4
libsmartcols
2.40.2-6.fc42
2.40.2-8.fc42
4
kernel-headers
6.11.0-0.rc5.43.fc42
6.11.0-0.rc6.49.fc42
4
libmount-devel
2.40.2-6.fc42
2.40.2-8.fc42
4
libblkid
2.40.2-6.fc42
2.40.2-8.fc42
4
at-spi2-atk
2.53.1-2.fc42
2.53.90-1.fc42
4
atk
2.53.1-2.fc42
2.53.90-1.fc42
4
util-linux-core
2.40.2-6.fc42
2.40.2-8.fc42
4
google-noto-fonts-common
20240701-2.fc41
20240901-1.fc42
B
at-spi2-core
2.53.1-2.fc42
2.53.90-1.fc42
B
libblkid-devel
2.40.2-6.fc42
2.40.2-8.fc42
B
hwdata
0.385-1.fc41
0.386-1.fc42
B
libutempter
1.2.1-15.fc41
at-spi2-core-devel
2.53.1-2.fc42
2.53.90-1.fc42
B
google-noto-sans-vf-fonts
20240701-2.fc41
20240901-1.fc42
B
complete
122772023
2024-09-01 05:48:10
aarch64
├122772085 ( build.log | root.log )
ppc64le
├122772087 ( build.log | root.log )
x86_64
└122772086 ( build.log | root.log )
python3-devel
3.13.0~rc1-2.fc41
3.13.0~rc1-3.fc42
1
javapackages-tools
6.2.0-14.fc41
6.2.0-27.fc42
2
python3-libs
3.13.0~rc1-2.fc41
3.13.0~rc1-3.fc42
2
javapackages-filesystem
6.2.0-14.fc41
6.2.0-27.fc42
2
python3
3.13.0~rc1-2.fc41
3.13.0~rc1-3.fc42
2
libssh
0.10.6-8.fc41
0.11.1-1.fc42
3
libnghttp2
1.62.1-2.fc41
1.63.0-1.fc42
3
coreutils
9.5-8.fc42
9.5-9.fc42
3
crypto-policies
20240826-1.gite824389....
20240828-1.git5f66e81....
3
coreutils-common
9.5-8.fc42
9.5-9.fc42
4
libssh-config
0.10.6-8.fc41
0.11.1-1.fc42
4
mesa-libEGL
24.2.0-2.fc42
24.2.1-2.fc42
B
mesa-libgbm
24.2.0-2.fc42
24.2.1-2.fc42
B
libsoup3
3.5.2-2.fc41
3.6.0-1.fc42
B
mesa-dri-drivers
24.2.0-2.fc42
24.2.1-2.fc42
B
mesa-filesystem
24.2.0-2.fc42
24.2.1-2.fc42
B
libdrm
2.4.122-1.fc41
2.4.123-1.fc42
B
mesa-libglapi
24.2.0-2.fc42
24.2.1-2.fc42
B
mesa-libGL
24.2.0-2.fc42
24.2.1-2.fc42
B
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 )
gcc
14.1.1-7.fc41
14.2.1-1.fc42
2
libgcc
14.1.1-7.fc41
14.2.1-1.fc42
2
libuuid
2.40.2-4.fc41
2.40.2-6.fc42
2
glib2
2.81.2-2.fc42
2.82.0-1.fc42
2
libcurl
8.9.1-2.fc41
8.9.1-3.fc42
2
crypto-policies
20240807-1.git5795660....
20240826-1.gite824389....
3
gcc-plugin-annobin
14.1.1-7.fc41
14.2.1-1.fc42
3
cpp
14.1.1-7.fc41
14.2.1-1.fc42
3
util-linux
2.40.2-4.fc41
2.40.2-6.fc42
3
libmount
2.40.2-4.fc41
2.40.2-6.fc42
3
libgomp
14.1.1-7.fc41
14.2.1-1.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
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-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
mesa-libGL
24.2.0-1.fc42
24.2.0-2.fc42
B
libblkid-devel
2.40.2-4.fc41
2.40.2-6.fc42
B
mesa-libglapi
24.2.0-1.fc42
24.2.0-2.fc42
B
mesa-filesystem
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-libEGL
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 )
redhat-rpm-config
293-1.fc41
294-1.fc42
2
pkgconf-pkg-config
2.1.1-2.fc41
2.3.0-1.fc42
2
glib2
2.81.1-1.fc41
2.81.2-2.fc42
2
coreutils
9.5-7.fc41
9.5-8.fc42
3
pkgconf-m4
2.1.1-2.fc41
2.3.0-1.fc42
3
rust-srpm-macros
26.3-1.fc41
26.3-3.fc42
3
gnutls
3.8.6-7.fc41
3.8.7-2.fc42
3
binutils
2.42.90-1.fc41
2.43.1-1.fc42
3
glib2-devel
2.81.1-1.fc41
2.81.2-2.fc42
3
pkgconf
2.1.1-2.fc41
2.3.0-1.fc42
3
libffi
3.4.6-2.fc41
3.4.6-3.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
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
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
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
bash
5.2.26-4.fc41
5.2.32-1.fc41
2
adwaita-cursor-theme
46.2-3.fc41
47~beta-1.fc41
2
less
661-1.fc41
661-2.fc41
2
annobin-plugin-gcc
12.67-1.fc41
12.70-1.fc42
3
libedit
3.1-52.20240517cv...
3.1-53.20240808cv...
3
readline
8.2-9.fc41
8.2-10.fc41
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
fedora-release-identity-basic
41-0.20
42-0.1
B
fedora-repos
41-0.2
42-0.1
B
fedora-gpg-keys
41-0.2
42-0.1
B
fedora-release
41-0.20
42-0.1
B
libtiff
4.6.0-5.fc41
4.6.0-6.fc42
B
fedora-repos-rawhide
41-0.2
42-0.1
B
fedora-release-common
41-0.20
42-0.1
B
libtiff-devel
4.6.0-5.fc41
4.6.0-6.fc42
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
annobin-plugin-gcc
12.66-1.fc41
12.67-1.fc41
3
flexiblas-netlib
3.4.4-2.fc41
3.4.4-3.fc41
3
sqlite-libs
3.46.0-3.fc41
3.46.0-4.fc41
3
crypto-policies
20240802-1.git2e5e430....
20240807-1.git5795660....
3
nss
3.101.0-4.fc41
3.103.0-1.fc41
4
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
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
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-freebl
3.101.0-4.fc41
3.103.0-1.fc41
B
at-spi2-core
2.53.0-2.fc41
2.53.1-1.fc41
B
crypto-policies-scripts
20240802-1.git2e5e430....
mesa-libEGL
24.2.0~rc3-1.fc41
24.2.0~rc4-1.fc41
B
libwebp-devel
1.4.0-3.fc41
1.4.0-4.fc41
B
mesa-dri-drivers
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
nspr
4.35.0-27.fc41
4.35.0-28.fc41
B
mesa-libGL
24.2.0~rc3-1.fc41
24.2.0~rc4-1.fc41
B
libwebp
1.4.0-3.fc41
1.4.0-4.fc41
B
nss-sysinit
3.101.0-4.fc41
3.103.0-1.fc41
B
nss-util
3.101.0-4.fc41
3.103.0-1.fc41
B
at-spi2-core-devel
2.53.0-2.fc41
2.53.1-1.fc41
B
mesa-libgbm
24.2.0~rc3-1.fc41
24.2.0~rc4-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