coq

Package information

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

Scheduler parameters

Tracked by Koschei
True
Current priority
124
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
128669642
2025-01-31 03:24:49
aarch64
├128669688 ( build.log | root.log )
ppc64le
├128669689 ( build.log | root.log )
x86_64
└128669690 ( build.log | root.log )
python3-antlr4-runtime
4.13.2-1.fc41
4.13.2-3.fc41
1
rsync
3.3.0-3.fc41
3.4.1-1.fc41
1
antlr4
4.13.2-1.fc41
4.13.2-3.fc41
1
glibc
2.40-17.fc41
2.40-21.fc41
2
openssh-clients
9.8p1-3.fc41.2
9.9p1-2.fc41
2
less
661-2.fc41
668-1.fc41
2
antlr4-runtime
4.13.2-1.fc41
4.13.2-3.fc41
2
java-21-openjdk-headless
1:21.0.5.0.11-1.fc41
1:21.0.6.0.7-1.fc41
2
sqlite-libs
3.46.1-1.fc41
3.46.1-2.fc41
3
glibc-devel
2.40-17.fc41
2.40-21.fc41
3
glibc-common
2.40-17.fc41
2.40-21.fc41
3
glibc-minimal-langpack
2.40-17.fc41
2.40-21.fc41
3
glibc-gconv-extra
2.40-17.fc41
2.40-21.fc41
3
gnutls
3.8.6-7.fc41
3.8.8-3.fc41
3
openldap
2.6.8-6.fc41
2.6.8-7.fc41
3
openssh
9.8p1-3.fc41.2
9.9p1-2.fc41
3
debugedit
5.1-2.fc41
5.1-4.fc41
4
cmake-filesystem
3.30.5-1.fc41
3.30.7-1.fc41
4
publicsuffix-list-dafsa
20240107-4.fc41
20250116-1.fc41
4
mesa-libglapi
24.3.3-2.fc41
24.3.4-3.fc41
B
mesa-libGL
24.3.3-2.fc41
24.3.4-3.fc41
B
mesa-filesystem
24.3.3-2.fc41
24.3.4-3.fc41
B
mesa-libgbm
24.3.3-2.fc41
24.3.4-3.fc41
B
llvm-libs
19.1.5-1.fc41
19.1.7-1.fc41
B
libsoup3
3.6.0-1.fc41
3.6.4-1.fc41
B
mesa-libEGL
24.3.3-2.fc41
24.3.4-3.fc41
B
mesa-dri-drivers
24.3.3-2.fc41
24.3.4-3.fc41
B
Real build: coq-8.18.0-11.fc41
complete
128619381
2025-01-29 20:13:51
aarch64
├128619479 ( build.log | root.log )
ppc64le
├128619480 ( build.log | root.log )
s390x
├128619481 ( build.log | root.log )
x86_64
└128619478 ( build.log | root.log )
No dependency changes
complete
128043791
2025-01-18 03:51:19
aarch64
├128043951 ( build.log | root.log )
ppc64le
├128043949 ( build.log | root.log )
x86_64
└128043950 ( build.log | root.log )
git-core
2.47.1-1.fc41
2.48.1-1.fc41
1
libuuid
2.40.2-4.fc41
2.40.4-1.fc41
2
gcc
14.2.1-3.fc41
14.2.1-7.fc41
2
pyproject-rpm-macros
1.16.3-1.fc41
1.16.4-1.fc41
2
libgcc
14.2.1-3.fc41
14.2.1-7.fc41
2
openssl-libs
1:3.2.2-10.fc41
1:3.2.2-11.fc41
2
libcurl
8.9.1-2.fc41
8.9.1-3.fc41
2
zlib-ng-compat
2.1.7-3.fc41
2.2.3-1.fc41
2
gcc-plugin-annobin
14.2.1-3.fc41
14.2.1-7.fc41
3
util-linux
2.40.2-4.fc41
2.40.4-1.fc41
3
zlib-ng-compat-devel
2.1.7-3.fc41
2.2.3-1.fc41
3
cpp
14.2.1-3.fc41
14.2.1-7.fc41
3
pyproject-srpm-macros
1.16.3-1.fc41
1.16.4-1.fc41
3
libgomp
14.2.1-3.fc41
14.2.1-7.fc41
3
flexiblas-netlib
3.4.4-3.fc41
3.4.4-5.fc41
3
libmount
2.40.2-4.fc41
2.40.4-1.fc41
3
audit-libs
4.0.2-1.fc41
4.0.3-1.fc41
4
libfdisk
2.40.2-4.fc41
2.40.4-1.fc41
4
flexiblas
3.4.4-3.fc41
3.4.4-5.fc41
4
util-linux-core
2.40.2-4.fc41
2.40.4-1.fc41
4
libstdc++
14.2.1-3.fc41
14.2.1-7.fc41
4
libxcrypt-devel
4.4.37-4.fc41
4.4.38-3.fc41
4
libgfortran
14.2.1-3.fc41
14.2.1-7.fc41
4
libblkid
2.40.2-4.fc41
2.40.4-1.fc41
4
flexiblas-openblas-openmp
3.4.4-3.fc41
3.4.4-5.fc41
4
systemd-libs
256.10-1.fc41
256.11-1.fc41
4
libquadmath
14.2.1-3.fc41
14.2.1-7.fc41
4
libsmartcols
2.40.2-4.fc41
2.40.4-1.fc41
4
curl
8.9.1-2.fc41
8.9.1-3.fc41
4
cups-libs
1:2.4.11-8.fc41
1:2.4.11-9.fc41
4
gdb-minimal
15.2-3.fc41
15.2-4.fc41
4
libmount-devel
2.40.2-4.fc41
2.40.4-1.fc41
4
mesa-libgbm
24.3.2-2.fc41
24.3.3-2.fc41
B
libusb1
1.0.27-4.fc41
1.0.27-6.fc41
B
cups-filesystem
1:2.4.11-8.fc41
1:2.4.11-9.fc41
B
mesa-dri-drivers
24.3.2-2.fc41
24.3.3-2.fc41
B
libxcrypt
4.4.37-4.fc41
4.4.38-3.fc41
B
mesa-libglapi
24.3.2-2.fc41
24.3.3-2.fc41
B
mesa-libEGL
24.3.2-2.fc41
24.3.3-2.fc41
B
mesa-filesystem
24.3.2-2.fc41
24.3.3-2.fc41
B
spirv-tools-libs
2024.3-3.fc41
2024.4-1.fc41
B
mesa-libGL
24.3.2-2.fc41
24.3.3-2.fc41
B
libXxf86vm
1.1.5-7.fc41
1.1.6-1.fc41
B
libblkid-devel
2.40.2-4.fc41
2.40.4-1.fc41
B
complete
127669793
2025-01-08 12:33:35
aarch64
├127670011 ( build.log | root.log )
ppc64le
├127670013 ( build.log | root.log )
x86_64
└127670012 ( build.log | root.log )
openssl-libs
1:3.2.2-9.fc41
1:3.2.2-10.fc41
2
xxhash-libs
0.8.2-4.fc41
0.8.3-1.fc41
2
libxml2-devel
2.12.8-2.fc41
2.12.9-1.fc41
3
go-srpm-macros
3.6.0-3.fc41
3.6.0-5.fc41
3
tzdata
2024a-9.fc41
2024b-1.fc41
3
libxml2
2.12.8-2.fc41
2.12.9-1.fc41
3
libXrender-devel
0.9.11-7.fc41
0.9.12-1.fc41
3
libedit
3.1-53.20240808cv...
3.1-54.20250104cv...
3
setup
2.15.0-5.fc41
2.15.0-8.fc41
4
tzdata-java
2024a-9.fc41
2024b-1.fc41
4
libxcrypt-devel
4.4.36-11.fc41
4.4.37-4.fc41
4
libXrender
0.9.11-7.fc41
0.9.12-1.fc41
4
mesa-filesystem
24.2.8-1.fc41
24.3.2-2.fc41
B
mesa-libgbm
24.2.8-1.fc41
24.3.2-2.fc41
B
mesa-dri-drivers
24.2.8-1.fc41
24.3.2-2.fc41
B
libwebp
1.4.0-4.fc41
1.5.0-1.fc41
B
libxcrypt
4.4.36-11.fc41
4.4.37-4.fc41
B
mesa-libEGL
24.2.8-1.fc41
24.3.2-2.fc41
B
hwdata
0.390-1.fc41
0.391-1.fc41
B
mesa-libGL
24.2.8-1.fc41
24.3.2-2.fc41
B
mesa-libglapi
24.2.8-1.fc41
24.3.2-2.fc41
B
libtirpc
1.3.6-1.fc41
1.3.6-1.rc3.fc41
B
libwebp-devel
1.4.0-4.fc41
1.5.0-1.fc41
B
spirv-tools-libs
2024.3-3.fc41
B
complete
127117661
2024-12-22 14:02:24
aarch64
├127117785 ( build.log | root.log )
ppc64le
├127117786 ( build.log | root.log )
x86_64
└127117787 ( build.log | root.log )
python3-devel
3.13.0-1.fc41
3.13.1-2.fc41
1
glibc
2.40-12.fc41
2.40-17.fc41
2
python3
3.13.0-1.fc41
3.13.1-2.fc41
2
python3-libs
3.13.0-1.fc41
3.13.1-2.fc41
2
qt6-srpm-macros
6.8.0-1.fc41
6.8.1-4.fc41
3
binutils
2.43.1-4.fc41
2.43.1-5.fc41
3
forge-srpm-macros
0.3.2-1.fc41
0.4.0-1.fc41
3
glibc-gconv-extra
2.40-12.fc41
2.40-17.fc41
3
glibc-common
2.40-12.fc41
2.40-17.fc41
3
glibc-minimal-langpack
2.40-12.fc41
2.40-17.fc41
3
glibc-devel
2.40-12.fc41
2.40-17.fc41
3
alternatives
1.30-1.fc41
1.31-1.fc41
4
kernel-headers
6.11.3-300.fc41
6.12.4-200.fc41
4
nss
3.106.0-1.fc41
3.107.0-1.fc41
4
systemd-libs
256.9-2.fc41
256.10-1.fc41
4
nss-softokn-freebl
3.106.0-1.fc41
3.107.0-1.fc41
B
nss-softokn
3.106.0-1.fc41
3.107.0-1.fc41
B
nss-sysinit
3.106.0-1.fc41
3.107.0-1.fc41
B
nss-util
3.106.0-1.fc41
3.107.0-1.fc41
B
nspr
4.36.0-1.fc41
4.36.0-2.fc41
B
complete
126738717
2024-12-12 02:17:15
aarch64
├126738779 ( build.log | root.log )
ppc64le
├126738780 ( build.log | root.log )
x86_64
└126738781 ( build.log | root.log )
pyproject-rpm-macros
1.16.0-1.fc41
1.16.3-1.fc41
2
cairo-devel
1.18.2-1.fc41
1.18.2-2.fc41
2
cairo
1.18.2-1.fc41
1.18.2-2.fc41
3
pixman-devel
0.44.0-0.fc41
0.44.2-1.fc41
3
openldap
2.6.8-5.fc41
2.6.8-6.fc41
3
binutils
2.43.1-2.fc41
2.43.1-4.fc41
3
rpm-sequoia
1.7.0-2.fc41
1.7.0-3.fc41
3
pyproject-srpm-macros
1.16.0-1.fc41
1.16.3-1.fc41
3
cairo-gobject
1.18.2-1.fc41
1.18.2-2.fc41
4
elfutils-libelf
0.192-6.fc41
0.192-7.fc41
4
pixman
0.44.0-0.fc41
0.44.2-1.fc41
4
elfutils-debuginfod-client
0.192-6.fc41
0.192-7.fc41
4
cups-libs
1:2.4.11-3.fc41
1:2.4.11-8.fc41
4
systemd-libs
256.8-1.fc41
256.9-2.fc41
4
elfutils
0.192-6.fc41
0.192-7.fc41
4
sysprof-capture-devel
47.1-1.fc41
47.2-1.fc41
4
cairo-gobject-devel
1.18.2-1.fc41
1.18.2-2.fc41
4
mesa-libgbm
24.2.7-1.fc41
24.2.8-1.fc41
B
fedora-release-common
41-28
41-29
B
mesa-filesystem
24.2.7-1.fc41
24.2.8-1.fc41
B
mesa-libGL
24.2.7-1.fc41
24.2.8-1.fc41
B
libdrm
2.4.123-1.fc41
2.4.124-1.fc41
B
elfutils-libs
0.192-6.fc41
0.192-7.fc41
B
cups-filesystem
1:2.4.11-3.fc41
1:2.4.11-8.fc41
B
hwdata
0.389-1.fc41
0.390-1.fc41
B
elfutils-default-yama-scope
0.192-6.fc41
0.192-7.fc41
B
mesa-libEGL
24.2.7-1.fc41
24.2.8-1.fc41
B
mesa-libglapi
24.2.7-1.fc41
24.2.8-1.fc41
B
mesa-dri-drivers
24.2.7-1.fc41
24.2.8-1.fc41
B
fedora-release
41-28
41-29
B
fedora-release-identity-basic
41-28
41-29
B
llvm-libs
19.1.4-1.fc41
19.1.5-1.fc41
B
complete
126430450
2024-12-01 10:32:25
aarch64
├126430539 ( build.log | root.log )
ppc64le
├126430540 ( build.log | root.log )
x86_64
└126430538 ( build.log | root.log )
git-core
2.47.0-1.fc41
2.47.1-1.fc41
1
glibc
2.40-11.fc41
2.40-12.fc41
2
cairo-devel
1.18.0-4.fc41
1.18.2-1.fc41
2
efi-srpm-macros
5-12.fc41
5-13.fc41
3
glibc-common
2.40-11.fc41
2.40-12.fc41
3
glibc-minimal-langpack
2.40-11.fc41
2.40-12.fc41
3
glibc-gconv-extra
2.40-11.fc41
2.40-12.fc41
3
glibc-devel
2.40-11.fc41
2.40-12.fc41
3
cairo
1.18.0-4.fc41
1.18.2-1.fc41
3
cairo-gobject
1.18.0-4.fc41
1.18.2-1.fc41
4
pam
1.6.1-6.fc41
1.6.1-7.fc41
4
pam-libs
1.6.1-6.fc41
1.6.1-7.fc41
4
libxcrypt-devel
4.4.36-10.fc41
4.4.36-11.fc41
4
debugedit
5.1-1.fc41
5.1-2.fc41
4
cairo-gobject-devel
1.18.0-4.fc41
1.18.2-1.fc41
4
nss
3.105.0-1.fc41
3.106.0-1.fc41
4
nspr
4.35.0-30.fc41
4.36.0-1.fc41
B
libxcrypt
4.4.36-10.fc41
4.4.36-11.fc41
B
llvm-libs
19.1.0-1.fc41
19.1.4-1.fc41
B
nss-softokn
3.105.0-1.fc41
3.106.0-1.fc41
B
nss-util
3.105.0-1.fc41
3.106.0-1.fc41
B
nss-sysinit
3.105.0-1.fc41
3.106.0-1.fc41
B
nss-softokn-freebl
3.105.0-1.fc41
3.106.0-1.fc41
B
complete
126183944
2024-11-24 04:27:54
aarch64
├126184021 ( build.log | root.log )
ppc64le
├126184022 ( build.log | root.log )
x86_64
└126184020 ( build.log | root.log )
glibc
2.40-9.fc41
2.40-11.fc41
2
expat
2.6.3-1.fc41
2.6.4-1.fc41
2
coreutils
9.5-10.fc41
9.5-11.fc41
3
build-reproducibility-srpm-macros
0.3.6-1.fc41
0.3.6-3.fc41
3
glibc-devel
2.40-9.fc41
2.40-11.fc41
3
pixman-devel
0.43.4-2.fc41
0.44.0-0.fc41
3
glibc-common
2.40-9.fc41
2.40-11.fc41
3
glibc-minimal-langpack
2.40-9.fc41
2.40-11.fc41
3
glibc-gconv-extra
2.40-9.fc41
2.40-11.fc41
3
coreutils-common
9.5-10.fc41
9.5-11.fc41
4
elfutils
0.192-5.fc41
0.192-6.fc41
4
cups-libs
1:2.4.11-2.fc41
1:2.4.11-3.fc41
4
systemd-libs
256.7-1.fc41
256.8-1.fc41
4
gdb-minimal
15.2-2.fc41
15.2-3.fc41
4
sysprof-capture-devel
47.0-1.fc41
47.1-1.fc41
4
add-determinism
0.3.6-1.fc41
0.3.6-3.fc41
4
pixman
0.43.4-2.fc41
0.44.0-0.fc41
4
elfutils-debuginfod-client
0.192-5.fc41
0.192-6.fc41
4
alsa-lib
1.2.12-2.fc41
1.2.13-3.fc41
4
elfutils-libelf
0.192-5.fc41
0.192-6.fc41
4
cups-filesystem
1:2.4.11-3.fc41
B
mesa-dri-drivers
24.2.6-1.fc41
24.2.7-1.fc41
B
mesa-libglapi
24.2.6-1.fc41
24.2.7-1.fc41
B
libtirpc
1.3.6-0.fc41
1.3.6-1.fc41
B
mesa-filesystem
24.2.6-1.fc41
24.2.7-1.fc41
B
fedora-release-identity-basic
41-27
41-28
B
mesa-libgbm
24.2.6-1.fc41
24.2.7-1.fc41
B
elfutils-libs
0.192-5.fc41
0.192-6.fc41
B
elfutils-default-yama-scope
0.192-5.fc41
0.192-6.fc41
B
fedora-release
41-27
41-28
B
mesa-libEGL
24.2.6-1.fc41
24.2.7-1.fc41
B
fedora-release-common
41-27
41-28
B
mesa-libGL
24.2.6-1.fc41
24.2.7-1.fc41
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