coq

Package information

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

Scheduler parameters

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

libzstd
1.5.5-1.fc38
1.5.6-1.fc38
2
glibc
2.37-18.fc38
2.37-19.fc38
2
glibc-common
2.37-18.fc38
2.37-19.fc38
3
glibc-minimal-langpack
2.37-18.fc38
2.37-19.fc38
3
glibc-devel
2.37-18.fc38
2.37-19.fc38
3
libnghttp2
1.52.0-2.fc38
1.52.0-3.fc38
3
gnutls
3.8.4-1.fc38
3.8.5-1.fc38
3
glibc-gconv-extra
2.37-18.fc38
2.37-19.fc38
3
cups-libs
1:2.4.7-11.fc38
1:2.4.7-13.fc38
3
libX11
1.8.7-1.fc38
1.8.9-1.fc38
4
zstd
1.5.5-1.fc38
1.5.6-1.fc38
4
glibc-headers-x86
2.37-18.fc38
2.37-19.fc38
4
libX11-devel
1.8.7-1.fc38
1.8.9-1.fc38
4
libX11-common
1.8.7-1.fc38
1.8.9-1.fc38
B
libeconf
0.5.2-1.fc38
0.5.2-2.fc38
B
libX11-xcb
1.8.7-1.fc38
1.8.9-1.fc38
B
hwdata
0.380-1.fc38
0.381-1.fc38
B

State overview

Groups

This package is not part of any global group.

Most recent builds

complete
116176284
2024-04-10 13:58:58
aarch64
├116176372 ( build.log | root.log )
ppc64le
├116176373 ( build.log | root.log )
x86_64
└116176374 ( build.log | root.log )
redhat-rpm-config
256-1.fc38
257-1.fc38
2
emacs-filesystem
1:28.3-0.rc1.fc38
1:29.3-1.fc38
2
libgcc
13.2.1-4.fc38
13.2.1-7.fc38
2
gcc
13.2.1-4.fc38
13.2.1-7.fc38
2
systemd-libs
253.15-2.fc38
253.17-1.fc38
2
rust-srpm-macros
26.1-1.fc38
26.2-1.fc38
3
gcc-plugin-annobin
13.2.1-4.fc38
13.2.1-7.fc38
3
cpp
13.2.1-4.fc38
13.2.1-7.fc38
3
libgomp
13.2.1-4.fc38
13.2.1-7.fc38
3
libtirpc
1.3.4-0.rc2.fc38
1.3.4-1.rc3.fc38
3
gnutls
3.8.3-1.fc38
3.8.4-1.fc38
3
nss
3.98.0-1.fc38
3.99.0-1.fc38
3
go-srpm-macros
3.4.0-2.fc38
3.5.0-1.fc38
3
libgfortran
13.2.1-4.fc38
13.2.1-7.fc38
4
elfutils-debuginfod-client
0.190-2.fc38
0.191-1.fc38
4
libquadmath
13.2.1-4.fc38
13.2.1-7.fc38
4
nss-softokn
3.98.0-1.fc38
3.99.0-1.fc38
4
nss-util
3.98.0-1.fc38
3.99.0-1.fc38
4
keyutils-libs
1.6.1-6.fc38
1.6.3-1.fc38
4
kernel-headers
6.7.3-100.fc38
6.8.3-100.fc38
4
elfutils
0.190-2.fc38
0.191-1.fc38
4
elfutils-libelf
0.190-2.fc38
0.191-1.fc38
4
libstdc++
13.2.1-4.fc38
13.2.1-7.fc38
4
nspr
4.35.0-16.fc38
4.35.0-17.fc38
4
nss-sysinit
3.98.0-1.fc38
3.99.0-1.fc38
4
hwdata
0.379-1.fc38
0.380-1.fc38
B
elfutils-default-yama-scope
0.190-2.fc38
0.191-1.fc38
B
elfutils-libs
0.190-2.fc38
0.191-1.fc38
B
nss-softokn-freebl
3.98.0-1.fc38
3.99.0-1.fc38
B
libusb1
1.0.26-2.fc38
1.0.27-1.fc38
B
complete
115080682
2024-03-17 17:53:17
aarch64
├115080841 ( build.log | root.log )
ppc64le
├115080842 ( build.log | root.log )
x86_64
└115080843 ( build.log | root.log )
python3-devel
3.11.8-1.fc38
3.11.8-2.fc38
1
git-core
2.43.2-1.fc38
2.44.0-1.fc38
1
python3
3.11.8-1.fc38
3.11.8-2.fc38
2
python3-libs
3.11.8-1.fc38
3.11.8-2.fc38
2
redhat-rpm-config
255-1.fc38
256-1.fc38
2
rust-srpm-macros
25.2-2.fc38
26.1-1.fc38
3
ncurses-libs
6.4-7.20230520.fc38
6.4-7.20230520.fc...
3
flexiblas-netlib
3.4.1-1.fc38
3.4.2-1.fc38
3
qt5-srpm-macros
5.15.11-1.fc38
5.15.12-1.fc38
3
rpmautospec-rpm-macros
0.3.8-1.fc38
0.6.3-1.fc38
3
forge-srpm-macros
0.2.0-3.fc38
3
flexiblas-openblas-openmp
3.4.1-1.fc38
3.4.2-1.fc38
4
flexiblas
3.4.1-1.fc38
3.4.2-1.fc38
4
ncurses-base
6.4-7.20230520.fc38
6.4-7.20230520.fc...
4
complete
114401916
2024-03-03 18:09:40
aarch64
├114401990 ( build.log | root.log )
ppc64le
├114401991 ( build.log | root.log )
x86_64
└114401992 ( build.log | root.log )
git-core
2.43.0-1.fc38
2.43.2-1.fc38
1
python3-devel
3.11.7-2.fc38
3.11.8-1.fc38
1
libcurl
8.0.1-6.fc38
8.0.1-7.fc38
2
python3
3.11.7-2.fc38
3.11.8-1.fc38
2
appstream-data
38-7.fc38
38-8.fc38
2
expat
2.5.0-2.fc38
2.6.0-1.fc38
2
python3-libs
3.11.7-2.fc38
3.11.8-1.fc38
2
lua-srpm-macros
1-8.fc38
1-13.fc38
3
go-srpm-macros
3.3.1-1.fc38
3.4.0-2.fc38
3
annobin-plugin-gcc
12.38-1.fc38
12.40-1.fc38
3
nss
3.96.1-1.fc38
3.98.0-1.fc38
3
fontconfig
2.14.2-1.fc38
2.14.2-2.fc38
3
cups-libs
1:2.4.7-5.fc38
1:2.4.7-11.fc38
3
nss-sysinit
3.96.1-1.fc38
3.98.0-1.fc38
4
nss-softokn
3.96.1-1.fc38
3.98.0-1.fc38
4
nss-util
3.96.1-1.fc38
3.98.0-1.fc38
4
gdb-minimal
13.2-7.fc38
14.1-3.fc38
4
curl
8.0.1-6.fc38
8.0.1-7.fc38
4
nspr
4.35.0-14.fc38
4.35.0-16.fc38
4
fontconfig-devel
2.14.2-1.fc38
2.14.2-2.fc38
4
annobin-docs
12.38-1.fc38
12.40-1.fc38
4
nss-softokn-freebl
3.96.1-1.fc38
3.98.0-1.fc38
B
hwdata
0.378-1.fc38
0.379-1.fc38
B
complete
113412180
2024-02-12 17:48:52
aarch64
├113412282 ( build.log | root.log )
ppc64le
├113412281 ( build.log | root.log )
x86_64
└113412280 ( build.log | root.log )
time
1.9-20.fc38
1.9-22.fc38
1
openssh-clients
9.0p1-18.fc38
9.0p1-19.fc38
2
pyproject-rpm-macros
1.11.0-1.fc38
1.12.0-1.fc38
2
libidn2
2.3.4-2.fc38
2.3.7-1.fc38
3
tzdata
2023d-1.fc38
2024a-1.fc38
3
readline
8.2-3.fc38
8.2-4.fc38
3
gtk3-devel
3.24.38-1.fc38
3.24.41-1.fc38
3
openssh
9.0p1-18.fc38
9.0p1-19.fc38
3
tzdata-java
2023d-1.fc38
2024a-1.fc38
3
alsa-lib
1.2.10-2.fc38
1.2.11-2.fc38
3
gtk3
3.24.38-1.fc38
3.24.41-1.fc38
3
annobin-plugin-gcc
12.30-1.fc38
12.38-1.fc38
3
pyproject-srpm-macros
1.11.0-1.fc38
1.12.0-1.fc38
3
gnutls
3.8.2-2.fc38
3.8.3-1.fc38
3
audit-libs
3.1.2-6.fc38
3.1.2-8.fc38
4
annobin-docs
12.30-1.fc38
12.38-1.fc38
4
gtk-update-icon-cache
3.24.38-1.fc38
3.24.41-1.fc38
4
kernel-headers
6.6.3-100.fc38
6.7.3-100.fc38
4
rpm-sequoia
1.5.0-2.fc38
1.6.0-1.fc38
B
complete
112890603
2024-02-03 22:47:38
aarch64
├112890754 ( build.log | root.log )
ppc64le
├112890755 ( build.log | root.log )
x86_64
└112890753 ( build.log | root.log )
glibc
2.37-16.fc38
2.37-18.fc38
2
bash
5.2.21-1.fc38
5.2.26-1.fc38
2
appstream-data
38-6.fc38
38-7.fc38
2
openssh-clients
9.0p1-17.fc38
9.0p1-18.fc38
2
systemd-libs
253.14-1.fc38
253.15-2.fc38
2
glibc-gconv-extra
2.37-16.fc38
2.37-18.fc38
3
atk
2.48.3-1.fc38
2.48.4-1.fc38
3
tzdata-java
2023c-1.fc38
2023d-1.fc38
3
libssh
0.10.5-1.fc38
0.10.6-2.fc38
3
flexiblas-netlib
3.3.1-5.fc38
3.4.1-1.fc38
3
openssh
9.0p1-17.fc38
9.0p1-18.fc38
3
glibc-common
2.37-16.fc38
2.37-18.fc38
3
glibc-minimal-langpack
2.37-16.fc38
2.37-18.fc38
3
ansible-srpm-macros
1-10.fc38
1-12.fc38
3
ncurses-libs
6.4-3.20230114.fc38
6.4-7.20230520.fc38
3
alternatives
1.25-1.fc38
1.26-1.fc38
3
tzdata
2023c-1.fc38
2023d-1.fc38
3
libtirpc
1.3.4-0.fc38
1.3.4-0.rc2.fc38
3
glibc-devel
2.37-16.fc38
2.37-18.fc38
3
nss
3.95.0-1.fc38
3.96.1-1.fc38
3
nss-softokn
3.95.0-1.fc38
3.96.1-1.fc38
4
libssh-config
0.10.5-1.fc38
0.10.6-2.fc38
4
at-spi2-core
2.48.3-1.fc38
2.48.4-1.fc38
4
audit-libs
3.1.2-5.fc38
3.1.2-6.fc38
4
libcloudproviders
0.3.2-1.fc38
0.3.5-1.fc38
4
at-spi2-atk
2.48.3-1.fc38
2.48.4-1.fc38
4
flexiblas
3.3.1-5.fc38
3.4.1-1.fc38
4
nss-util
3.95.0-1.fc38
3.96.1-1.fc38
4
ncurses-base
6.4-3.20230114.fc38
6.4-7.20230520.fc38
4
publicsuffix-list-dafsa
20230812-1.fc38
20240107-1.fc38
4
nss-sysinit
3.95.0-1.fc38
3.96.1-1.fc38
4
libcloudproviders-devel
0.3.2-1.fc38
0.3.5-1.fc38
4
at-spi2-atk-devel
2.48.3-1.fc38
2.48.4-1.fc38
4
glibc-headers-x86
2.37-16.fc38
2.37-18.fc38
4
atk-devel
2.48.3-1.fc38
2.48.4-1.fc38
4
flexiblas-openblas-openmp
3.3.1-5.fc38
3.4.1-1.fc38
4
nspr
4.35.0-13.fc38
4.35.0-14.fc38
4
hwdata
0.377-2.fc38
0.378-1.fc38
B
at-spi2-core-devel
2.48.3-1.fc38
2.48.4-1.fc38
B
libdrm
2.4.117-1.fc38
2.4.120-1.fc38
B
nss-softokn-freebl
3.95.0-1.fc38
3.96.1-1.fc38
B
complete
111459988
2024-01-08 03:34:58
aarch64
├111460087 ( build.log | root.log )
ppc64le
├111460088 ( build.log | root.log )
x86_64
└111460086 ( build.log | root.log )
python3-devel
3.11.6-1.fc38
3.11.7-2.fc38
1
python3-libs
3.11.6-1.fc38
3.11.7-2.fc38
2
python3
3.11.6-1.fc38
3.11.7-2.fc38
2
java-17-openjdk-headless
1:17.0.9.0.9-1.fc38
1:17.0.9.0.9-3.fc38
2
complete
111083398
2023-12-31 03:05:08
aarch64
├111083436 ( build.log | root.log )
ppc64le
├111083434 ( build.log | root.log )
x86_64
└111083438 ( build.log | root.log )
pyproject-rpm-macros
1.10.0-1.fc38
1.11.0-1.fc38
2
cups-libs
1:2.4.7-4.fc38
1:2.4.7-5.fc38
3
pyproject-srpm-macros
1.10.0-1.fc38
1.11.0-1.fc38
3
complete
110864082
2023-12-26 07:06:00
aarch64
├110864211 ( build.log | root.log )
ppc64le
├110864207 ( build.log | root.log )
x86_64
└110864209 ( build.log | root.log )
systemd-libs
253.13-1.fc38
253.14-1.fc38
2
nss
3.94.0-2.fc38
3.95.0-1.fc38
3
libcap
2.48-7.fc38
2.48-8.fc38
3
nss-util
3.94.0-2.fc38
3.95.0-1.fc38
4
nss-sysinit
3.94.0-2.fc38
3.95.0-1.fc38
4
nss-softokn
3.94.0-2.fc38
3.95.0-1.fc38
4
nspr
4.35.0-12.fc38
4.35.0-13.fc38
4
hwdata
0.376-1.fc38
0.377-2.fc38
B
nss-softokn-freebl
3.94.0-2.fc38
3.95.0-1.fc38
B
Previous history
Koschei version
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues