coq

Package information

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

Scheduler parameters

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

java-17-openjdk-headless
1:17.0.13.0.11-1.fc39
1:17.0.13.0.11-3.fc39
2
krb5-libs
1.21.3-1.fc39
1.21.3-2.fc39
3
systemd-libs
254.19-1.fc39
254.20-1.fc39
4
libsoup3
3.4.4-1.fc39
3.4.4-3.fc39
B
hwdata
0.388-1.fc39
0.389-1.fc39
B

State overview

Groups

This package is not part of any global group.

Most recent builds

complete
125641885
2024-11-08 21:29:51
aarch64
├125641992 ( build.log | root.log )
x86_64
└125641991 ( build.log | root.log )
git-core
2.46.2-1.fc39
2.47.0-1.fc39
1
pyproject-rpm-macros
1.15.1-1.fc39
1.16.0-1.fc39
2
glibc
2.38-18.fc39
2.38-19.fc39
2
libarchive
3.7.1-2.fc39
3.7.1-3.fc39
2
java-17-openjdk-headless
1:17.0.12.0.7-2.fc39
1:17.0.13.0.11-1.fc39
2
glibc-gconv-extra
2.38-18.fc39
2.38-19.fc39
3
nss
3.104.0-1.fc39
3.105.0-1.fc39
3
rpmautospec-rpm-macros
0.7.2-1.fc39
0.7.3-1.fc39
3
libtirpc
1.3.5-0.fc39
1.3.6-0.fc39
3
glibc-common
2.38-18.fc39
2.38-19.fc39
3
pyproject-srpm-macros
1.15.1-1.fc39
1.16.0-1.fc39
3
cups-libs
1:2.4.10-7.fc39
1:2.4.11-1.fc39
3
glibc-minimal-langpack
2.38-18.fc39
2.38-19.fc39
3
glibc-devel
2.38-18.fc39
2.38-19.fc39
3
elfutils-debuginfod-client
0.191-2.fc39
0.192-4.fc39
4
glibc-headers-x86
2.38-18.fc39
2.38-19.fc39
4
nss-sysinit
3.104.0-1.fc39
3.105.0-1.fc39
4
nss-util
3.104.0-1.fc39
3.105.0-1.fc39
4
nspr
4.35.0-23.fc39
4.35.0-24.fc39
4
elfutils-libelf
0.191-2.fc39
0.192-4.fc39
4
systemd-libs
254.18-1.fc39
254.19-1.fc39
4
nss-softokn
3.104.0-1.fc39
3.105.0-1.fc39
4
elfutils
0.191-2.fc39
0.192-4.fc39
4
elfutils-default-yama-scope
0.191-2.fc39
0.192-4.fc39
B
nss-softokn-freebl
3.104.0-1.fc39
3.105.0-1.fc39
B
libtiff-devel
4.4.0-8.fc39
4.4.0-10.fc39
B
libtiff
4.4.0-8.fc39
4.4.0-10.fc39
B
elfutils-libs
0.191-2.fc39
0.192-4.fc39
B
json-c
0.17-1.fc39
B
cmake-filesystem
3.27.7-1.fc39
3.30.5-1.fc39
B
complete
125002655
2024-10-20 01:31:47
aarch64
├125002780 ( build.log | root.log )
x86_64
└125002779 ( build.log | root.log )
python3-devel
3.12.6-1.fc39
3.12.7-1.fc39
1
git-core
2.46.1-1.fc39
2.46.2-1.fc39
1
python3-libs
3.12.6-1.fc39
3.12.7-1.fc39
2
xxhash-libs
0.8.2-1.fc39
0.8.2-4.fc39
2
pyproject-rpm-macros
1.13.0-1.fc39
1.15.1-1.fc39
2
python3
3.12.6-1.fc39
3.12.7-1.fc39
2
lksctp-tools
1.0.19-4.fc39
1.0.20-1.fc39
3
ca-certificates
2023.2.60_v7.0.306-2.fc39
2024.2.69_v8.0.401-1.0.fc39
3
pyproject-srpm-macros
1.13.0-1.fc39
1.15.1-1.fc39
3
nss
3.103.0-1.fc39
3.104.0-1.fc39
3
cups-libs
1:2.4.10-6.fc39
1:2.4.10-7.fc39
3
coreutils
9.3-6.fc39
9.3-7.fc39
3
kernel-headers
6.10.3-200.fc39
6.11.3-100.fc39
4
nss-util
3.103.0-1.fc39
3.104.0-1.fc39
4
nss-softokn
3.103.0-1.fc39
3.104.0-1.fc39
4
nss-sysinit
3.103.0-1.fc39
3.104.0-1.fc39
4
nspr
4.35.0-22.fc39
4.35.0-23.fc39
4
coreutils-common
9.3-6.fc39
9.3-7.fc39
4
systemd-libs
254.16-1.fc39
254.18-1.fc39
4
nss-softokn-freebl
3.103.0-1.fc39
3.104.0-1.fc39
B
hwdata
0.387-1.fc39
0.388-1.fc39
B
complete
123806028
2024-09-23 02:56:11
aarch64
├123806138 ( build.log | root.log )
x86_64
└123806139 ( build.log | root.log )
git-core
2.46.0-1.fc39
2.46.1-1.fc39
1
python3-devel
3.12.5-1.fc39
3.12.6-1.fc39
1
openssl-libs
1:3.1.1-4.fc39
1:3.1.4-4.fc39
2
libgcc
13.3.1-1.fc39
13.3.1-3.fc39
2
python3
3.12.5-1.fc39
3.12.6-1.fc39
2
less
633-2.fc39
633-4.fc39
2
python3-libs
3.12.5-1.fc39
3.12.6-1.fc39
2
gcc
13.3.1-1.fc39
13.3.1-3.fc39
2
expat
2.6.2-1.fc39
2.6.3-1.fc39
2
cups-libs
1:2.4.10-3.fc39
1:2.4.10-6.fc39
3
cpp
13.3.1-1.fc39
13.3.1-3.fc39
3
rpmautospec-rpm-macros
0.6.5-1.fc39
0.7.2-1.fc39
3
libgomp
13.3.1-1.fc39
13.3.1-3.fc39
3
gcc-plugin-annobin
13.3.1-1.fc39
13.3.1-3.fc39
3
libgfortran
13.3.1-1.fc39
13.3.1-3.fc39
4
libquadmath
13.3.1-1.fc39
13.3.1-3.fc39
4
libstdc++
13.3.1-1.fc39
13.3.1-3.fc39
4
gdb-minimal
14.2-2.fc39
15.1-1.fc39
4
hwdata
0.385-1.fc39
0.387-1.fc39
B
complete
122494198
2024-08-26 05:28:22
aarch64
├122494291 ( build.log | root.log )
x86_64
└122494292 ( build.log | root.log )
python3-devel
3.12.4-1.fc39
3.12.5-1.fc39
1
git-core
2.45.2-1.fc39
2.46.0-1.fc39
1
python3-libs
3.12.4-1.fc39
3.12.5-1.fc39
2
java-17-openjdk-headless
1:17.0.11.0.9-1.fc39
1:17.0.12.0.7-2.fc39
2
python3
3.12.4-1.fc39
3.12.5-1.fc39
2
qt5-srpm-macros
5.15.13-1.fc39
5.15.14-2.fc39
3
libedit
3.1-51.20240517cv...
3.1-53.20240808cv...
3
libtirpc
1.3.4-1.rc3.fc39
1.3.5-0.fc39
3
cups-libs
1:2.4.10-1.fc39
1:2.4.10-3.fc39
3
nss
3.101.0-1.fc39
3.103.0-1.fc39
3
nss-sysinit
3.101.0-1.fc39
3.103.0-1.fc39
4
systemd-libs
254.14-1.fc39
254.16-1.fc39
4
nss-util
3.101.0-1.fc39
3.103.0-1.fc39
4
nspr
4.35.0-21.fc39
4.35.0-22.fc39
4
audit-libs
3.1.3-1.fc39
3.1.5-1.fc39
4
nss-softokn
3.101.0-1.fc39
3.103.0-1.fc39
4
kernel-headers
6.9.4-100.fc39
6.10.3-200.fc39
4
python3-setuptools
67.7.2-7.fc39
67.7.2-8.fc39
B
nss-softokn-freebl
3.101.0-1.fc39
3.103.0-1.fc39
B
hwdata
0.384-1.fc39
0.385-1.fc39
B
complete
121145579
2024-07-28 09:48:55
aarch64
├121145696 ( build.log | root.log )
x86_64
└121145695 ( build.log | root.log )
pyproject-rpm-macros
1.12.0-1.fc39
1.13.0-1.fc39
2
python3-rpm-macros
3.12-4.fc39
3.12-8.fc39
2
python-rpm-macros
3.12-4.fc39
3.12-8.fc39
2
gtk3
3.24.41-1.fc39
3.24.43-1.fc39
3
rpm-sequoia
1.6.0-3.fc39
1.7.0-1.fc39
3
python-srpm-macros
3.12-4.fc39
3.12-8.fc39
3
findutils
1:4.9.0-5.fc39
1:4.9.0-6.fc39
3
gtk3-devel
3.24.41-1.fc39
3.24.43-1.fc39
3
coreutils
9.3-5.fc39
9.3-6.fc39
3
gnutls
3.8.5-1.fc39
3.8.6-1.fc39
3
annobin-plugin-gcc
12.57-1.fc39
12.60-1.fc39
3
krb5-libs
1.21.2-3.fc39
1.21.3-1.fc39
3
pyproject-srpm-macros
1.12.0-1.fc39
1.13.0-1.fc39
3
cups-libs
1:2.4.8-3.fc39
1:2.4.10-1.fc39
3
gtk-update-icon-cache
3.24.41-1.fc39
3.24.43-1.fc39
4
p11-kit-trust
0.25.3-1.fc39
0.25.5-1.fc39
4
coreutils-common
9.3-5.fc39
9.3-6.fc39
4
gdb-minimal
14.2-1.fc39
14.2-2.fc39
4
p11-kit
0.25.3-1.fc39
0.25.5-1.fc39
4
annobin-docs
12.57-1.fc39
12.60-1.fc39
4
hwdata
0.383-1.fc39
0.384-1.fc39
B
complete
120333129
2024-07-11 16:27:00
aarch64
├120333192 ( build.log | root.log )
x86_64
└120333191 ( build.log | root.log )
python3-devel
3.12.3-2.fc39
3.12.4-1.fc39
1
python3-antlr4-runtime
4.10.1-10.fc39
4.10.1-11.fc39
1
antlr4
4.10.1-10.fc39
4.10.1-11.fc39
1
python3-libs
3.12.3-2.fc39
3.12.4-1.fc39
2
python3
3.12.3-2.fc39
3.12.4-1.fc39
2
openssh-clients
9.3p1-10.fc39
9.3p1-11.fc39
2
antlr4-runtime
4.10.1-10.fc39
4.10.1-11.fc39
2
emacs-filesystem
1:29.3-1.fc39
1:29.4-2.fc39
2
rpmautospec-rpm-macros
0.6.3-1.fc39
0.6.5-1.fc39
3
alsa-lib
1.2.11-2.fc39
1.2.12-1.fc39
3
openssh
9.3p1-10.fc39
9.3p1-11.fc39
3
systemd-libs
254.13-1.fc39
254.14-1.fc39
4
complete
119648862
2024-06-26 17:49:38
aarch64
├119649134 ( build.log | root.log )
x86_64
└119649135 ( build.log | root.log )
git-core
2.45.1-1.fc39
2.45.2-1.fc39
1
libarchive
3.7.1-1.fc39
3.7.1-2.fc39
2
flexiblas-netlib
3.4.2-1.fc39
3.4.4-1.fc39
3
libedit
3.1-48.20230828cv...
3.1-51.20240517cv...
3
rpm-sequoia
1.6.0-1.fc39
1.6.0-3.fc39
3
annobin-plugin-gcc
12.51-1.fc39
12.57-1.fc39
3
nss
3.99.0-1.fc39
3.101.0-1.fc39
3
openldap
2.6.6-1.fc39
2.6.7-1.fc39
3
cups-libs
1:2.4.7-13.fc39
1:2.4.8-3.fc39
3
nspr
4.35.0-19.fc39
4.35.0-21.fc39
4
flexiblas
3.4.2-1.fc39
3.4.4-1.fc39
4
nss-softokn
3.99.0-1.fc39
3.101.0-1.fc39
4
flexiblas-openblas-openmp
3.4.2-1.fc39
3.4.4-1.fc39
4
kernel-headers
6.8.3-200.fc39
6.9.4-100.fc39
4
annobin-docs
12.51-1.fc39
12.57-1.fc39
4
systemd-libs
254.12-1.fc39
254.13-1.fc39
4
nss-sysinit
3.99.0-1.fc39
3.101.0-1.fc39
4
nss-util
3.99.0-1.fc39
3.101.0-1.fc39
4
fedora-repos
39-1
39-2
B
libdrm
2.4.120-1.fc39
2.4.121-1.fc39
B
hwdata
0.382-1.fc39
0.383-1.fc39
B
fedora-gpg-keys
39-1
39-2
B
nss-softokn-freebl
3.99.0-1.fc39
3.101.0-1.fc39
B
complete
118189990
2024-05-28 03:32:34
aarch64
├118190136 ( build.log | root.log )
x86_64
└118190135 ( build.log | root.log )
git-core
2.45.0-1.fc39
2.45.1-1.fc39
1
texlive-base
11:20230311-77.fc39
11:20230311-78.fc39
1
glib2
2.78.3-1.fc39
2.78.6-1.fc39
2
libgcc
13.2.1-7.fc39
13.3.1-1.fc39
2
java-17-openjdk-headless
1:17.0.9.0.9-3.fc39
1:17.0.11.0.9-1.fc39
2
gcc
13.2.1-7.fc39
13.3.1-1.fc39
2
cpp
13.2.1-7.fc39
13.3.1-1.fc39
3
rust-srpm-macros
26.2-1.fc39
26.3-1.fc39
3
gcc-plugin-annobin
13.2.1-7.fc39
13.3.1-1.fc39
3
libgomp
13.2.1-7.fc39
13.3.1-1.fc39
3
qt5-srpm-macros
5.15.12-1.fc39
5.15.13-1.fc39
3
annobin-plugin-gcc
12.46-1.fc39
12.51-1.fc39
3
libquadmath
13.2.1-7.fc39
13.3.1-1.fc39
4
libstdc++
13.2.1-7.fc39
13.3.1-1.fc39
4
libgfortran
13.2.1-7.fc39
13.3.1-1.fc39
4
systemd-libs
254.10-1.fc39
254.12-1.fc39
4
annobin-docs
12.46-1.fc39
12.51-1.fc39
4
audit-libs
3.1.2-8.fc39
3.1.3-1.fc39
4
glib2-devel
2.78.3-1.fc39
2.78.6-1.fc39
4
libusb1
1.0.27-1.fc39
1.0.27-2.fc39
B
hwdata
0.381-1.fc39
0.382-1.fc39
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