coq

Package information

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

Scheduler parameters

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

No dependency changes

State overview

Groups

This package is not part of any global group.

Historical builds

complete
121885443
2024-08-13 08:26:33
aarch64
├121885508 ( build.log | root.log )
x86_64
└121885507 ( build.log | root.log )
git-core
2.45.2-2.fc40
2.46.0-1.fc40
1
nss
3.101.0-1.fc40
3.103.0-1.fc40
3
libedit
3.1-51.20240517cv...
3.1-53.20240808cv...
3
forge-srpm-macros
0.3.1-1.fc40
0.3.2-1.fc40
3
nspr
4.35.0-24.fc40
4.35.0-28.fc40
4
nss-sysinit
3.101.0-1.fc40
3.103.0-1.fc40
4
libwayland-cursor
1.22.0-3.fc40
1.23.0-2.fc40
4
nss-softokn
3.101.0-1.fc40
3.103.0-1.fc40
4
audit-libs
4.0.1-1.fc40
4.0.2-1.fc40
4
nss-util
3.101.0-1.fc40
3.103.0-1.fc40
4
systemd-libs
255.10-1.fc40
255.10-3.fc40
4
wayland-devel
1.22.0-3.fc40
1.23.0-2.fc40
4
libwayland-egl
1.22.0-3.fc40
1.23.0-2.fc40
4
kernel-headers
6.9.4-200.fc40
6.10.3-200.fc40
4
libwayland-client
1.22.0-3.fc40
1.23.0-2.fc40
4
gettext
0.22.5-2.fc40
0.22.5-4.fc40
4
hwdata
0.383-1.fc40
0.385-1.fc40
B
gettext-runtime
0.22.5-2.fc40
0.22.5-4.fc40
B
nss-softokn-freebl
3.101.0-1.fc40
3.103.0-1.fc40
B
libwayland-server
1.22.0-3.fc40
1.23.0-2.fc40
B
libtextstyle
0.22.5-4.fc40
B
gettext-libs
0.22.5-2.fc40
0.22.5-4.fc40
B
gettext-envsubst
0.22.5-2.fc40
0.22.5-4.fc40
B
complete
121605932
2024-08-07 12:44:46
aarch64
├121606025 ( build.log | root.log )
x86_64
└121606023 ( build.log | root.log )
gcc
14.1.1-7.fc40
14.2.1-1.fc40
2
libgcc
14.1.1-7.fc40
14.2.1-1.fc40
2
glibc
2.39-17.fc40
2.39-22.fc40
2
libcurl
8.6.0-8.fc40
8.6.0-10.fc40
2
gcc-plugin-annobin
14.1.1-7.fc40
14.2.1-1.fc40
3
glibc-common
2.39-17.fc40
2.39-22.fc40
3
libX11-devel
1.8.9-1.fc40
1.8.10-1.fc40
3
cpp
14.1.1-7.fc40
14.2.1-1.fc40
3
libgomp
14.1.1-7.fc40
14.2.1-1.fc40
3
crypto-policies
20240510-1.gitd287a42....
20240725-1.git28d3e2d....
3
glibc-devel
2.39-17.fc40
2.39-22.fc40
3
glibc-minimal-langpack
2.39-17.fc40
2.39-22.fc40
3
glibc-gconv-extra
2.39-17.fc40
2.39-22.fc40
3
crypto-policies-scripts
20240510-1.gitd287a42....
20240725-1.git28d3e2d....
4
libX11-xcb
1.8.9-1.fc40
1.8.10-1.fc40
4
libquadmath
14.1.1-7.fc40
14.2.1-1.fc40
4
libgfortran
14.1.1-7.fc40
14.2.1-1.fc40
4
libstdc++
14.1.1-7.fc40
14.2.1-1.fc40
4
glibc-headers-x86
2.39-17.fc40
2.39-22.fc40
4
curl
8.6.0-8.fc40
8.6.0-10.fc40
4
libX11
1.8.9-1.fc40
1.8.10-1.fc40
4
libX11-common
1.8.9-1.fc40
1.8.10-1.fc40
B
mesa-libglapi
24.1.4-3.fc40
24.1.5-2.fc40
B
libXtst-devel
1.2.4-6.fc40
1.2.5-1.fc40
B
mesa-libgbm
24.1.4-3.fc40
24.1.5-2.fc40
B
mesa-libEGL
24.1.4-3.fc40
24.1.5-2.fc40
B
libXtst
1.2.4-6.fc40
1.2.5-1.fc40
B
mesa-libGL
24.1.4-3.fc40
24.1.5-2.fc40
B
complete
121163450
2024-07-28 19:32:19
aarch64
├121163531 ( build.log | root.log )
x86_64
└121163530 ( build.log | root.log )
emacs-filesystem
1:29.4-5.fc40
1:29.4-9.fc40
2
redhat-rpm-config
286-1.fc40
288-1.fc40
2
java-21-openjdk-headless
1:21.0.3.0.9-1.fc40
1:21.0.4.0.7-2.fc40
2
cups-libs
1:2.4.10-1.fc40
1:2.4.10-3.fc40
3
rpm-sequoia
1.6.0-3.fc40
1.7.0-1.fc40
3
qt5-srpm-macros
5.15.14-1.fc40
5.15.14-2.fc40
3
gtk3-devel
3.24.42-2.fc40
3.24.43-1.fc40
3
libtirpc
1.3.4-1.rc3.fc40
1.3.5-0.fc40
3
coreutils
9.4-6.fc40
9.4-7.fc40
3
qt6-srpm-macros
6.7.2-1.fc40
6.7.2-2.fc40
3
gtk3
3.24.42-2.fc40
3.24.43-1.fc40
3
gtk-update-icon-cache
3.24.42-2.fc40
3.24.43-1.fc40
4
systemd-libs
255.8-1.fc40
255.10-1.fc40
4
harfbuzz-devel
8.4.0-1.fc40
8.5.0-1.fc40
4
harfbuzz
8.4.0-1.fc40
8.5.0-1.fc40
4
coreutils-common
9.4-6.fc40
9.4-7.fc40
4
mesa-libglapi
24.1.2-8.fc40
24.1.4-3.fc40
B
libdrm
2.4.121-1.fc40
2.4.122-1.fc40
B
mesa-libEGL
24.1.2-8.fc40
24.1.4-3.fc40
B
mesa-libgbm
24.1.2-8.fc40
24.1.4-3.fc40
B
mesa-libGL
24.1.2-8.fc40
24.1.4-3.fc40
B
harfbuzz-icu
8.4.0-1.fc40
8.5.0-1.fc40
B
complete
120435026
2024-07-13 16:36:46
aarch64
├120435135 ( build.log | root.log )
x86_64
└120435134 ( build.log | root.log )
pyproject-rpm-macros
1.12.2-1.fc40
1.13.0-1.fc40
2
emacs-filesystem
1:29.4-3.fc40
1:29.4-5.fc40
2
glibc
2.39-15.fc40
2.39-17.fc40
2
glibc-gconv-extra
2.39-15.fc40
2.39-17.fc40
3
krb5-libs
1.21.2-5.fc40
1.21.3-1.fc40
3
qt6-srpm-macros
6.7.1-1.fc40
6.7.2-1.fc40
3
gnutls
3.8.5-1.fc40
3.8.6-1.fc40
3
pyproject-srpm-macros
1.12.2-1.fc40
1.13.0-1.fc40
3
glibc-devel
2.39-15.fc40
2.39-17.fc40
3
glibc-common
2.39-15.fc40
2.39-17.fc40
3
glibc-minimal-langpack
2.39-15.fc40
2.39-17.fc40
3
glibc-headers-x86
2.39-15.fc40
2.39-17.fc40
4
p11-kit
0.25.3-4.fc40
0.25.5-1.fc40
4
p11-kit-trust
0.25.3-4.fc40
0.25.5-1.fc40
4
gdb-minimal
14.2-2.fc40
14.2-3.fc40
4
mesa-libEGL
24.1.2-7.fc40
24.1.2-8.fc40
B
mesa-libglapi
24.1.2-7.fc40
24.1.2-8.fc40
B
mesa-libGL
24.1.2-7.fc40
24.1.2-8.fc40
B
mesa-libgbm
24.1.2-7.fc40
24.1.2-8.fc40
B
complete
120008734
2024-07-05 00:51:50
aarch64
├120008797 ( build.log | root.log )
x86_64
└120008798 ( build.log | root.log )
python3-antlr4-runtime
4.10.1-14.fc40
4.10.1-15.fc40
1
antlr4
4.10.1-14.fc40
4.10.1-15.fc40
1
python3-devel
3.12.3-2.fc40
3.12.4-1.fc40
1
python3-rpm-macros
3.12-7.fc40
3.12-8.fc40
2
pcre2
10.42-2.fc40.2
10.44-1.fc40
2
zlib-ng-compat
2.1.6-5.fc40
2.1.7-1.fc40
2
openssh-clients
9.6p1-1.fc40.2
9.6p1-1.fc40.4
2
antlr4-runtime
4.10.1-14.fc40
4.10.1-15.fc40
2
pkgconf-pkg-config
2.1.0-1.fc40
2.1.1-1.fc40
2
libgcc
14.1.1-6.fc40
14.1.1-7.fc40
2
python-rpm-macros
3.12-7.fc40
3.12-8.fc40
2
pyproject-rpm-macros
1.12.0-1.fc40
1.12.2-1.fc40
2
gcc
14.1.1-6.fc40
14.1.1-7.fc40
2
python3-libs
3.12.3-2.fc40
3.12.4-1.fc40
2
python3
3.12.3-2.fc40
3.12.4-1.fc40
2
pkgconf-m4
2.1.0-1.fc40
2.1.1-1.fc40
3
python-srpm-macros
3.12-7.fc40
3.12-8.fc40
3
cups-libs
1:2.4.8-3.fc40
1:2.4.10-1.fc40
3
pcre2-syntax
10.42-2.fc40.2
10.44-1.fc40
3
pkgconf
2.1.0-1.fc40
2.1.1-1.fc40
3
openssh
9.6p1-1.fc40.2
9.6p1-1.fc40.4
3
zlib-ng-compat-devel
2.1.6-5.fc40
2.1.7-1.fc40
3
pyproject-srpm-macros
1.12.0-1.fc40
1.12.2-1.fc40
3
findutils
1:4.9.0-8.fc40
1:4.9.0-9.fc40
3
cpp
14.1.1-6.fc40
14.1.1-7.fc40
3
gcc-plugin-annobin
14.1.1-6.fc40
14.1.1-7.fc40
3
libgomp
14.1.1-6.fc40
14.1.1-7.fc40
3
annobin-plugin-gcc
12.57-1.fc40
12.60-1.fc40
3
annobin-docs
12.57-1.fc40
12.60-1.fc40
4
libquadmath
14.1.1-6.fc40
14.1.1-7.fc40
4
libstdc++
14.1.1-6.fc40
14.1.1-7.fc40
4
systemd-libs
255.7-1.fc40
255.8-1.fc40
4
libgfortran
14.1.1-6.fc40
14.1.1-7.fc40
4
libpkgconf
2.1.0-1.fc40
2.1.1-1.fc40
4
pcre2-devel
10.42-2.fc40.2
10.44-1.fc40
4
mesa-libGL
24.1.2-2.fc40
24.1.2-7.fc40
B
pcre2-utf32
10.42-2.fc40.2
10.44-1.fc40
B
mesa-libEGL
24.1.2-2.fc40
24.1.2-7.fc40
B
mesa-libglapi
24.1.2-2.fc40
24.1.2-7.fc40
B
mesa-libgbm
24.1.2-2.fc40
24.1.2-7.fc40
B
pcre2-utf16
10.42-2.fc40.2
10.44-1.fc40
B
complete
119773295
2024-06-29 13:26:34
aarch64
├119773397 ( build.log | root.log )
x86_64
└119773398 ( build.log | root.log )
gcc
14.1.1-5.fc40
14.1.1-6.fc40
2
emacs-filesystem
1:29.3-6.fc40
1:29.4-3.fc40
2
libgcc
14.1.1-5.fc40
14.1.1-6.fc40
2
glib2
2.80.2-1.fc40
2.80.3-1.fc40
2
annobin-plugin-gcc
12.51-1.fc40
12.57-1.fc40
3
gcc-plugin-annobin
14.1.1-5.fc40
14.1.1-6.fc40
3
glib2-devel
2.80.2-1.fc40
2.80.3-1.fc40
3
cpp
14.1.1-5.fc40
14.1.1-6.fc40
3
pango
1.52.2-1.fc40
1.54.0-1.fc40
3
libgomp
14.1.1-5.fc40
14.1.1-6.fc40
3
libquadmath
14.1.1-5.fc40
14.1.1-6.fc40
4
fribidi-devel
1.0.13-4.fc40
1.0.14-2.fc40
4
annobin-docs
12.51-1.fc40
12.57-1.fc40
4
libgfortran
14.1.1-5.fc40
14.1.1-6.fc40
4
pango-devel
1.52.2-1.fc40
1.54.0-1.fc40
4
libstdc++
14.1.1-5.fc40
14.1.1-6.fc40
4
fribidi
1.0.13-4.fc40
1.0.14-2.fc40
4
mesa-libgbm
24.1.1-5.fc40
24.1.2-2.fc40
B
mesa-libEGL
24.1.1-5.fc40
24.1.2-2.fc40
B
mesa-libglapi
24.1.1-5.fc40
24.1.2-2.fc40
B
mesa-libGL
24.1.1-5.fc40
24.1.2-2.fc40
B
complete
119132125
2024-06-17 05:27:07
aarch64
├119132178 ( build.log | root.log )
x86_64
└119132177 ( build.log | root.log )
libappstream-glib
0.8.2-6.fc40
0.8.3-1.fc40
1
libgcc
14.1.1-4.fc40
14.1.1-5.fc40
2
zlib-ng-compat
2.1.6-2.fc40
2.1.6-5.fc40
2
glibc
2.39-13.fc40
2.39-15.fc40
2
gcc
14.1.1-4.fc40
14.1.1-5.fc40
2
zlib-ng-compat-devel
2.1.6-2.fc40
2.1.6-5.fc40
3
glibc-devel
2.39-13.fc40
2.39-15.fc40
3
fontconfig
2.15.0-4.fc40
2.15.0-6.fc40
3
alsa-lib
1.2.11-2.fc40
1.2.12-1.fc40
3
fontconfig-devel
2.15.0-4.fc40
2.15.0-6.fc40
3
glibc-gconv-extra
2.39-13.fc40
2.39-15.fc40
3
glibc-minimal-langpack
2.39-13.fc40
2.39-15.fc40
3
glibc-common
2.39-13.fc40
2.39-15.fc40
3
libgomp
14.1.1-4.fc40
14.1.1-5.fc40
3
libxml2-devel
2.12.7-1.fc40
2.12.8-1.fc40
3
libxml2
2.12.7-1.fc40
2.12.8-1.fc40
3
gcc-plugin-annobin
14.1.1-4.fc40
14.1.1-5.fc40
3
nss
3.100.0-1.fc40
3.101.0-1.fc40
3
cpp
14.1.1-4.fc40
14.1.1-5.fc40
3
nspr
4.35.0-23.fc40
4.35.0-24.fc40
4
libgfortran
14.1.1-4.fc40
14.1.1-5.fc40
4
kernel-headers
6.8.3-300.fc40
6.9.4-200.fc40
4
libquadmath
14.1.1-4.fc40
14.1.1-5.fc40
4
nss-sysinit
3.100.0-1.fc40
3.101.0-1.fc40
4
nss-softokn
3.100.0-1.fc40
3.101.0-1.fc40
4
libstdc++
14.1.1-4.fc40
14.1.1-5.fc40
4
glibc-headers-x86
2.39-13.fc40
2.39-15.fc40
4
nss-util
3.100.0-1.fc40
3.101.0-1.fc40
4
mesa-libEGL
24.0.8-1.fc40
24.1.1-5.fc40
B
nss-softokn-freebl
3.100.0-1.fc40
3.101.0-1.fc40
B
mesa-libGL
24.0.8-1.fc40
24.1.1-5.fc40
B
mesa-libgbm
24.0.8-1.fc40
24.1.1-5.fc40
B
mesa-libglapi
24.0.8-1.fc40
24.1.1-5.fc40
B
complete
118753020
2024-06-08 11:27:02
aarch64
├118753185 ( build.log | root.log )
x86_64
└118753184 ( build.log | root.log )
git-core
2.45.1-1.fc40
2.45.2-2.fc40
1
adwaita-icon-theme
46.0-1.fc40
46.2-2.fc40
1
adwaita-icon-theme-legacy
46.2-1.fc40
2
adwaita-cursor-theme
46.0-1.fc40
46.2-2.fc40
2
libarchive
3.7.2-3.fc40
3.7.2-4.fc40
2
flexiblas-netlib
3.4.2-1.fc40
3.4.4-1.fc40
3
nss
3.99.0-1.fc40
3.100.0-1.fc40
3
qt5-srpm-macros
5.15.13-1.fc40
5.15.14-1.fc40
3
pam
1.6.1-1.fc40
1.6.1-3.fc40
4
xorg-x11-proto-devel
2024.1-1.fc40
2024.1-2.fc40
4
flexiblas-openblas-openmp
3.4.2-1.fc40
3.4.4-1.fc40
4
nss-sysinit
3.99.0-1.fc40
3.100.0-1.fc40
4
nss-util
3.99.0-1.fc40
3.100.0-1.fc40
4
nss-softokn
3.99.0-1.fc40
3.100.0-1.fc40
4
nspr
4.35.0-22.fc40
4.35.0-23.fc40
4
pam-libs
1.6.1-1.fc40
1.6.1-3.fc40
4
flexiblas
3.4.2-1.fc40
3.4.4-1.fc40
4
libdrm
2.4.120-3.fc40
2.4.121-1.fc40
B
hwdata
0.382-1.fc40
0.383-1.fc40
B
nss-softokn-freebl
3.99.0-1.fc40
3.100.0-1.fc40
B
shadow-utils
2:4.15.1-2.fc40
2:4.15.1-3.fc40
B
libeconf
0.6.2-1.fc40
0.6.2-2.fc40
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