coq

Package information

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

Scheduler parameters

Tracked by Koschei
True
Current priority
2151
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
124365912
2024-10-04 16:05:31
aarch64
├124366017 ( build.log | root.log )
ppc64le
├124366018 ( build.log | root.log )
x86_64
└124366016 ( build.log | root.log )
make
1:4.4.1-8.fc41
1:4.4.1-9.fc42
1
texlive-base
11:20230311-85.fc41
11:20230311-86.fc42
1
python3-devel
3.13.0~rc2-3.fc42
3.13.0~rc3-1.fc42
1
javapackages-filesystem
6.2.0-30.fc42
6.3.1-1.fc42
2
python3
3.13.0~rc2-3.fc42
3.13.0~rc3-1.fc42
2
python3-libs
3.13.0~rc2-3.fc42
3.13.0~rc3-1.fc42
2
pyproject-rpm-macros
1.15.0-1.fc42
1.15.1-1.fc42
2
javapackages-tools
6.2.0-30.fc42
6.3.1-1.fc42
2
xxhash-libs
0.8.2-3.fc41
0.8.2-4.fc42
2
xz-libs
1:5.6.2-2.fc41
1:5.6.3-1.fc42
3
crypto-policies
20240828-1.git5f66e81....
20240927-1.git93b7251....
3
libxcb-devel
1.17.0-2.fc41
1.17.0-3.fc42
3
pyproject-srpm-macros
1.15.0-1.fc42
1.15.1-1.fc42
3
xz
1:5.6.2-2.fc41
1:5.6.3-1.fc42
4
libxcb
1.17.0-2.fc41
1.17.0-3.fc42
4
xz-devel
1:5.6.2-2.fc41
1:5.6.3-1.fc42
4
xkeyboard-config
2.42-2.fc41
2.43-1.fc42
B
mesa-dri-drivers
24.2.3-2.fc42
24.2.4-1.fc42
B
llvm-libs
18.1.8-2.fc41
19.1.0-1.fc42
B
mesa-filesystem
24.2.3-2.fc42
24.2.4-1.fc42
B
mesa-libgbm
24.2.3-2.fc42
24.2.4-1.fc42
B
mesa-libglapi
24.2.3-2.fc42
24.2.4-1.fc42
B
mesa-libEGL
24.2.3-2.fc42
24.2.4-1.fc42
B
mesa-libGL
24.2.3-2.fc42
24.2.4-1.fc42
B
hwdata
0.387-1.fc42
0.388-1.fc42
B
complete
124086612
2024-09-28 04:04:34
aarch64
├124086693 ( build.log | root.log )
ppc64le
├124086695 ( build.log | root.log )
x86_64
└124086694 ( build.log | root.log )
git-core
2.46.1-1.fc42
2.46.2-1.fc42
1
redhat-rpm-config
295-1.fc42
296-1.fc42
2
glib2
2.82.1-1.fc42
2.82.1-2.fc42
2
libcurl
8.10.1-1.fc42
8.10.1-2.fc42
2
libarchive
3.7.4-3.fc42
3.7.6-1.fc42
2
javapackages-tools
6.2.0-27.fc42
6.2.0-30.fc42
2
libgcc
14.2.1-3.fc42
14.2.1-4.fc42
2
javapackages-filesystem
6.2.0-27.fc42
6.2.0-30.fc42
2
gcc
14.2.1-3.fc42
14.2.1-4.fc42
2
glib2-devel
2.82.1-1.fc42
2.82.1-2.fc42
3
forge-srpm-macros
0.3.2-1.fc41
0.4.0-1.fc42
3
ca-certificates
2024.2.69_v8.0.401-1.fc42
2024.2.69_v8.0.401-2.fc42
3
gcc-plugin-annobin
14.2.1-3.fc42
14.2.1-4.fc42
3
cpp
14.2.1-3.fc42
14.2.1-4.fc42
3
coreutils
9.5-9.fc42
9.5-10.fc42
3
libgomp
14.2.1-3.fc42
14.2.1-4.fc42
3
harfbuzz
9.0.0-3.fc42
10.0.1-1.fc42
4
libquadmath
14.2.1-3.fc42
14.2.1-4.fc42
4
harfbuzz-devel
9.0.0-3.fc42
10.0.1-1.fc42
4
fribidi-devel
1.0.15-2.fc41
1.0.16-1.fc42
4
curl
8.10.1-1.fc42
8.10.1-2.fc42
4
cups-libs
1:2.4.10-6.fc42
1:2.4.10-7.fc42
4
libstdc++
14.2.1-3.fc42
14.2.1-4.fc42
4
fribidi
1.0.15-2.fc41
1.0.16-1.fc42
4
coreutils-common
9.5-9.fc42
9.5-10.fc42
4
libgfortran
14.2.1-3.fc42
14.2.1-4.fc42
4
harfbuzz-icu
9.0.0-3.fc42
10.0.1-1.fc42
B
harfbuzz-cairo
9.0.0-3.fc42
10.0.1-1.fc42
B
complete
123860821
2024-09-24 00:16:51
aarch64
├123861086 ( build.log | root.log )
ppc64le
├123861088 ( build.log | root.log )
x86_64
└123861087 ( build.log | root.log )
python3-devel
3.13.0~rc2-1.fc42
3.13.0~rc2-3.fc42
1
libarchive
3.7.4-3.fc41
3.7.4-3.fc42
2
libcurl
8.10.0-1.fc42
8.10.1-1.fc42
2
pyproject-rpm-macros
1.14.0-1.fc41
1.15.0-1.fc42
2
glib2
2.82.0-1.fc42
2.82.1-1.fc42
2
python3-libs
3.13.0~rc2-1.fc42
3.13.0~rc2-3.fc42
2
libpng
2:1.6.40-4.fc41
2:1.6.44-1.fc42
2
python3
3.13.0~rc2-1.fc42
3.13.0~rc2-3.fc42
2
libpng-devel
2:1.6.40-4.fc41
2:1.6.44-1.fc42
3
glib2-devel
2.82.0-1.fc42
2.82.1-1.fc42
3
pyproject-srpm-macros
1.14.0-1.fc41
1.15.0-1.fc42
3
libjpeg-turbo
3.0.2-3.fc41
3.0.4-1.fc42
3
ghc-srpm-macros
1.9.1-2.fc41
1.9.2-1.fc42
3
ca-certificates
2024.2.68_v8.0.302-3.fc41
2024.2.69_v8.0.401-1.fc42
3
curl
8.10.0-1.fc42
8.10.1-1.fc42
4
shadow-utils
2:4.16.0-3.fc42
2:4.16.0-4.fc42
4
mesa-dri-drivers
24.2.2-2.fc42
24.2.3-2.fc42
B
mesa-libgbm
24.2.2-2.fc42
24.2.3-2.fc42
B
mesa-libglapi
24.2.2-2.fc42
24.2.3-2.fc42
B
mesa-libEGL
24.2.2-2.fc42
24.2.3-2.fc42
B
mesa-filesystem
24.2.2-2.fc42
24.2.3-2.fc42
B
fedora-repos
42-0.1
42-0.2
B
fedora-gpg-keys
42-0.1
42-0.2
B
fedora-repos-rawhide
42-0.1
42-0.2
B
libjpeg-turbo-devel
3.0.2-3.fc41
3.0.4-1.fc42
B
mesa-libGL
24.2.2-2.fc42
24.2.3-2.fc42
B
complete
123573122
2024-09-18 00:36:43
aarch64
├123573193 ( build.log | root.log )
ppc64le
├123573195 ( build.log | root.log )
x86_64
└123573194 ( build.log | root.log )
adwaita-icon-theme
47~beta-1.fc41
47.0-1.fc42
1
git-core
2.46.0-1.fc41
2.46.1-1.fc42
1
adwaita-cursor-theme
47~beta-1.fc41
47.0-1.fc42
2
libgcc
14.2.1-2.fc42
14.2.1-3.fc42
2
gcc
14.2.1-2.fc42
14.2.1-3.fc42
2
gnutls
3.8.7-2.fc42
3.8.7-4.fc42
3
filesystem
3.18-23.fc41
3.18-29.fc42
3
gcc-plugin-annobin
14.2.1-2.fc42
14.2.1-3.fc42
3
libgomp
14.2.1-2.fc42
14.2.1-3.fc42
3
python-pip-wheel
24.2-1.fc41
24.2-2.fc42
3
cpp
14.2.1-2.fc42
14.2.1-3.fc42
3
at-spi2-atk
2.53.90-1.fc42
2.54.0-1.fc42
4
kernel-headers
6.11.0-0.rc7.56.fc42
6.11.0-63.fc42
4
at-spi2-atk-devel
2.53.90-1.fc42
2.54.0-1.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
libstdc++
14.2.1-2.fc42
14.2.1-3.fc42
4
atk
2.53.90-1.fc42
2.54.0-1.fc42
4
sysprof-capture-devel
47~beta-1.fc41
47.0-1.fc42
4
libgfortran
14.2.1-2.fc42
14.2.1-3.fc42
4
atk-devel
2.53.90-1.fc42
2.54.0-1.fc42
4
at-spi2-core-devel
2.53.90-1.fc42
2.54.0-1.fc42
B
at-spi2-core
2.53.90-1.fc42
2.54.0-1.fc42
B
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
libcurl
8.9.1-3.fc42
8.10.0-1.fc42
2
rpm-libs
4.19.93-1.fc42
4.19.94-1.fc42
2
python3
3.13.0~rc1-3.fc42
3.13.0~rc2-1.fc42
2
openssl-libs
1:3.2.2-5.fc41
1:3.2.2-8.fc42
2
zlib-ng-compat
2.1.7-2.fc41
2.1.7-3.fc42
2
rpm-build
4.19.93-1.fc42
4.19.94-1.fc42
3
libselinux
3.7-5.fc41
3.7-6.fc42
3
rpm
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
libsepol-devel
3.7-2.fc41
3.7-3.fc42
B
info
7.1-3.fc41
7.1.1-1.fc42
B
libsemanage
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 )
expat
2.6.2-2.fc41
2.6.3-1.fc42
2
libgcc
14.2.1-1.fc42
14.2.1-2.fc42
2
redhat-rpm-config
294-1.fc42
295-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
libgomp
14.2.1-1.fc42
14.2.1-2.fc42
3
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
libquadmath
14.2.1-1.fc42
14.2.1-2.fc42
4
glibc-headers-x86
2.40-3.fc41
2.40.9000-1.fc42
4
libXi
1.8.1-6.fc41
1.8.2-1.fc42
4
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
libgfortran
14.2.1-1.fc42
14.2.1-2.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
pam-libs
1.6.1-5.fc41
1.6.1-6.fc42
4
mesa-libGL
24.2.1-2.fc42
24.2.2-2.fc42
B
mesa-libglapi
24.2.1-2.fc42
24.2.2-2.fc42
B
nss-softokn
3.103.0-1.fc41
3.104.0-1.fc42
B
mesa-libgbm
24.2.1-2.fc42
24.2.2-2.fc42
B
nspr
4.35.0-28.fc41
4.35.0-29.fc42
B
mesa-dri-drivers
24.2.1-2.fc42
24.2.2-2.fc42
B
nss-softokn-freebl
3.103.0-1.fc41
3.104.0-1.fc42
B
nss-util
3.103.0-1.fc41
3.104.0-1.fc42
B
hwdata
0.386-1.fc42
0.387-1.fc42
B
mesa-filesystem
24.2.1-2.fc42
24.2.2-2.fc42
B
mesa-libEGL
24.2.1-2.fc42
24.2.2-2.fc42
B
nss-sysinit
3.103.0-1.fc41
3.104.0-1.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 )
openssh-clients
9.8p1-3.fc41
9.8p1-4.fc42
2
libuuid
2.40.2-6.fc42
2.40.2-8.fc42
2
rpm-libs
4.19.92-6.fc41
4.19.93-1.fc42
2
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
rpm-build
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
rpm
4.19.92-6.fc41
4.19.93-1.fc42
3
openssh
9.8p1-3.fc41
9.8p1-4.fc42
3
libfdisk
2.40.2-6.fc42
2.40.2-8.fc42
4
util-linux-core
2.40.2-6.fc42
2.40.2-8.fc42
4
atk
2.53.1-2.fc42
2.53.90-1.fc42
4
at-spi2-atk
2.53.1-2.fc42
2.53.90-1.fc42
4
libblkid
2.40.2-6.fc42
2.40.2-8.fc42
4
libmount-devel
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
libsmartcols
2.40.2-6.fc42
2.40.2-8.fc42
4
atk-devel
2.53.1-2.fc42
2.53.90-1.fc42
4
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
hwdata
0.385-1.fc41
0.386-1.fc42
B
libblkid-devel
2.40.2-6.fc42
2.40.2-8.fc42
B
at-spi2-core
2.53.1-2.fc42
2.53.90-1.fc42
B
google-noto-fonts-common
20240701-2.fc41
20240901-1.fc42
B
google-noto-sans-vf-fonts
20240701-2.fc41
20240901-1.fc42
B
at-spi2-core-devel
2.53.1-2.fc42
2.53.90-1.fc42
B
libutempter
1.2.1-15.fc41
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-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
python3-libs
3.13.0~rc1-2.fc41
3.13.0~rc1-3.fc42
2
javapackages-tools
6.2.0-14.fc41
6.2.0-27.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
libssh-config
0.10.6-8.fc41
0.11.1-1.fc42
4
coreutils-common
9.5-8.fc42
9.5-9.fc42
4
mesa-libEGL
24.2.0-2.fc42
24.2.1-2.fc42
B
mesa-libGL
24.2.0-2.fc42
24.2.1-2.fc42
B
mesa-libglapi
24.2.0-2.fc42
24.2.1-2.fc42
B
libdrm
2.4.122-1.fc41
2.4.123-1.fc42
B
mesa-filesystem
24.2.0-2.fc42
24.2.1-2.fc42
B
mesa-dri-drivers
24.2.0-2.fc42
24.2.1-2.fc42
B
libsoup3
3.5.2-2.fc41
3.6.0-1.fc42
B
mesa-libgbm
24.2.0-2.fc42
24.2.1-2.fc42
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