coq

Package information

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

Scheduler parameters

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

pyproject-rpm-macros
1.15.1-1.fc42
1.16.1-1.fc42
2
gcc
14.2.1-5.fc42
14.2.1-6.fc42
2
libarchive
3.7.6-1.fc42
3.7.7-1.fc42
2
libgcc
14.2.1-5.fc42
14.2.1-6.fc42
2
expat
2.6.3-1.fc42
2.6.4-1.fc42
2
bash
5.2.32-2.fc42
5.2.37-1.fc42
2
glib2
2.82.2-1.fc42
2.83.0-1.fc42
2
pyproject-srpm-macros
1.15.1-1.fc42
1.16.1-1.fc42
3
libgomp
14.2.1-5.fc42
14.2.1-6.fc42
3
crypto-policies
20241104-1.git4983c10....
20241106-1.git35892de....
3
cpp
14.2.1-5.fc42
14.2.1-6.fc42
3
pixman-devel
0.43.4-2.fc41
0.44.0-0.fc42
3
glib2-devel
2.82.2-1.fc42
2.83.0-1.fc42
3
gcc-plugin-annobin
14.2.1-5.fc42
14.2.1-6.fc42
3
libquadmath
14.2.1-5.fc42
14.2.1-6.fc42
4
libXcursor-devel
1.2.2-2.fc41
1.2.3-1.fc42
4
libxcrypt-devel
4.4.36-8.fc42
4.4.36-9.fc42
4
libXcursor
1.2.2-2.fc41
1.2.3-1.fc42
4
harfbuzz-devel
10.0.1-1.fc42
10.1.0-1.fc42
4
libgfortran
14.2.1-5.fc42
14.2.1-6.fc42
4
pixman
0.43.4-2.fc41
0.44.0-0.fc42
4
libstdc++
14.2.1-5.fc42
14.2.1-6.fc42
4
harfbuzz
10.0.1-1.fc42
10.1.0-1.fc42
4
systemd-libs
256.7-1.fc42
257~rc1-2.fc42
4
pam-libs
1.7.0-1.fc42
1.7.0-2.fc42
4
gdb-minimal
15.2-1.fc42
15.2-2.fc42
4
pam
1.7.0-1.fc42
1.7.0-2.fc42
4
libxcrypt
4.4.36-8.fc42
4.4.36-9.fc42
B
libeconf
0.7.4-2.fc42
0.7.4-3.fc42
B
harfbuzz-icu
10.0.1-1.fc42
10.1.0-1.fc42
B
json-c
0.17-4.fc41
0.18-1.fc42
B
harfbuzz-cairo
10.0.1-1.fc42
10.1.0-1.fc42
B

State overview

Groups

This package is not part of any global group.

Most recent builds

complete
125529647
2024-11-05 14:30:47
aarch64
├125529853 ( build.log | root.log )
ppc64le
├125529851 ( build.log | root.log )
x86_64
└125529852 ( build.log | root.log )
ocaml-dune
3.16.0-5.fc42
3.16.1-1.fc42
1
gcc
14.2.1-4.fc42
14.2.1-5.fc42
2
zlib-ng-compat
2.1.7-3.fc42
2.2.2-1.fc42
2
glibc
2.40.9000-15.fc42
2.40.9000-16.fc42
2
libgcc
14.2.1-4.fc42
14.2.1-5.fc42
2
libgomp
14.2.1-4.fc42
14.2.1-5.fc42
3
zlib-ng-compat-devel
2.1.7-3.fc42
2.2.2-1.fc42
3
gnutls
3.8.7-4.fc42
3.8.8-1.fc42
3
crypto-policies
20241018-1.gitce922cb....
20241104-1.git4983c10....
3
glibc-gconv-extra
2.40.9000-15.fc42
2.40.9000-16.fc42
3
gcc-plugin-annobin
14.2.1-4.fc42
14.2.1-5.fc42
3
glibc-minimal-langpack
2.40.9000-15.fc42
2.40.9000-16.fc42
3
cpp
14.2.1-4.fc42
14.2.1-5.fc42
3
glibc-common
2.40.9000-15.fc42
2.40.9000-16.fc42
3
glibc-devel
2.40.9000-15.fc42
2.40.9000-16.fc42
3
kernel-headers
6.12.0-0.rc5.44.fc42
6.12.0-0.rc6.51.fc42
4
libquadmath
14.2.1-4.fc42
14.2.1-5.fc42
4
libgfortran
14.2.1-4.fc42
14.2.1-5.fc42
4
libxcrypt-devel
4.4.36-7.fc41
4.4.36-8.fc42
4
sysprof-capture-devel
47.0-1.fc42
47.1-1.fc42
4
cmake-filesystem
3.28.3-7.fc41
3.30.5-1.fc42
4
libstdc++
14.2.1-4.fc42
14.2.1-5.fc42
4
mesa-dri-drivers
24.2.5-1.fc42
24.2.6-1.fc42
B
fedora-release-common
42-0.6
42-0.8
B
fedora-release-identity-basic
42-0.6
42-0.8
B
libxshmfence
1.3.2-4.fc41
1.3.2-5.fc42
B
mesa-filesystem
24.2.5-1.fc42
24.2.6-1.fc42
B
libxcrypt
4.4.36-7.fc41
4.4.36-8.fc42
B
fedora-release
42-0.6
42-0.8
B
mesa-libgbm
24.2.5-1.fc42
24.2.6-1.fc42
B
mesa-libGL
24.2.5-1.fc42
24.2.6-1.fc42
B
mesa-libglapi
24.2.5-1.fc42
24.2.6-1.fc42
B
mesa-libEGL
24.2.5-1.fc42
24.2.6-1.fc42
B
hwdata
0.388-1.fc42
0.389-1.fc42
B
complete
125389681
2024-10-31 08:01:18
aarch64
├125389750 ( build.log | root.log )
ppc64le
├125389748 ( build.log | root.log )
x86_64
└125389749 ( build.log | root.log )
glibc
2.40.9000-7.fc42
2.40.9000-15.fc42
2
openssh-clients
9.9p1-4.fc42
9.9p1-5.fc42
2
icu4j
1:75.1-3.fc41
1:76.1-1.fc42
2
krb5-libs
1.21.3-2.fc41
1.21.3-3.fc42
3
libcap
2.70-4.fc41
2.71-1.fc42
3
glibc-minimal-langpack
2.40.9000-7.fc42
2.40.9000-15.fc42
3
glibc-common
2.40.9000-7.fc42
2.40.9000-15.fc42
3
glibc-devel
2.40.9000-7.fc42
2.40.9000-15.fc42
3
openssh
9.9p1-4.fc42
9.9p1-5.fc42
3
glibc-gconv-extra
2.40.9000-7.fc42
2.40.9000-15.fc42
3
kernel-headers
6.12.0-0.rc4.39.fc42
6.12.0-0.rc5.44.fc42
4
nss
3.104.0-1.fc42
3.105.0-1.fc42
4
default-fonts-core-sans
4.1-3.fc42
4.2-1.fc42
4
debugedit
5.0-18.fc42
5.1-1.fc42
4
pam
1.6.1-7.fc42
1.7.0-1.fc42
4
pam-libs
1.6.1-7.fc42
1.7.0-1.fc42
4
nspr
4.35.0-29.fc42
4.35.0-30.fc42
B
fedora-gpg-keys
42-0.2
42-0.3
B
glibc-headers-x86
2.40.9000-7.fc42
fedora-repos
42-0.2
42-0.3
B
mesa-libGL
24.2.4-1.fc42
24.2.5-1.fc42
B
mesa-libgbm
24.2.4-1.fc42
24.2.5-1.fc42
B
nss-softokn-freebl
3.104.0-1.fc42
3.105.0-1.fc42
B
nss-util
3.104.0-1.fc42
3.105.0-1.fc42
B
mesa-libglapi
24.2.4-1.fc42
24.2.5-1.fc42
B
nss-sysinit
3.104.0-1.fc42
3.105.0-1.fc42
B
fedora-repos-rawhide
42-0.2
42-0.3
B
mesa-libEGL
24.2.4-1.fc42
24.2.5-1.fc42
B
mesa-dri-drivers
24.2.4-1.fc42
24.2.5-1.fc42
B
nss-softokn
3.104.0-1.fc42
3.105.0-1.fc42
B
mesa-filesystem
24.2.4-1.fc42
24.2.5-1.fc42
B
complete
125110899
2024-10-23 07:26:25
aarch64
├125110945 ( build.log | root.log )
ppc64le
├125110943 ( build.log | root.log )
x86_64
└125110944 ( build.log | root.log )
openssh-clients
9.9p1-3.fc42
9.9p1-4.fc42
2
glib2
2.82.1-2.fc42
2.82.2-1.fc42
2
less
661-2.fc41
668-1.fc42
2
crypto-policies
20241010-1.git8baf557....
20241018-1.gitce922cb....
3
qt6-srpm-macros
6.7.2-3.fc41
6.8.0-1.fc42
3
glib2-devel
2.82.1-2.fc42
2.82.2-1.fc42
3
openssh
9.9p1-3.fc42
9.9p1-4.fc42
3
binutils
2.43.1-1.fc42
2.43.50-5.fc42
3
lua-libs
5.4.6-6.fc41
5.4.7-1.fc42
3
build-reproducibility-srpm-macros
0.4.1-1.fc42
0.4.3-1.fc42
3
libnghttp2
1.63.0-1.fc42
1.64.0-1.fc42
3
sqlite-libs
3.46.0-4.fc41
3.46.1-1.fc42
3
java-21-openjdk-headless
1:21.0.4.0.7-2.fc41
1:21.0.5.0.11-1.fc42
3
libcom_err
1.47.1-3.fc41
1.47.1-6.fc42
4
elfutils-debuginfod-client
0.191-8.fc41
0.192-3.fc42
4
elfutils-libelf
0.191-8.fc41
0.192-3.fc42
4
cups-libs
1:2.4.11-1.fc42
1:2.4.11-2.fc42
4
elfutils
0.191-8.fc41
0.192-3.fc42
4
shadow-utils
2:4.16.0-5.fc42
2:4.16.0-6.fc42
4
pam-libs
1.6.1-6.fc42
1.6.1-7.fc42
4
jansson
2.13.1-10.fc41
2.14-1.fc42
4
pam
1.6.1-6.fc42
1.6.1-7.fc42
4
add-determinism
0.4.1-1.fc42
0.4.3-1.fc42
4
kernel-headers
6.11.0-63.fc42
6.12.0-0.rc4.39.fc42
4
lua
5.4.6-6.fc41
5.4.7-1.fc42
B
libusb1
1.0.27-3.fc41
1.0.27-4.fc42
B
elfutils-default-yama-scope
0.191-8.fc41
0.192-3.fc42
B
elfutils-libs
0.191-8.fc41
0.192-3.fc42
B
fedora-release
42-0.4
42-0.6
B
libeconf
0.6.2-3.fc41
0.7.4-2.fc42
B
fedora-release-identity-basic
42-0.4
42-0.6
B
fedora-release-common
42-0.4
42-0.6
B
json-c
0.17-4.fc41
B
libtirpc
1.3.5-0.fc41
1.3.6-0.fc42
B
complete
124861315
2024-10-15 20:32:38
aarch64
├124861469 ( build.log | root.log )
ppc64le
├124861467 ( build.log | root.log )
x86_64
└124861468 ( build.log | root.log )
ocaml-dune
3.16.0-4.fc42
3.16.0-5.fc42
1
javapackages-filesystem
6.3.3-1.fc42
6.3.4-1.fc42
2
glibc
2.40.9000-6.fc42
2.40.9000-7.fc42
2
javapackages-tools
6.3.3-1.fc42
6.3.4-1.fc42
2
openssh-clients
9.8p1-4.fc42
9.9p1-3.fc42
2
xz-libs
1:5.6.3-1.fc42
1:5.6.3-2.fc42
3
crypto-policies
20240927-1.git93b7251....
20241010-1.git8baf557....
3
glibc-minimal-langpack
2.40.9000-6.fc42
2.40.9000-7.fc42
3
glibc-devel
2.40.9000-6.fc42
2.40.9000-7.fc42
3
freetype-devel
2.13.2-6.fc41
2.13.3-1.fc42
3
openssh
9.8p1-4.fc42
9.9p1-3.fc42
3
glibc-common
2.40.9000-6.fc42
2.40.9000-7.fc42
3
freetype
2.13.2-6.fc41
2.13.3-1.fc42
3
build-reproducibility-srpm-macros
0.3.6-1.fc41
0.4.1-1.fc42
3
glibc-gconv-extra
2.40.9000-6.fc42
2.40.9000-7.fc42
3
cups-libs
1:2.4.10-7.fc42
1:2.4.11-1.fc42
4
glibc-headers-x86
2.40.9000-6.fc42
2.40.9000-7.fc42
4
systemd-libs
256.5-1.fc42
256.7-1.fc42
4
xz
1:5.6.3-1.fc42
1:5.6.3-2.fc42
4
authselect-libs
1.5.0-7.fc41
1.5.0-8.fc42
4
gdb-minimal
15.1-2.fc42
15.2-1.fc42
4
xz-devel
1:5.6.3-1.fc42
1:5.6.3-2.fc42
4
add-determinism
0.3.6-1.fc41
0.4.1-1.fc42
4
authselect
1.5.0-7.fc41
1.5.0-8.fc42
B
info
7.1.1-1.fc42
7.1.1-2.fc42
B
fedora-release
42-0.3
42-0.4
B
fedora-release-identity-basic
42-0.3
42-0.4
B
fedora-release-common
42-0.3
42-0.4
B
complete
124598888
2024-10-09 01:19:12
aarch64
├124598982 ( build.log | root.log )
ppc64le
├124598981 ( build.log | root.log )
x86_64
└124598983 ( build.log | root.log )
ocaml-ounit-devel
2.2.7-11.fc41
2.2.7-12.fc42
1
git-core
2.46.2-1.fc42
2.47.0-1.fc42
1
ocaml-dune
3.16.0-3.fc41
3.16.0-4.fc42
1
python3-devel
3.13.0~rc3-1.fc42
3.13.0-1.fc42
1
rpm-libs
4.19.94-1.fc42
4.20.0-1.fc42
2
ocaml-ounit
2.2.7-11.fc41
2.2.7-12.fc42
2
javapackages-tools
6.3.1-1.fc42
6.3.3-1.fc42
2
python3
3.13.0~rc3-1.fc42
3.13.0-1.fc42
2
glibc
2.40.9000-1.fc42
2.40.9000-6.fc42
2
python3-libs
3.13.0~rc3-1.fc42
3.13.0-1.fc42
2
javapackages-filesystem
6.3.1-1.fc42
6.3.3-1.fc42
2
rpm
4.19.94-1.fc42
4.20.0-1.fc42
3
glibc-devel
2.40.9000-1.fc42
2.40.9000-6.fc42
3
dwz
0.15-7.fc41
0.15-8.fc42
3
glibc-minimal-langpack
2.40.9000-1.fc42
2.40.9000-6.fc42
3
glibc-common
2.40.9000-1.fc42
2.40.9000-6.fc42
3
rpm-build
4.19.94-1.fc42
4.20.0-1.fc42
3
glibc-gconv-extra
2.40.9000-1.fc42
2.40.9000-6.fc42
3
debugedit
5.0-17.fc41
5.0-18.fc42
4
rpm-build-libs
4.19.94-1.fc42
4.20.0-1.fc42
4
glibc-headers-x86
2.40.9000-1.fc42
2.40.9000-6.fc42
4
p11-kit-trust
0.25.5-3.fc41
0.25.5-4.fc42
4
shadow-utils
2:4.16.0-4.fc42
2:4.16.0-5.fc42
4
p11-kit
0.25.5-3.fc41
0.25.5-4.fc42
4
complete
124365912
2024-10-04 16:05:31
aarch64
├124366017 ( build.log | root.log )
ppc64le
├124366018 ( build.log | root.log )
x86_64
└124366016 ( build.log | root.log )
texlive-base
11:20230311-85.fc41
11:20230311-86.fc42
1
make
1:4.4.1-8.fc41
1:4.4.1-9.fc42
1
python3-devel
3.13.0~rc2-3.fc42
3.13.0~rc3-1.fc42
1
python3
3.13.0~rc2-3.fc42
3.13.0~rc3-1.fc42
2
javapackages-filesystem
6.2.0-30.fc42
6.3.1-1.fc42
2
javapackages-tools
6.2.0-30.fc42
6.3.1-1.fc42
2
python3-libs
3.13.0~rc2-3.fc42
3.13.0~rc3-1.fc42
2
xxhash-libs
0.8.2-3.fc41
0.8.2-4.fc42
2
pyproject-rpm-macros
1.15.0-1.fc42
1.15.1-1.fc42
2
xz-libs
1:5.6.2-2.fc41
1:5.6.3-1.fc42
3
pyproject-srpm-macros
1.15.0-1.fc42
1.15.1-1.fc42
3
libxcb-devel
1.17.0-2.fc41
1.17.0-3.fc42
3
crypto-policies
20240828-1.git5f66e81....
20240927-1.git93b7251....
3
libxcb
1.17.0-2.fc41
1.17.0-3.fc42
4
xz
1:5.6.2-2.fc41
1:5.6.3-1.fc42
4
xz-devel
1:5.6.2-2.fc41
1:5.6.3-1.fc42
4
mesa-libgbm
24.2.3-2.fc42
24.2.4-1.fc42
B
mesa-libglapi
24.2.3-2.fc42
24.2.4-1.fc42
B
mesa-libEGL
24.2.3-2.fc42
24.2.4-1.fc42
B
mesa-libGL
24.2.3-2.fc42
24.2.4-1.fc42
B
hwdata
0.387-1.fc42
0.388-1.fc42
B
xkeyboard-config
2.42-2.fc41
2.43-1.fc42
B
mesa-dri-drivers
24.2.3-2.fc42
24.2.4-1.fc42
B
llvm-libs
18.1.8-2.fc41
19.1.0-1.fc42
B
mesa-filesystem
24.2.3-2.fc42
24.2.4-1.fc42
B
complete
124086612
2024-09-28 04:04:34
aarch64
├124086693 ( build.log | root.log )
ppc64le
├124086695 ( build.log | root.log )
x86_64
└124086694 ( build.log | root.log )
git-core
2.46.1-1.fc42
2.46.2-1.fc42
1
javapackages-tools
6.2.0-27.fc42
6.2.0-30.fc42
2
libarchive
3.7.4-3.fc42
3.7.6-1.fc42
2
libcurl
8.10.1-1.fc42
8.10.1-2.fc42
2
redhat-rpm-config
295-1.fc42
296-1.fc42
2
gcc
14.2.1-3.fc42
14.2.1-4.fc42
2
libgcc
14.2.1-3.fc42
14.2.1-4.fc42
2
javapackages-filesystem
6.2.0-27.fc42
6.2.0-30.fc42
2
glib2
2.82.1-1.fc42
2.82.1-2.fc42
2
glib2-devel
2.82.1-1.fc42
2.82.1-2.fc42
3
libgomp
14.2.1-3.fc42
14.2.1-4.fc42
3
coreutils
9.5-9.fc42
9.5-10.fc42
3
cpp
14.2.1-3.fc42
14.2.1-4.fc42
3
gcc-plugin-annobin
14.2.1-3.fc42
14.2.1-4.fc42
3
ca-certificates
2024.2.69_v8.0.401-1.fc42
2024.2.69_v8.0.401-2.fc42
3
forge-srpm-macros
0.3.2-1.fc41
0.4.0-1.fc42
3
fribidi
1.0.15-2.fc41
1.0.16-1.fc42
4
libquadmath
14.2.1-3.fc42
14.2.1-4.fc42
4
harfbuzz
9.0.0-3.fc42
10.0.1-1.fc42
4
fribidi-devel
1.0.15-2.fc41
1.0.16-1.fc42
4
cups-libs
1:2.4.10-6.fc42
1:2.4.10-7.fc42
4
curl
8.10.1-1.fc42
8.10.1-2.fc42
4
harfbuzz-devel
9.0.0-3.fc42
10.0.1-1.fc42
4
libgfortran
14.2.1-3.fc42
14.2.1-4.fc42
4
coreutils-common
9.5-9.fc42
9.5-10.fc42
4
libstdc++
14.2.1-3.fc42
14.2.1-4.fc42
4
harfbuzz-icu
9.0.0-3.fc42
10.0.1-1.fc42
B
harfbuzz-cairo
9.0.0-3.fc42
10.0.1-1.fc42
B
complete
123860821
2024-09-24 00:16:51
aarch64
├123861086 ( build.log | root.log )
ppc64le
├123861088 ( build.log | root.log )
x86_64
└123861087 ( build.log | root.log )
python3-devel
3.13.0~rc2-1.fc42
3.13.0~rc2-3.fc42
1
python3-libs
3.13.0~rc2-1.fc42
3.13.0~rc2-3.fc42
2
libpng
2:1.6.40-4.fc41
2:1.6.44-1.fc42
2
glib2
2.82.0-1.fc42
2.82.1-1.fc42
2
pyproject-rpm-macros
1.14.0-1.fc41
1.15.0-1.fc42
2
libcurl
8.10.0-1.fc42
8.10.1-1.fc42
2
libarchive
3.7.4-3.fc41
3.7.4-3.fc42
2
python3
3.13.0~rc2-1.fc42
3.13.0~rc2-3.fc42
2
ghc-srpm-macros
1.9.1-2.fc41
1.9.2-1.fc42
3
libjpeg-turbo
3.0.2-3.fc41
3.0.4-1.fc42
3
libpng-devel
2:1.6.40-4.fc41
2:1.6.44-1.fc42
3
pyproject-srpm-macros
1.14.0-1.fc41
1.15.0-1.fc42
3
ca-certificates
2024.2.68_v8.0.302-3.fc41
2024.2.69_v8.0.401-1.fc42
3
glib2-devel
2.82.0-1.fc42
2.82.1-1.fc42
3
shadow-utils
2:4.16.0-3.fc42
2:4.16.0-4.fc42
4
curl
8.10.0-1.fc42
8.10.1-1.fc42
4
fedora-repos-rawhide
42-0.1
42-0.2
B
libjpeg-turbo-devel
3.0.2-3.fc41
3.0.4-1.fc42
B
mesa-libGL
24.2.2-2.fc42
24.2.3-2.fc42
B
mesa-dri-drivers
24.2.2-2.fc42
24.2.3-2.fc42
B
mesa-libgbm
24.2.2-2.fc42
24.2.3-2.fc42
B
mesa-libglapi
24.2.2-2.fc42
24.2.3-2.fc42
B
mesa-libEGL
24.2.2-2.fc42
24.2.3-2.fc42
B
mesa-filesystem
24.2.2-2.fc42
24.2.3-2.fc42
B
fedora-repos
42-0.1
42-0.2
B
fedora-gpg-keys
42-0.1
42-0.2
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