coq

Package information

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

Scheduler parameters

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

Most recent builds

complete
117223387
2024-05-04 03:21:02
aarch64
├117223465 ( build.log | root.log )
x86_64
└117223464 ( build.log | root.log )
git-core
2.44.0-1.fc39
2.45.0-1.fc39
1
python3-devel
3.12.2-2.fc39
3.12.3-2.fc39
1
rsync
3.2.7-5.fc39
3.3.0-1.fc39
1
libcurl
8.2.1-4.fc39
8.2.1-5.fc39
2
python3-libs
3.12.2-2.fc39
3.12.3-2.fc39
2
python3
3.12.2-2.fc39
3.12.3-2.fc39
2
glibc
2.38-17.fc39
2.38-18.fc39
2
libX11-devel
1.8.7-1.fc39
1.8.9-1.fc39
3
cups-libs
1:2.4.7-11.fc39
1:2.4.7-13.fc39
3
glibc-common
2.38-17.fc39
2.38-18.fc39
3
libnghttp2
1.55.1-4.fc39
1.55.1-5.fc39
3
glibc-gconv-extra
2.38-17.fc39
2.38-18.fc39
3
glibc-devel
2.38-17.fc39
2.38-18.fc39
3
glibc-minimal-langpack
2.38-17.fc39
2.38-18.fc39
3
forge-srpm-macros
0.2.0-3.fc39
0.3.1-1.fc39
3
python-pip-wheel
23.2.1-1.fc39
23.2.1-2.fc39
3
gnutls
3.8.4-1.fc39
3.8.5-1.fc39
3
curl
8.2.1-4.fc39
8.2.1-5.fc39
4
libX11
1.8.7-1.fc39
1.8.9-1.fc39
4
glibc-headers-x86
2.38-17.fc39
2.38-18.fc39
4
libX11-xcb
1.8.7-1.fc39
1.8.9-1.fc39
4
libX11-common
1.8.7-1.fc39
1.8.9-1.fc39
B
dbus-broker
35-2.fc39
36-2.fc39
B
libgusb
0.4.8-1.fc39
0.4.9-1.fc39
B
complete
116159544
2024-04-10 02:31:30
aarch64
├116159603 ( build.log | root.log )
x86_64
└116159604 ( build.log | root.log )
glibc
2.38-16.fc39
2.38-17.fc39
2
expat
2.6.0-1.fc39
2.6.2-1.fc39
2
emacs-filesystem
1:29.2-2.fc39
1:29.3-1.fc39
2
libuuid
2.39.3-6.fc39
2.39.4-1.fc39
2
libzstd
1.5.5-4.fc39
1.5.6-1.fc39
2
go-srpm-macros
3.4.0-2.fc39
3.5.0-1.fc39
3
glibc-devel
2.38-16.fc39
2.38-17.fc39
3
glibc-minimal-langpack
2.38-16.fc39
2.38-17.fc39
3
annobin-plugin-gcc
12.42-1.fc39
12.46-1.fc39
3
gnutls
3.8.3-1.fc39
3.8.4-1.fc39
3
glibc-common
2.38-16.fc39
2.38-17.fc39
3
glibc-gconv-extra
2.38-16.fc39
2.38-17.fc39
3
util-linux
2.39.3-6.fc39
2.39.4-1.fc39
3
libmount
2.39.3-6.fc39
2.39.4-1.fc39
3
nss
3.98.0-1.fc39
3.99.0-1.fc39
3
annobin-docs
12.42-1.fc39
12.46-1.fc39
4
libfdisk
2.39.3-6.fc39
2.39.4-1.fc39
4
at-spi2-atk
2.50.1-1.fc39
2.50.2-1.fc39
4
at-spi2-atk-devel
2.50.1-1.fc39
2.50.2-1.fc39
4
zstd
1.5.5-4.fc39
1.5.6-1.fc39
4
nss-softokn
3.98.0-1.fc39
3.99.0-1.fc39
4
nss-sysinit
3.98.0-1.fc39
3.99.0-1.fc39
4
libblkid
2.39.3-6.fc39
2.39.4-1.fc39
4
kernel-headers
6.7.3-200.fc39
6.8.3-200.fc39
4
nss-util
3.98.0-1.fc39
3.99.0-1.fc39
4
libsmartcols
2.39.3-6.fc39
2.39.4-1.fc39
4
atk-devel
2.50.1-1.fc39
2.50.2-1.fc39
4
util-linux-core
2.39.3-6.fc39
2.39.4-1.fc39
4
gdb-minimal
14.1-4.fc39
14.2-1.fc39
4
glibc-headers-x86
2.38-16.fc39
2.38-17.fc39
4
nspr
4.35.0-18.fc39
4.35.0-19.fc39
4
atk
2.50.1-1.fc39
2.50.2-1.fc39
4
libeconf
0.5.2-1.fc39
0.5.2-2.fc39
B
libmount-devel
2.39.3-6.fc39
2.39.4-1.fc39
B
at-spi2-core-devel
2.50.1-1.fc39
2.50.2-1.fc39
B
at-spi2-core
2.50.1-1.fc39
2.50.2-1.fc39
B
libblkid-devel
2.39.3-6.fc39
2.39.4-1.fc39
B
nss-softokn-freebl
3.98.0-1.fc39
3.99.0-1.fc39
B
hwdata
0.380-1.fc39
0.381-1.fc39
B
complete
115273738
2024-03-22 01:55:08
aarch64
├115273908 ( build.log | root.log )
x86_64
└115273907 ( build.log | root.log )
python3-devel
3.12.2-1.fc39
3.12.2-2.fc39
1
libgcc
13.2.1-6.fc39
13.2.1-7.fc39
2
redhat-rpm-config
265-1.fc39
266-1.fc39
2
python3-libs
3.12.2-1.fc39
3.12.2-2.fc39
2
python3
3.12.2-1.fc39
3.12.2-2.fc39
2
gcc
13.2.1-6.fc39
13.2.1-7.fc39
2
cpp
13.2.1-6.fc39
13.2.1-7.fc39
3
libgomp
13.2.1-6.fc39
13.2.1-7.fc39
3
gcc-plugin-annobin
13.2.1-6.fc39
13.2.1-7.fc39
3
annobin-plugin-gcc
12.40-1.fc39
12.42-1.fc39
3
libtirpc
1.3.4-0.rc2.fc39
1.3.4-1.rc3.fc39
3
rust-srpm-macros
26.1-1.fc39
26.2-1.fc39
3
flexiblas-netlib
3.4.1-1.fc39
3.4.2-1.fc39
3
libquadmath
13.2.1-6.fc39
13.2.1-7.fc39
4
flexiblas-openblas-openmp
3.4.1-1.fc39
3.4.2-1.fc39
4
elfutils-debuginfod-client
0.190-4.fc39
0.191-2.fc39
4
annobin-docs
12.40-1.fc39
12.42-1.fc39
4
elfutils-libelf
0.190-4.fc39
0.191-2.fc39
4
libstdc++
13.2.1-6.fc39
13.2.1-7.fc39
4
flexiblas
3.4.1-1.fc39
3.4.2-1.fc39
4
libgfortran
13.2.1-6.fc39
13.2.1-7.fc39
4
systemd-libs
254.9-1.fc39
254.10-1.fc39
4
keyutils-libs
1.6.1-7.fc39
1.6.3-1.fc39
4
elfutils
0.190-4.fc39
0.191-2.fc39
4
elfutils-libs
0.190-4.fc39
0.191-2.fc39
B
elfutils-default-yama-scope
0.190-4.fc39
0.191-2.fc39
B
libusb1
1.0.26-3.fc39
1.0.27-1.fc39
B
hwdata
0.379-1.fc39
0.380-1.fc39
B
complete
114342879
2024-03-02 14:26:26
aarch64
├114342986 ( build.log | root.log )
x86_64
└114342985 ( build.log | root.log )
git-core
2.43.2-1.fc39
2.44.0-1.fc39
1
python3-devel
3.12.1-2.fc39
3.12.2-1.fc39
1
python3
3.12.1-2.fc39
3.12.2-1.fc39
2
libuuid
2.39.3-5.fc39
2.39.3-6.fc39
2
python3-libs
3.12.1-2.fc39
3.12.2-1.fc39
2
rpmautospec-rpm-macros
0.6.1-3.fc39
0.6.3-1.fc39
3
annobin-plugin-gcc
12.38-1.fc39
12.40-1.fc39
3
nss
3.96.1-1.fc39
3.98.0-1.fc39
3
rust-srpm-macros
25.2-2.fc39
26.1-1.fc39
3
util-linux
2.39.3-5.fc39
2.39.3-6.fc39
3
ncurses-libs
6.4-7.20230520.fc39
6.4-7.20230520.fc...
3
cups-libs
1:2.4.7-5.fc39
1:2.4.7-11.fc39
3
lua-srpm-macros
1-9.fc39
1-13.fc39
3
libmount
2.39.3-5.fc39
2.39.3-6.fc39
3
qt6-srpm-macros
6.6.0-1.fc39
6.6.2-1.fc39
3
util-linux-core
2.39.3-5.fc39
2.39.3-6.fc39
4
nss-sysinit
3.96.1-1.fc39
3.98.0-1.fc39
4
libblkid
2.39.3-5.fc39
2.39.3-6.fc39
4
libfdisk
2.39.3-5.fc39
2.39.3-6.fc39
4
libsmartcols
2.39.3-5.fc39
2.39.3-6.fc39
4
nss-softokn
3.96.1-1.fc39
3.98.0-1.fc39
4
annobin-docs
12.38-1.fc39
12.40-1.fc39
4
nss-util
3.96.1-1.fc39
3.98.0-1.fc39
4
nspr
4.35.0-16.fc39
4.35.0-18.fc39
4
ncurses-base
6.4-7.20230520.fc39
6.4-7.20230520.fc...
4
mesa-libEGL
23.3.5-1.fc39
23.3.6-1.fc39
B
mesa-libglapi
23.3.5-1.fc39
23.3.6-1.fc39
B
fedora-release
39-34
39-36
B
fedora-release-common
39-34
39-36
B
libblkid-devel
2.39.3-5.fc39
2.39.3-6.fc39
B
libmount-devel
2.39.3-5.fc39
2.39.3-6.fc39
B
mesa-libGL
23.3.5-1.fc39
23.3.6-1.fc39
B
mesa-libgbm
23.3.5-1.fc39
23.3.6-1.fc39
B
nss-softokn-freebl
3.96.1-1.fc39
3.98.0-1.fc39
B
fedora-release-identity-basic
39-34
39-36
B
complete
113729335
2024-02-19 05:20:41
aarch64
├113729434 ( build.log | root.log )
x86_64
└113729435 ( build.log | root.log )
git-core
2.43.0-1.fc39
2.43.2-1.fc39
1
libuuid
2.39.3-4.fc39
2.39.3-5.fc39
2
rpm-libs
4.19.1-2.fc39
4.19.1.1-1.fc39
2
expat
2.5.0-3.fc39
2.6.0-1.fc39
2
redhat-rpm-config
262-1.fc39
265-1.fc39
2
libmount
2.39.3-4.fc39
2.39.3-5.fc39
3
util-linux
2.39.3-4.fc39
2.39.3-5.fc39
3
fontconfig
2.14.2-5.fc39
2.14.2-6.fc39
3
tzdata-java
2023d-1.fc39
2024a-2.fc39
3
tzdata
2023d-1.fc39
2024a-2.fc39
3
rpm-build
4.19.1-2.fc39
4.19.1.1-1.fc39
3
rpm
4.19.1-2.fc39
4.19.1.1-1.fc39
3
fontconfig-devel
2.14.2-5.fc39
2.14.2-6.fc39
3
rpmautospec-rpm-macros
0.6.0-2.fc39
0.6.1-3.fc39
3
go-srpm-macros
3.3.1-1.fc39
3.4.0-2.fc39
3
forge-srpm-macros
0.2.0-3.fc39
3
util-linux-core
2.39.3-4.fc39
2.39.3-5.fc39
4
libblkid
2.39.3-4.fc39
2.39.3-5.fc39
4
libfdisk
2.39.3-4.fc39
2.39.3-5.fc39
4
systemd-libs
254.8-2.fc39
254.9-1.fc39
4
libsmartcols
2.39.3-4.fc39
2.39.3-5.fc39
4
rpm-build-libs
4.19.1-2.fc39
4.19.1.1-1.fc39
4
libblkid-devel
2.39.3-4.fc39
2.39.3-5.fc39
B
libmount-devel
2.39.3-4.fc39
2.39.3-5.fc39
B
hwdata
0.378-1.fc39
0.379-1.fc39
B
complete
113142627
2024-02-08 07:44:52
aarch64
├113142692 ( build.log | root.log )
x86_64
└113142691 ( build.log | root.log )
time
1.9-22.fc39
1.9-23.fc39
1
rpm-libs
4.19.1-1.fc39
4.19.1-2.fc39
2
glibc
2.38-14.fc39
2.38-16.fc39
2
glibc-gconv-extra
2.38-14.fc39
2.38-16.fc39
3
ansible-srpm-macros
1-11.fc39
1-12.fc39
3
glibc-devel
2.38-14.fc39
2.38-16.fc39
3
rpm-build
4.19.1-1.fc39
4.19.1-2.fc39
3
alsa-lib
1.2.10-3.fc39
1.2.11-2.fc39
3
rpm-sequoia
1.5.0-2.fc39
1.6.0-1.fc39
3
rpmautospec-rpm-macros
0.5.1-1.fc39
0.6.0-2.fc39
3
glibc-minimal-langpack
2.38-14.fc39
2.38-16.fc39
3
libidn2
2.3.4-3.fc39
2.3.7-1.fc39
3
glibc-common
2.38-14.fc39
2.38-16.fc39
3
rpm
4.19.1-1.fc39
4.19.1-2.fc39
3
gdb-minimal
14.1-2.fc39
14.1-4.fc39
4
glibc-headers-x86
2.38-14.fc39
2.38-16.fc39
4
kernel-headers
6.6.3-200.fc39
6.7.3-200.fc39
4
rpm-build-libs
4.19.1-1.fc39
4.19.1-2.fc39
4
google-noto-fonts-common
20230801-4.fc39
20240101-1.fc39
B
mesa-libglapi
23.3.3-1.fc39
23.3.5-1.fc39
B
mesa-libgbm
23.3.3-1.fc39
23.3.5-1.fc39
B
google-noto-sans-vf-fonts
20230801-4.fc39
20240101-1.fc39
B
mesa-libGL
23.3.3-1.fc39
23.3.5-1.fc39
B
mesa-libEGL
23.3.3-1.fc39
23.3.5-1.fc39
B
complete
112533621
2024-01-29 06:34:29
aarch64
├112533723 ( build.log | root.log )
x86_64
└112533722 ( build.log | root.log )
libuuid
2.39.3-1.fc39
2.39.3-4.fc39
2
pyproject-rpm-macros
1.11.0-1.fc39
1.12.0-1.fc39
2
bash
5.2.21-1.fc39
5.2.26-1.fc39
2
emacs-filesystem
1:29.1-2.fc39
1:29.2-2.fc39
2
libmount
2.39.3-1.fc39
2.39.3-4.fc39
3
annobin-plugin-gcc
12.35-1.fc39
12.38-1.fc39
3
qt5-srpm-macros
5.15.11-1.fc39
5.15.12-1.fc39
3
readline
8.2-4.fc39
8.2-6.fc39
3
alternatives
1.25-1.fc39
1.26-1.fc39
3
coreutils
9.3-4.fc39
9.3-5.fc39
3
krb5-libs
1.21.2-2.fc39
1.21.2-3.fc39
3
gtk3-devel
3.24.39-1.fc39
3.24.41-1.fc39
3
pyproject-srpm-macros
1.11.0-1.fc39
1.12.0-1.fc39
3
gtk3
3.24.39-1.fc39
3.24.41-1.fc39
3
binutils
2.40-13.fc39
2.40-14.fc39
3
flexiblas-netlib
3.3.1-5.fc39
3.4.1-1.fc39
3
util-linux
2.39.3-1.fc39
2.39.3-4.fc39
3
libtirpc
1.3.4-0.fc39
1.3.4-0.rc2.fc39
3
rpmautospec-rpm-macros
0.3.8-1.fc39
0.5.1-1.fc39
3
gnutls
3.8.2-2.fc39
3.8.3-1.fc39
3
libblkid
2.39.3-1.fc39
2.39.3-4.fc39
4
audit-libs
3.1.2-5.fc39
3.1.2-8.fc39
4
util-linux-core
2.39.3-1.fc39
2.39.3-4.fc39
4
at-spi2-atk-devel
2.50.0-1.fc39
2.50.1-1.fc39
4
atk-devel
2.50.0-1.fc39
2.50.1-1.fc39
4
coreutils-common
9.3-4.fc39
9.3-5.fc39
4
annobin-docs
12.35-1.fc39
12.38-1.fc39
4
publicsuffix-list-dafsa
20230812-1.fc39
20240107-1.fc39
4
systemd-libs
254.7-1.fc39
254.8-2.fc39
4
libsmartcols
2.39.3-1.fc39
2.39.3-4.fc39
4
at-spi2-atk
2.50.0-1.fc39
2.50.1-1.fc39
4
gdb-minimal
14.1-1.fc39
14.1-2.fc39
4
flexiblas-openblas-openmp
3.3.1-5.fc39
3.4.1-1.fc39
4
binutils-gold
2.40-13.fc39
2.40-14.fc39
4
gtk-update-icon-cache
3.24.39-1.fc39
3.24.41-1.fc39
4
atk
2.50.0-1.fc39
2.50.1-1.fc39
4
flexiblas
3.3.1-5.fc39
3.4.1-1.fc39
4
libfdisk
2.39.3-1.fc39
2.39.3-4.fc39
4
libdrm
2.4.117-1.fc39
2.4.120-1.fc39
B
libmount-devel
2.39.3-1.fc39
2.39.3-4.fc39
B
at-spi2-core-devel
2.50.0-1.fc39
2.50.1-1.fc39
B
at-spi2-core
2.50.0-1.fc39
2.50.1-1.fc39
B
libblkid-devel
2.39.3-1.fc39
2.39.3-4.fc39
B
complete
111725999
2024-01-14 07:17:44
aarch64
├111726153 ( build.log | root.log )
x86_64
└111726154 ( build.log | root.log )
icu4j
1:74.1-2.fc39
1:74.2-1.fc39
2
openssh-clients
9.3p1-9.fc39
9.3p1-10.fc39
2
openssh
9.3p1-9.fc39
9.3p1-10.fc39
3
annobin-plugin-gcc
12.30-1.fc39
12.35-1.fc39
3
nss
3.95.0-1.fc39
3.96.1-1.fc39
3
nss-softokn
3.95.0-1.fc39
3.96.1-1.fc39
4
annobin-docs
12.30-1.fc39
12.35-1.fc39
4
nss-sysinit
3.95.0-1.fc39
3.96.1-1.fc39
4
nspr
4.35.0-15.fc39
4.35.0-16.fc39
4
nss-util
3.95.0-1.fc39
3.96.1-1.fc39
4
mesa-libGL
23.3.1-4.fc39
23.3.3-1.fc39
B
mesa-libEGL
23.3.1-4.fc39
23.3.3-1.fc39
B
nss-softokn-freebl
3.95.0-1.fc39
3.96.1-1.fc39
B
hwdata
0.377-2.fc39
0.378-1.fc39
B
mesa-libgbm
23.3.1-4.fc39
23.3.3-1.fc39
B
mesa-libglapi
23.3.1-4.fc39
23.3.3-1.fc39
B
Previous history
Koschei version
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues