coq

Package information

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

Scheduler parameters

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

git-core
2.47.0-1.fc42
2.47.1-1.fc42
1
cairo-devel
1.18.0-4.fc41
1.18.2-1.fc42
2
binutils
2.43.50-8.fc42
2.43.50-9.fc42
3
cairo
1.18.0-4.fc41
1.18.2-1.fc42
3
unzip
6.0-64.fc41
6.0-65.fc42
4
cairo-gobject
1.18.0-4.fc41
1.18.2-1.fc42
4
libxcrypt-devel
4.4.36-10.fc42
4.4.36-11.fc42
4
cairo-gobject-devel
1.18.0-4.fc41
1.18.2-1.fc42
4
cups-libs
1:2.4.11-4.fc42
1:2.4.11-6.fc42
4
libsoup3
3.6.0-1.fc42
3.6.1-1.fc42
B
cups-filesystem
1:2.4.11-4.fc42
1:2.4.11-6.fc42
B
llvm-libs
19.1.3-3.fc42
19.1.4-1.fc42
B
libxcrypt
4.4.36-10.fc42
4.4.36-11.fc42
B

State overview

Groups

This package is not part of any global group.

Historical builds

2024-06-12 08:39:37
Package resolution failed
  • Problem: conflicting requests
    - nothing provides python(abi) = 3.13 needed by python3-antlr4-runtime-4.10.1-15.fc41.noarch from primary-f41-build-6162980
2024-06-12 08:32:35
Package resolution failed
  • Problem: conflicting requests
    - nothing provides python(abi) = 3.13 needed by python3-antlr4-runtime-4.10.1-15.fc41.noarch from primary-f41-build-6162913
2024-06-12 08:25:41
Package resolution failed
  • Problem: conflicting requests
    - nothing provides python(abi) = 3.13 needed by python3-antlr4-runtime-4.10.1-15.fc41.noarch from primary-f41-build-6162843
2024-06-12 08:18:42
Package resolution failed
  • Problem: conflicting requests
    - nothing provides python(abi) = 3.13 needed by python3-antlr4-runtime-4.10.1-15.fc41.noarch from primary-f41-build-6162796
2024-06-12 08:16:41
Package resolution failed
  • Problem: conflicting requests
    - nothing provides python(abi) = 3.13 needed by python3-antlr4-runtime-4.10.1-15.fc41.noarch from primary-f41-build-6162719
complete
118844087
2024-06-10 17:18:49
aarch64
├118844189 ( build.log | root.log )
ppc64le
├118844188 ( build.log | root.log )
x86_64
└118844187 ( build.log | root.log )
openssl-libs
1:3.2.1-10.fc41
1:3.2.2-1.fc41
2
rpm-libs
4.19.91-8.fc41
4.19.91-10.fc41
2
gcc
14.1.1-4.fc41
14.1.1-5.fc41
2
redhat-rpm-config
292-1.fc41
293-1.fc41
2
libgcc
14.1.1-4.fc41
14.1.1-5.fc41
2
libgomp
14.1.1-4.fc41
14.1.1-5.fc41
3
fonts-srpm-macros
1:2.0.5-14.fc40
1:2.0.5-15.fc41
3
gcc-plugin-annobin
14.1.1-4.fc41
14.1.1-5.fc41
3
rpm
4.19.91-8.fc41
4.19.91-10.fc41
3
binutils
2.42.50-11.fc41
2.42.50-14.fc41
3
rpm-build
4.19.91-8.fc41
4.19.91-10.fc41
3
fontconfig-devel
2.15.0-5.fc41
2.15.0-6.fc41
3
fontconfig
2.15.0-5.fc41
2.15.0-6.fc41
3
cpp
14.1.1-4.fc41
14.1.1-5.fc41
3
fribidi
1.0.14-2.fc41
1.0.15-1.fc41
4
libstdc++
14.1.1-4.fc41
14.1.1-5.fc41
4
fribidi-devel
1.0.14-2.fc41
1.0.15-1.fc41
4
libquadmath
14.1.1-4.fc41
14.1.1-5.fc41
4
fonts-filesystem
1:2.0.5-14.fc40
1:2.0.5-15.fc41
4
libgfortran
14.1.1-4.fc41
14.1.1-5.fc41
4
setup
2.15.0-3.fc41
2.15.0-4.fc41
4
rpm-build-libs
4.19.91-8.fc41
4.19.91-10.fc41
4
systemd-libs
256~rc3-4.fc41
256~rc4-2.fc41
4
mesa-libglapi
24.1.1-1.fc41
24.1.1-2.fc41
B
mesa-libEGL
24.1.1-1.fc41
24.1.1-2.fc41
B
mesa-libgbm
24.1.1-1.fc41
24.1.1-2.fc41
B
binutils-gold
2.42.50-11.fc41
mesa-libGL
24.1.1-1.fc41
24.1.1-2.fc41
B
complete
118635949
2024-06-06 03:50:38
aarch64
├118636010 ( build.log | root.log )
ppc64le
├118636009 ( build.log | root.log )
x86_64
└118636008 ( build.log | root.log )
libappstream-glib
0.8.2-6.fc40
0.8.3-1.fc41
1
git-core
2.45.1-1.fc41
2.45.2-1.fc41
1
openssl-libs
1:3.2.1-6.fc41
1:3.2.1-10.fc41
2
pyproject-rpm-macros
1.12.0-1.fc40
1.12.1-1.fc41
2
rpm-libs
4.19.91-6.fc41
4.19.91-8.fc41
2
zlib-ng-compat
2.1.6-4.fc41
2.1.6-6.fc41
2
findutils
1:4.9.0-8.fc40
1:4.10.0-2.fc41
3
zlib-ng-compat-devel
2.1.6-4.fc41
2.1.6-6.fc41
3
rpm
4.19.91-6.fc41
4.19.91-8.fc41
3
sqlite-libs
3.45.3-1.fc41
3.46.0-1.fc41
3
rpm-build
4.19.91-6.fc41
4.19.91-8.fc41
3
cups-libs
1:2.4.8-4.fc41
1:2.4.8-5.fc41
3
pyproject-srpm-macros
1.12.0-1.fc40
1.12.1-1.fc41
3
coreutils
9.5-1.fc41
9.5-2.fc41
3
kernel-headers
6.10.0-0.rc1.17.fc41
6.10.0-0.rc2.24.fc41
4
fribidi
1.0.14-1.fc41
1.0.14-2.fc41
4
cmake-filesystem
3.28.3-4.fc41
3.28.3-5.fc41
4
rpm-build-libs
4.19.91-6.fc41
4.19.91-8.fc41
4
coreutils-common
9.5-1.fc41
9.5-2.fc41
4
systemd-libs
256~rc3-3.fc41
256~rc3-4.fc41
4
fribidi-devel
1.0.14-1.fc41
1.0.14-2.fc41
4
libtool-ltdl
2.4.7-10.fc40
2.4.7-11.fc41
4
mesa-libGL
24.1.0-1.fc41
24.1.1-1.fc41
B
libdrm
2.4.120-3.fc40
2.4.121-1.fc41
B
mesa-libgbm
24.1.0-1.fc41
24.1.1-1.fc41
B
mesa-libglapi
24.1.0-1.fc41
24.1.1-1.fc41
B
mesa-libEGL
24.1.0-1.fc41
24.1.1-1.fc41
B
complete
118438727
2024-06-02 08:37:06
aarch64
├118438985 ( build.log | root.log )
ppc64le
├118438986 ( build.log | root.log )
x86_64
└118438984 ( build.log | root.log )
adwaita-icon-theme
46.2-1.fc41
46.2-2.fc41
1
javapackages-tools
6.2.0-11.fc41
6.2.0-12.fc41
2
rpm-libs
4.19.91-4.fc41
4.19.91-6.fc41
2
javapackages-filesystem
6.2.0-11.fc41
6.2.0-12.fc41
2
redhat-rpm-config
291-1.fc41
292-1.fc41
2
adwaita-cursor-theme
46.2-1.fc41
46.2-2.fc41
2
ocaml-srpm-macros
10-1.fc41
10-2.fc41
2
adwaita-icon-theme-legacy
46.2-1.fc41
2
rpm-build
4.19.91-4.fc41
4.19.91-6.fc41
3
qt5-srpm-macros
5.15.13-1.fc41
5.15.14-1.fc41
3
rpm
4.19.91-4.fc41
4.19.91-6.fc41
3
nss
3.99.0-1.fc41
3.100.0-1.fc41
3
flexiblas-netlib
3.4.2-1.fc41
3.4.4-1.fc41
3
gdb-minimal
14.2-7.fc41
14.2-9.fc41
4
nss-sysinit
3.99.0-1.fc41
3.100.0-1.fc41
4
setup
2.14.6-1.fc41
2.15.0-3.fc41
4
rpm-build-libs
4.19.91-4.fc41
4.19.91-6.fc41
4
flexiblas-openblas-openmp
3.4.2-1.fc41
3.4.4-1.fc41
4
nspr
4.35.0-22.fc41
4.35.0-23.fc41
4
nss-softokn
3.99.0-1.fc41
3.100.0-1.fc41
4
nss-util
3.99.0-1.fc41
3.100.0-1.fc41
4
flexiblas
3.4.2-1.fc41
3.4.4-1.fc41
4
nss-softokn-freebl
3.99.0-1.fc41
3.100.0-1.fc41
B
hwdata
0.382-1.fc41
0.383-1.fc41
B
fedora-release-identity-basic
41-0.10
41-0.13
B
fedora-release-common
41-0.10
41-0.13
B
fedora-release
41-0.10
41-0.13
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