coq

Package information

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

Scheduler parameters

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

glibc
2.41-3.fc42
2.41-5.fc42
2
glibc-minimal-langpack
2.41-3.fc42
2.41-5.fc42
3
glibc-gconv-extra
2.41-3.fc42
2.41-5.fc42
3
glibc-common
2.41-3.fc42
2.41-5.fc42
3
glibc-devel
2.41-3.fc42
2.41-5.fc42
3
debugedit
5.1-5.fc42
5.1-6.fc42
4

State overview

Groups

This package is not part of any global group.

Historical builds

complete
130677355
2025-03-24 05:35:22
aarch64
├130677443 ( build.log | root.log )
ppc64le
├130677442 ( build.log | root.log )
x86_64
└130677441 ( build.log | root.log )
adwaita-icon-theme
48~beta-1.fc42
48.0-1.fc42
1
desktop-file-utils
0.27-3.fc42
0.28-1.fc42
1
icu4j
1:76.1-3.fc42
1:77.1-1.fc42
2
adwaita-cursor-theme
48~beta-1.fc42
48.0-1.fc42
2
pango
1.56.2-1.fc42
1.56.3-1.fc42
3
mpfr
4.2.1-6.fc42
4.2.2-1.fc42
3
at-spi2-atk
2.55.2-1.fc42
2.56.0-1.fc42
4
sysprof-capture-devel
48~rc-1.fc42
48.0-1.fc42
4
pango-devel
1.56.2-1.fc42
1.56.3-1.fc42
4
libtinysparql
3.9~rc-1.fc42
3.9.1-1.fc42
4
atk-devel
2.55.2-1.fc42
2.56.0-1.fc42
4
at-spi2-atk-devel
2.55.2-1.fc42
2.56.0-1.fc42
4
atk
2.55.2-1.fc42
2.56.0-1.fc42
4
llvm-libs
20.1.0-1.fc42
20.1.1-1.fc42
B
at-spi2-core-devel
2.55.2-1.fc42
2.56.0-1.fc42
B
mesa-libGL
25.0.1-3.fc42
25.0.2-2.fc42
B
at-spi2-core
2.55.2-1.fc42
2.56.0-1.fc42
B
mesa-filesystem
25.0.1-3.fc42
25.0.2-2.fc42
B
mesa-libgbm
25.0.1-3.fc42
25.0.2-2.fc42
B
llvm-filesystem
20.1.0-1.fc42
20.1.1-1.fc42
B
mesa-libEGL
25.0.1-3.fc42
25.0.2-2.fc42
B
mesa-dri-drivers
25.0.1-3.fc42
25.0.2-2.fc42
B
complete
130546831
2025-03-21 01:18:03
aarch64
├130546936 ( build.log | root.log )
ppc64le
├130546935 ( build.log | root.log )
x86_64
└130546934 ( build.log | root.log )
adwaita-icon-theme
47.0-2.fc42
48~beta-1.fc42
1
git-core
2.48.1-3.fc42
2.49.0-1.fc42
1
adwaita-cursor-theme
47.0-2.fc42
48~beta-1.fc42
2
zlib-ng-compat
2.2.3-2.fc42
2.2.4-1.fc42
2
rpm-libs
4.20.0-8.fc42
4.20.1-1.fc42
2
glib2
2.83.5-1.fc42
2.84.0-1.fc42
2
openssh-clients
9.9p1-7.fc42
9.9p1-9.fc42
2
expat
2.6.4-2.fc42
2.7.0-1.fc42
2
zlib-ng-compat-devel
2.2.3-2.fc42
2.2.4-1.fc42
3
rpm-build
4.20.0-8.fc42
4.20.1-1.fc42
3
gtk3-devel
3.24.43-3.fc42
3.24.49-1.fc42
3
openssh
9.9p1-7.fc42
9.9p1-9.fc42
3
gtk3
3.24.43-3.fc42
3.24.49-1.fc42
3
rpm
4.20.0-8.fc42
4.20.1-1.fc42
3
pango
1.56.1-1.fc42
1.56.2-1.fc42
3
glib2-devel
2.83.5-1.fc42
2.84.0-1.fc42
3
libxkbcommon-devel
1.8.0-1.fc42
1.8.1-1.fc42
4
rpm-build-libs
4.20.0-8.fc42
4.20.1-1.fc42
4
libxkbcommon
1.8.0-1.fc42
1.8.1-1.fc42
4
pango-devel
1.56.1-1.fc42
1.56.2-1.fc42
4
gtk-update-icon-cache
3.24.43-3.fc42
3.24.49-1.fc42
4
sysprof-capture-devel
47.2-2.fc42
48~rc-1.fc42
4
kernel-headers
6.14.0-0.rc6.49.fc42
6.14.0-0.rc7.56.fc42
4
libtinysparql
3.9~rc-1.fc42
4
libtracker-sparql
3.7.3-5.fc42
complete
130327631
2025-03-16 04:35:26
aarch64
├130327711 ( build.log | root.log )
ppc64le
├130327710 ( build.log | root.log )
x86_64
└130327709 ( build.log | root.log )
pcre2
10.44-1.fc42.2
10.45-1.fc42
2
libzstd
1.5.6-3.fc42
1.5.7-1.fc42
2
libzstd-devel
1.5.6-3.fc42
1.5.7-1.fc42
2
glib2
2.83.2-6.fc42
2.83.5-1.fc42
2
glibc
2.40.9000-35.fc42
2.41-1.fc42
2
openssl-libs
1:3.2.4-1.fc42
1:3.2.4-3.fc42
2
libarchive
3.7.7-2.fc42
3.7.7-4.fc42
2
pcre2-syntax
10.44-1.fc42.2
10.45-1.fc42
3
glibc-devel
2.40.9000-35.fc42
2.41-1.fc42
3
glibc-gconv-extra
2.40.9000-35.fc42
2.41-1.fc42
3
glib2-devel
2.83.2-6.fc42
2.83.5-1.fc42
3
glibc-minimal-langpack
2.40.9000-35.fc42
2.41-1.fc42
3
glibc-common
2.40.9000-35.fc42
2.41-1.fc42
3
libxml2-devel
2.12.9-2.fc42
2.12.10-1.fc42
3
libxml2
2.12.9-2.fc42
2.12.10-1.fc42
3
coreutils
9.6-1.fc42
9.6-2.fc42
3
nss
3.108.0-1.fc42
3.109.0-1.fc42
3
readline
8.2-12.fc42
8.2-13.fc42
3
cups-libs
1:2.4.11-10.fc42
1:2.4.11-13.fc42
3
alternatives
1.31-3.fc42
1.32-1.fc42
3
lua-libs
5.4.7-2.fc42
5.4.7-3.fc42
3
libidn2
2.3.7-3.fc42
2.3.8-1.fc42
3
zstd
1.5.6-3.fc42
1.5.7-1.fc42
4
google-noto-sans-vf-fonts
20250101-2.fc42
20250301-1.fc42
4
elfutils
0.192-8.fc42
0.192-9.fc42
4
nss-sysinit
3.108.0-1.fc42
3.109.0-1.fc42
4
kernel-headers
6.14.0-0.rc3.29.fc42
6.14.0-0.rc6.49.fc42
4
debugedit
5.1-4.fc42
5.1-5.fc42
4
elfutils-libelf
0.192-8.fc42
0.192-9.fc42
4
elfutils-debuginfod-client
0.192-8.fc42
0.192-9.fc42
4
nss-softokn
3.108.0-1.fc42
3.109.0-1.fc42
4
nss-util
3.108.0-1.fc42
3.109.0-1.fc42
4
setup
2.15.0-12.fc42
2.15.0-13.fc42
4
harfbuzz-devel
10.2.0-2.fc42
10.4.0-1.fc42
4
coreutils-common
9.6-1.fc42
9.6-2.fc42
4
cups-filesystem
1:2.4.11-10.fc42
1:2.4.11-13.fc42
4
nspr
4.36.0-4.fc42
4.36.0-5.fc42
4
pcre2-devel
10.44-1.fc42.2
10.45-1.fc42
4
harfbuzz
10.2.0-2.fc42
10.4.0-1.fc42
4
harfbuzz-icu
10.2.0-2.fc42
10.4.0-1.fc42
B
nss-softokn-freebl
3.108.0-1.fc42
3.109.0-1.fc42
B
hwdata
0.392-1.fc42
0.393-1.fc42
B
harfbuzz-cairo
10.2.0-2.fc42
10.4.0-1.fc42
B
pcre2-utf16
10.44-1.fc42.2
10.45-1.fc42
B
pcre2-utf32
10.44-1.fc42.2
10.45-1.fc42
B
google-noto-fonts-common
20250101-2.fc42
20250301-1.fc42
B
elfutils-default-yama-scope
0.192-8.fc42
0.192-9.fc42
B
elfutils-libs
0.192-8.fc42
0.192-9.fc42
B
complete
130195468
2025-03-12 23:30:55
aarch64
├130195554 ( build.log | root.log )
ppc64le
├130195553 ( build.log | root.log )
x86_64
└130195552 ( build.log | root.log )
libuuid
2.40.4-5.fc42
2.40.4-7.fc42
2
libgcc
15.0.1-0.7.fc42
15.0.1-0.9.fc42
2
gcc
15.0.1-0.7.fc42
15.0.1-0.9.fc42
2
libmount
2.40.4-5.fc42
2.40.4-7.fc42
3
util-linux
2.40.4-5.fc42
2.40.4-7.fc42
3
cpp
15.0.1-0.7.fc42
15.0.1-0.9.fc42
3
gcc-plugin-annobin
15.0.1-0.7.fc42
15.0.1-0.9.fc42
3
libgomp
15.0.1-0.7.fc42
15.0.1-0.9.fc42
3
util-linux-core
2.40.4-5.fc42
2.40.4-7.fc42
4
libtasn1
4.19.0-11.fc42
4.20.0-1.fc42
4
libmount-devel
2.40.4-5.fc42
2.40.4-7.fc42
4
libstdc++
15.0.1-0.7.fc42
15.0.1-0.9.fc42
4
cmake-filesystem
3.31.5-1.fc42
3.31.6-2.fc42
4
libblkid
2.40.4-5.fc42
2.40.4-7.fc42
4
libfdisk
2.40.4-5.fc42
2.40.4-7.fc42
4
libgfortran
15.0.1-0.7.fc42
15.0.1-0.9.fc42
4
libquadmath
15.0.1-0.7.fc42
15.0.1-0.9.fc42
4
libsmartcols
2.40.4-5.fc42
2.40.4-7.fc42
4
llvm-libs
19.1.7-9.fc42
20.1.0-1.fc42
B
llvm-filesystem
19.1.7-9.fc42
20.1.0-1.fc42
B
mesa-filesystem
24.3.4-4.fc42
25.0.1-3.fc42
B
fedora-release
42-0.18
42-0.21
B
mesa-libgbm
24.3.4-4.fc42
25.0.1-3.fc42
B
libblkid-devel
2.40.4-5.fc42
2.40.4-7.fc42
B
mesa-libglapi
24.3.4-4.fc42
mesa-dri-drivers
24.3.4-4.fc42
25.0.1-3.fc42
B
mesa-libGL
24.3.4-4.fc42
25.0.1-3.fc42
B
fedora-release-common
42-0.18
42-0.21
B
fedora-release-identity-basic
42-0.18
42-0.21
B
mesa-libEGL
24.3.4-4.fc42
25.0.1-3.fc42
B
complete
129374442
2025-02-18 11:07:41
aarch64
├129374549 ( build.log | root.log )
ppc64le
├129374551 ( build.log | root.log )
x86_64
└129374550 ( build.log | root.log )
openssl-libs
1:3.2.2-14.fc42
1:3.2.4-1.fc42
2
build-reproducibility-srpm-macros
0.5.0-2.fc42
0.6.0-1.fc42
3
systemd-standalone-sysusers
257.3-7.fc42
3
binutils
2.44-1.fc42
2.44-3.fc42
3
nss
3.107.0-2.fc42
3.108.0-1.fc42
3
qt6-srpm-macros
6.8.2-1.fc42
6.8.2-2.fc42
3
gnutls
3.8.8-3.fc42
3.8.9-2.fc42
3
crypto-policies
20250124-1.git4d262e7....
20250214-1.gitff7551b....
3
libxcrypt-devel
4.4.38-4.fc42
4.4.38-6.fc42
4
libcloudproviders-devel
0.3.5-6.fc42
0.3.6-1.fc42
4
nss-util
3.107.0-2.fc42
3.108.0-1.fc42
4
libxcrypt
4.4.38-4.fc42
4.4.38-6.fc42
4
nettle
3.10-6.fc42
3.10.1-1.fc42
4
libxkbcommon-devel
1.7.0-6.fc42
1.8.0-1.fc42
4
kernel-headers
6.14.0-0.rc1.15.fc42
6.14.0-0.rc3.29.fc42
4
nss-softokn
3.107.0-2.fc42
3.108.0-1.fc42
4
gdb-minimal
15.2-7.fc42
16.2-2.fc42
4
systemd-libs
257.2-17.fc42
257.3-7.fc42
4
libcloudproviders
0.3.5-6.fc42
0.3.6-1.fc42
4
add-determinism
0.5.0-2.fc42
0.6.0-1.fc42
4
nss-sysinit
3.107.0-2.fc42
3.108.0-1.fc42
4
nspr
4.36.0-3.fc42
4.36.0-4.fc42
4
libxkbcommon
1.7.0-6.fc42
1.8.0-1.fc42
4
setup
2.15.0-10.fc42
2.15.0-12.fc42
4
libseccomp
2.5.5-2.fc41
dbus-broker
36-5.fc42
systemd-pam
257.2-17.fc42
xkeyboard-config
2.43-2.fc42
2.44-1.fc42
B
authselect-libs
1.5.1-1.fc42
libeconf
0.7.5-2.fc42
0.7.6-1.fc42
B
mesa-libGL
24.3.4-2.fc42
24.3.4-4.fc42
B
systemd-rpm-macros
257.2-17.fc42
257.3-7.fc42
B
mesa-dri-drivers
24.3.4-2.fc42
24.3.4-4.fc42
B
mesa-libglapi
24.3.4-2.fc42
24.3.4-4.fc42
B
llvm-libs
19.1.7-1.fc42
19.1.7-9.fc42
B
llvm-filesystem
19.1.7-9.fc42
B
mesa-filesystem
24.3.4-2.fc42
24.3.4-4.fc42
B
mesa-libEGL
24.3.4-2.fc42
24.3.4-4.fc42
B
cracklib
2.9.11-7.fc42
pam
1.7.0-4.fc42
systemd-devel
257.2-17.fc42
257.3-7.fc42
B
gdbm
1:1.23-9.fc42
nss-softokn-freebl
3.107.0-2.fc42
3.108.0-1.fc42
B
authselect
1.5.1-1.fc42
dbus-common
1:1.16.0-3.fc42
mesa-libgbm
24.3.4-2.fc42
24.3.4-4.fc42
B
libtirpc
1.3.6-1.rc3.fc42.2
libpwquality
1.4.5-12.fc42
systemd
257.2-17.fc42
libnsl2
2.0.1-3.fc42
complete
128943809
2025-02-07 14:14:09
aarch64
├128943879 ( build.log | root.log )
ppc64le
├128943880 ( build.log | root.log )
x86_64
└128943878 ( build.log | root.log )
python3-devel
3.13.1-4.fc42
3.13.2-2.fc42
1
git-core
2.48.1-2.fc42
2.48.1-3.fc42
1
python3
3.13.1-4.fc42
3.13.2-2.fc42
2
gcc
15.0.1-0.6.fc42
15.0.1-0.7.fc42
2
libgcc
15.0.1-0.6.fc42
15.0.1-0.7.fc42
2
python3-libs
3.13.1-4.fc42
3.13.2-2.fc42
2
libcurl
8.11.1-3.fc42
8.11.1-4.fc42
2
libuuid
2.40.4-2.fc42
2.40.4-5.fc42
2
pyproject-rpm-macros
1.16.4-2.fc42
1.17.0-1.fc42
2
cpp
15.0.1-0.6.fc42
15.0.1-0.7.fc42
3
mpdecimal
2.5.1-17.fc42
4.0.0-2.fc42
3
libgomp
15.0.1-0.6.fc42
15.0.1-0.7.fc42
3
gcc-plugin-annobin
15.0.1-0.6.fc42
15.0.1-0.7.fc42
3
gnutls
3.8.8-2.fc42
3.8.8-3.fc42
3
libmount
2.40.4-2.fc42
2.40.4-5.fc42
3
binutils
2.43.50-12.fc42
2.44-1.fc42
3
util-linux
2.40.4-2.fc42
2.40.4-5.fc42
3
tzdata
2024b-2.fc42
2025a-1.fc42
3
tzdata-java
2024b-2.fc42
2025a-1.fc42
3
pyproject-srpm-macros
1.16.4-2.fc42
1.17.0-1.fc42
3
rpm-sequoia
1.7.0-4.fc42
1.7.0-5.fc42
3
flexiblas-netlib
3.4.4-7.fc42
3.4.5-1.fc42
3
libmount-devel
2.40.4-2.fc42
2.40.4-5.fc42
4
libgfortran
15.0.1-0.6.fc42
15.0.1-0.7.fc42
4
util-linux-core
2.40.4-2.fc42
2.40.4-5.fc42
4
libquadmath
15.0.1-0.6.fc42
15.0.1-0.7.fc42
4
libfdisk
2.40.4-2.fc42
2.40.4-5.fc42
4
flexiblas-openblas-openmp
3.4.4-7.fc42
3.4.5-1.fc42
4
curl
8.11.1-3.fc42
8.11.1-4.fc42
4
libstdc++
15.0.1-0.6.fc42
15.0.1-0.7.fc42
4
flexiblas
3.4.4-7.fc42
3.4.5-1.fc42
4
libblkid
2.40.4-2.fc42
2.40.4-5.fc42
4
libsmartcols
2.40.4-2.fc42
2.40.4-5.fc42
4
authselect-libs
1.5.0-9.fc42
1.5.1-1.fc42
4
libusb1
1.0.27-8.fc42
1.0.27-9.fc42
B
fedora-gpg-keys
42-0.4
42-0.5
B
fedora-repos
42-0.4
42-0.5
B
libblkid-devel
2.40.4-2.fc42
2.40.4-5.fc42
B
fedora-release-common
42-0.16
42-0.18
B
authselect
1.5.0-9.fc42
1.5.1-1.fc42
B
fedora-release
42-0.16
42-0.18
B
fedora-release-identity-basic
42-0.16
42-0.18
B
fedora-repos-rawhide
42-0.4
hwdata
0.391-2.fc42
0.392-1.fc42
B
complete
128823133
2025-02-03 23:56:49
aarch64
├128823196 ( build.log | root.log )
ppc64le
├128823197 ( build.log | root.log )
x86_64
└128823198 ( build.log | root.log )
python3-devel
3.13.1-3.fc42
3.13.1-4.fc42
1
java-21-openjdk
1:21.0.6.0.7-1.fc42
1:21.0.6.0.7-6.fc42
1
libX11
1.8.10-3.fc42
1.8.11-1.fc42
2
python3-libs
3.13.1-3.fc42
3.13.1-4.fc42
2
redhat-rpm-config
342-1.fc42
342-2.fc42
2
java-21-openjdk-headless
1:21.0.6.0.7-1.fc42
1:21.0.6.0.7-6.fc42
2
libgcc
15.0.1-0.5.fc42
15.0.1-0.6.fc42
2
python3
3.13.1-3.fc42
3.13.1-4.fc42
2
gcc
15.0.1-0.5.fc42
15.0.1-0.6.fc42
2
libX11-devel
1.8.10-3.fc42
1.8.11-1.fc42
3
gcc-plugin-annobin
15.0.1-0.5.fc42
15.0.1-0.6.fc42
3
libX11-common
1.8.10-3.fc42
1.8.11-1.fc42
3
annobin-plugin-gcc
12.87-1.fc42
12.88-1.fc42
3
tree-sitter-srpm-macros
0.1.0-8.fc42
3
file
5.45-9.fc42
5.46-1.fc42
3
libgomp
15.0.1-0.5.fc42
15.0.1-0.6.fc42
3
qt6-srpm-macros
6.8.1-5.fc42
6.8.2-1.fc42
3
cpp
15.0.1-0.5.fc42
15.0.1-0.6.fc42
3
libquadmath
15.0.1-0.5.fc42
15.0.1-0.6.fc42
4
libX11-xcb
1.8.10-3.fc42
1.8.11-1.fc42
4
kernel-headers
6.13.0-62.fc42
6.14.0-0.rc1.15.fc42
4
annobin-docs
12.87-1.fc42
12.88-1.fc42
4
libstdc++
15.0.1-0.5.fc42
15.0.1-0.6.fc42
4
at-spi2-atk
2.55.0.1-2.fc42
2.55.2-1.fc42
4
file-libs
5.45-9.fc42
5.46-1.fc42
4
libgfortran
15.0.1-0.5.fc42
15.0.1-0.6.fc42
4
at-spi2-atk-devel
2.55.0.1-2.fc42
2.55.2-1.fc42
4
atk
2.55.0.1-2.fc42
2.55.2-1.fc42
4
atk-devel
2.55.0.1-2.fc42
2.55.2-1.fc42
4
lua
5.4.7-2.fc42
which
2.22-2.fc42
2.23-1.fc42
B
copy-jdk-configs
4.1-7.fc42
at-spi2-core-devel
2.55.0.1-2.fc42
2.55.2-1.fc42
B
at-spi2-core
2.55.0.1-2.fc42
2.55.2-1.fc42
B
lua-posix
36.2.1-8.fc42
complete
128777390
2025-02-02 18:00:36
aarch64
├128777474 ( build.log | root.log )
ppc64le
├128777475 ( build.log | root.log )
x86_64
└128777476 ( build.log | root.log )
time
1.9-24.fc41
1.9-26.fc42
1
rsync
3.4.1-2.fc42
3.4.1-3.fc42
1
redhat-rpm-config
300-1.fc42
342-1.fc42
2
openssl-libs
1:3.2.2-13.fc42
1:3.2.2-14.fc42
2
libselinux
3.8-0.rc3.1.fc42.3
3.8-1.fc42
2
gcc
15.0.1-0.4.fc42
15.0.1-0.5.fc42
2
libgcc
15.0.1-0.4.fc42
15.0.1-0.5.fc42
2
libsepol
3.8-0.rc3.1.fc42.1
3.8-1.fc42
3
libgomp
15.0.1-0.4.fc42
15.0.1-0.5.fc42
3
cpp
15.0.1-0.4.fc42
15.0.1-0.5.fc42
3
gdbm-libs
1:1.23-7.fc41
1:1.23-9.fc42
3
krb5-libs
1.21.3-4.fc42
1.21.3-5.fc42
3
gcc-plugin-annobin
15.0.1-0.4.fc42
15.0.1-0.5.fc42
3
libquadmath
15.0.1-0.4.fc42
15.0.1-0.5.fc42
4
libselinux-devel
3.8-0.rc3.1.fc42.3
3.8-1.fc42
4
libgfortran
15.0.1-0.4.fc42
15.0.1-0.5.fc42
4
libstdc++
15.0.1-0.4.fc42
15.0.1-0.5.fc42
4
libsemanage
3.8-0.rc3.1.fc42.1
3.8-1.fc42
B
gdbm
1:1.23-7.fc41
1:1.23-9.fc42
B
which
2.22-1.fc42
2.22-2.fc42
B
libsepol-devel
3.8-0.rc3.1.fc42.1
3.8-1.fc42
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