coq

Package information

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

Scheduler parameters

Tracked by Koschei
True
Current priority
1303
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
cairo
1.18.0-4.fc41
1.18.2-1.fc42
3
binutils
2.43.50-8.fc42
2.43.50-9.fc42
3
cups-libs
1:2.4.11-4.fc42
1:2.4.11-6.fc42
4
cairo-gobject-devel
1.18.0-4.fc41
1.18.2-1.fc42
4
cairo-gobject
1.18.0-4.fc41
1.18.2-1.fc42
4
unzip
6.0-64.fc41
6.0-65.fc42
4
llvm-libs
19.1.3-3.fc42
19.1.4-1.fc42
B
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

State overview

Groups

This package is not part of any global group.

Historical builds

complete
119758737
2024-06-29 01:04:55
aarch64
├119758806 ( build.log | root.log )
ppc64le
├119758807 ( build.log | root.log )
x86_64
└119758808 ( build.log | root.log )
python3-devel
3.13.0~b2-4.fc41
3.13.0~b3-1.fc41
1
pcre2
10.43-2.fc41.1
10.44-1.fc41
2
python3-libs
3.13.0~b2-4.fc41
3.13.0~b3-1.fc41
2
openssl-libs
1:3.2.2-1.fc41
1:3.2.2-2.fc41
2
python3
3.13.0~b2-4.fc41
3.13.0~b3-1.fc41
2
build-reproducibility-srpm-macros
0.3.1-1.fc41
0.3.2-1.fc41
3
crypto-policies
20240521-1.gitf71d135....
20240628-1.gitddd11d3....
3
pcre2-syntax
10.43-2.fc41.1
10.44-1.fc41
3
openldap
2.6.8-2.fc41
2.6.8-3.fc41
3
libcap
2.70-1.fc41
2.70-2.fc41
3
python-pip-wheel
24.0-5.fc41
24.1.1-1.fc41
3
gnutls
3.8.5-5.fc41
3.8.5-6.fc41
3
add-determinism
0.3.1-1.fc41
0.3.2-1.fc41
4
wayland-devel
1.22.0-3.fc40
1.23.0-1.fc41
4
pcre2-devel
10.43-2.fc41.1
10.44-1.fc41
4
cups-libs
1:2.4.8-5.fc41
1:2.4.10-1.fc41
4
libcom_err
1.47.0-5.fc40
1.47.1-1.fc41
4
libwayland-cursor
1.22.0-3.fc40
1.23.0-1.fc41
4
libwayland-client
1.22.0-3.fc40
1.23.0-1.fc41
4
libwayland-egl
1.22.0-3.fc40
1.23.0-1.fc41
4
gdb-minimal
14.2-12.fc41
14.2-13.fc41
4
libwayland-server
1.22.0-3.fc40
1.23.0-1.fc41
B
mesa-libEGL
24.1.2-1.fc41
24.1.2-6.fc41
B
mesa-libgbm
24.1.2-1.fc41
24.1.2-6.fc41
B
libsoup3
3.5.1-1.fc41
3.5.1-3.fc41
B
mesa-libglapi
24.1.2-1.fc41
24.1.2-6.fc41
B
pcre2-utf16
10.43-2.fc41.1
10.44-1.fc41
B
mesa-libGL
24.1.2-1.fc41
24.1.2-6.fc41
B
crypto-policies-scripts
20240521-1.gitf71d135....
20240628-1.gitddd11d3....
B
pcre2-utf32
10.43-2.fc41.1
10.44-1.fc41
B
complete
119636495
2024-06-26 13:27:33
aarch64
├119636587 ( build.log | root.log )
ppc64le
├119636588 ( build.log | root.log )
x86_64
└119636589 ( build.log | root.log )
antlr4
4.10.1-15.fc41
4.10.1-16.fc41
1
python3-devel
3.13.0~b2-3.fc41
3.13.0~b2-4.fc41
1
python3-antlr4-runtime
4.10.1-15.fc41
4.10.1-16.fc41
1
python-rpm-macros
3.13-1.fc41
3.13-2.fc41
2
rpm-libs
4.19.91-13.fc41
4.19.92-1.fc41
2
antlr4-runtime
4.10.1-15.fc41
4.10.1-16.fc41
2
pyproject-rpm-macros
1.12.1-1.fc41
1.12.2-1.fc41
2
python3-rpm-macros
3.13-1.fc41
3.13-2.fc41
2
python3-libs
3.13.0~b2-3.fc41
3.13.0~b2-4.fc41
2
python3
3.13.0~b2-3.fc41
3.13.0~b2-4.fc41
2
pyproject-srpm-macros
1.12.1-1.fc41
1.12.2-1.fc41
3
libnghttp2
1.62.0-1.fc41
1.62.1-1.fc41
3
rpm
4.19.91-13.fc41
4.19.92-1.fc41
3
ca-certificates
2023.2.62_v7.0.401-6.fc40
2024.2.68_v8.0.302-2.fc41
3
rpm-build
4.19.91-13.fc41
4.19.92-1.fc41
3
python-srpm-macros
3.13-1.fc41
3.13-2.fc41
3
kernel-headers
6.10.0-0.rc4.38.fc41
6.10.0-0.rc5.43.fc41
4
rpm-build-libs
4.19.91-13.fc41
4.19.92-1.fc41
4
libicu-devel
74.2-1.fc40
74.2-1.fc41
B
libicu
74.2-1.fc40
74.2-1.fc41
B
complete
119496301
2024-06-24 07:01:23
aarch64
├119496539 ( build.log | root.log )
ppc64le
├119496540 ( build.log | root.log )
x86_64
└119496541 ( build.log | root.log )
gcc
14.1.1-5.fc41
14.1.1-6.fc41
2
libgcc
14.1.1-5.fc41
14.1.1-6.fc41
2
zlib-ng-compat
2.1.6-6.fc41
2.1.7-1.fc41
2
libgomp
14.1.1-5.fc41
14.1.1-6.fc41
3
zlib-ng-compat-devel
2.1.6-6.fc41
2.1.7-1.fc41
3
cpp
14.1.1-5.fc41
14.1.1-6.fc41
3
gcc-plugin-annobin
14.1.1-5.fc41
14.1.1-6.fc41
3
build-reproducibility-srpm-macros
0.3.0-2.fc41
0.3.1-1.fc41
3
xz-libs
1:5.4.6-3.fc41
1:5.6.2-1.fc41
3
xz
1:5.4.6-3.fc41
1:5.6.2-1.fc41
4
harfbuzz-devel
8.4.0-2.fc41
8.5.0-1.fc41
4
add-determinism
0.3.0-2.fc41
0.3.1-1.fc41
4
libquadmath
14.1.1-5.fc41
14.1.1-6.fc41
4
xz-devel
1:5.4.6-3.fc41
1:5.6.2-1.fc41
4
libgfortran
14.1.1-5.fc41
14.1.1-6.fc41
4
cyrus-sasl-lib
2.1.28-22.fc41
2.1.28-24.fc41
4
default-fonts-core-sans
4.0-14.fc41
4.1-1.fc41
4
alternatives
1.27-1.fc41
1.28-1.fc41
4
harfbuzz
8.4.0-2.fc41
8.5.0-1.fc41
4
nss
3.101.0-2.fc41
3.101.0-3.fc41
4
libstdc++
14.1.1-5.fc41
14.1.1-6.fc41
4
nss-softokn
3.101.0-2.fc41
3.101.0-3.fc41
B
nspr
4.35.0-25.fc41
4.35.0-26.fc41
B
fedora-release-identity-basic
41-0.13
41-0.14
B
harfbuzz-icu
8.4.0-2.fc41
8.5.0-1.fc41
B
mesa-libEGL
24.1.1-4.fc41
24.1.2-1.fc41
B
mesa-libgbm
24.1.1-4.fc41
24.1.2-1.fc41
B
nss-sysinit
3.101.0-2.fc41
3.101.0-3.fc41
B
mesa-libglapi
24.1.1-4.fc41
24.1.2-1.fc41
B
mesa-libGL
24.1.1-4.fc41
24.1.2-1.fc41
B
fedora-release
41-0.13
41-0.14
B
fedora-release-common
41-0.13
41-0.14
B
nss-softokn-freebl
3.101.0-2.fc41
3.101.0-3.fc41
B
nss-util
3.101.0-2.fc41
3.101.0-3.fc41
B
Real build: coq-8.18.0-7.fc41
complete
119301770
2024-06-19 17:14:30
aarch64
├119301798 ( build.log | root.log )
ppc64le
├119301799 ( build.log | root.log )
s390x
├119301800 ( build.log | root.log )
x86_64
└119301797 ( build.log | root.log )
ocaml
5.2.0-1.fc41
5.2.0-2.fc41
1
ocaml-zarith-devel
1.13-7.fc41
1.13-8.fc41
1
ocaml-lablgtk3-sourceview3-devel
3.1.5-1.fc41
3.1.5-2.fc41
1
ocaml-dune
3.16.0-1.fc41
3.16.0-2.fc41
1
ocaml-ocamldoc
5.2.0-1.fc41
5.2.0-2.fc41
1
ocaml-findlib-devel
1.9.6-12.fc41
1.9.6-13.fc41
1
ocaml-cairo-devel
2:0.6.4-12.fc41
2:0.6.4-13.fc41
1
ocaml-ounit-devel
2.2.7-9.fc41
2.2.7-10.fc41
1
ocaml-ounit
2.2.7-9.fc41
2.2.7-10.fc41
2
ocaml-cairo
2:0.6.4-12.fc41
2:0.6.4-13.fc41
2
ocaml-rpm-macros
5.2.0-1.fc41
5.2.0-2.fc41
2
ocaml-zarith
1.13-7.fc41
1.13-8.fc41
2
ocaml-findlib
1.9.6-12.fc41
1.9.6-13.fc41
2
ocaml-runtime
5.2.0-1.fc41
5.2.0-2.fc41
2
ocaml-lablgtk3
3.1.5-1.fc41
3.1.5-2.fc41
2
ocaml-compiler-libs
5.2.0-1.fc41
5.2.0-2.fc41
2
ocaml-lablgtk3-devel
3.1.5-1.fc41
3.1.5-2.fc41
2
ocaml-lablgtk3-sourceview3
3.1.5-1.fc41
3.1.5-2.fc41
2
fonts-srpm-macros
1:2.0.5-15.fc41
1:2.0.5-16.fc41
3
harfbuzz-devel
8.4.0-1.fc41
8.4.0-2.fc41
4
gdb-minimal
14.2-11.fc41
14.2-12.fc41
4
harfbuzz
8.4.0-1.fc41
8.4.0-2.fc41
4
default-fonts-core-sans
4.0-13.fc41
4.0-14.fc41
4
fonts-filesystem
1:2.0.5-15.fc41
1:2.0.5-16.fc41
4
harfbuzz-icu
8.4.0-1.fc41
8.4.0-2.fc41
B
complete
119274260
2024-06-19 05:21:57
aarch64
├119274379 ( build.log | root.log )
ppc64le
├119274378 ( build.log | root.log )
x86_64
└119274377 ( build.log | root.log )
ocaml-dune
3.15.3-2.fc41
3.16.0-1.fc41
1
glib2
2.80.2-1.fc41
2.80.3-1.fc41
2
glibc
2.39.9000-18.fc41
2.39.9000-26.fc41
2
libfido2
1.14.0-4.fc40
1.15.0-1.fc41
3
perl-srpm-macros
1-53.fc40
1-55.fc41
3
pango
1.52.2-1.fc41
1.54.0-1.fc41
3
glibc-gconv-extra
2.39.9000-18.fc41
2.39.9000-26.fc41
3
sqlite-libs
3.46.0-1.fc41
3.46.0-2.fc41
3
gnutls
3.8.5-2.fc41
3.8.5-5.fc41
3
build-reproducibility-srpm-macros
0.2.0-10.fc41
0.3.0-2.fc41
3
glibc-common
2.39.9000-18.fc41
2.39.9000-26.fc41
3
glibc-devel
2.39.9000-18.fc41
2.39.9000-26.fc41
3
openldap
2.6.8-1.fc41
2.6.8-2.fc41
3
glib2-devel
2.80.2-1.fc41
2.80.3-1.fc41
3
python3-packaging
24.0-3.fc41
24.1-1.fc41
3
glibc-minimal-langpack
2.39.9000-18.fc41
2.39.9000-26.fc41
3
xml-common
0.6.3-63.fc40
0.6.3-64.fc41
4
add-determinism
0.2.0-10.fc41
0.3.0-2.fc41
4
systemd-libs
256-1.fc41
256.1-3.fc41
4
nettle
3.9.1-6.fc40
3.10-2.fc41
4
pango-devel
1.52.2-1.fc41
1.54.0-1.fc41
4
kernel-headers
6.10.0-0.rc3.31.fc41
6.10.0-0.rc4.38.fc41
4
glibc-headers-x86
2.39.9000-18.fc41
2.39.9000-26.fc41
4
google-noto-sans-vf-fonts
20240401-1.fc41
20240601-1.fc41
B
add-determinism-nopython
0.2.0-10.fc41
mesa-libGL
24.1.1-2.fc41
24.1.1-4.fc41
B
google-noto-fonts-common
20240401-1.fc41
20240601-1.fc41
B
mesa-libgbm
24.1.1-2.fc41
24.1.1-4.fc41
B
mesa-libEGL
24.1.1-2.fc41
24.1.1-4.fc41
B
mesa-libglapi
24.1.1-2.fc41
24.1.1-4.fc41
B
complete
118948542
2024-06-13 04:12:39
aarch64
├118948588 ( build.log | root.log )
ppc64le
├118948587 ( build.log | root.log )
x86_64
└118948586 ( build.log | root.log )
python3-devel
3.12.3-2.fc41
3.13.0~b2-3.fc41
1
ocaml-lablgtk3-sourceview3-devel
3.1.4-2.fc41
3.1.5-1.fc41
1
antlr4
4.10.1-14.fc41
4.10.1-15.fc41
1
python3-antlr4-runtime
4.10.1-14.fc41
4.10.1-15.fc41
1
libuuid
2.40.1-1.fc41
2.40.1-2.fc41
2
python3-rpm-macros
3.12-9.fc41
3.13-1.fc41
2
python3-libs
3.12.3-2.fc41
3.13.0~b2-3.fc41
2
ocaml-lablgtk3-devel
3.1.4-2.fc41
3.1.5-1.fc41
2
javapackages-tools
6.2.0-12.fc41
6.2.0-13.fc41
2
ocaml-lablgtk3-sourceview3
3.1.4-2.fc41
3.1.5-1.fc41
2
javapackages-filesystem
6.2.0-12.fc41
6.2.0-13.fc41
2
python-rpm-macros
3.12-9.fc41
3.13-1.fc41
2
antlr4-runtime
4.10.1-14.fc41
4.10.1-15.fc41
2
rpm-libs
4.19.91-10.fc41
4.19.91-13.fc41
2
python3
3.12.3-2.fc41
3.13.0~b2-3.fc41
2
ocaml-lablgtk3
3.1.4-2.fc41
3.1.5-1.fc41
2
file
5.45-5.fc41
5.45-6.fc41
3
libxml2-devel
2.12.7-1.fc41
2.12.8-1.fc41
3
util-linux
2.40.1-1.fc41
2.40.1-2.fc41
3
annobin-plugin-gcc
12.54-2.fc41
12.59-1.fc41
3
libbrotli
1.1.0-3.fc40
1.1.0-4.fc41
3
libselinux
3.6-4.fc40
3.6-6.fc41
3
python-srpm-macros
3.12-9.fc41
3.13-1.fc41
3
build-reproducibility-srpm-macros
0.2.0-9.fc41
0.2.0-10.fc41
3
libmount
2.40.1-1.fc41
2.40.1-2.fc41
3
rpm
4.19.91-10.fc41
4.19.91-13.fc41
3
rpm-build
4.19.91-10.fc41
4.19.91-13.fc41
3
libxml2
2.12.7-1.fc41
2.12.8-1.fc41
3
python3-packaging
24.0-1.fc41
24.0-3.fc41
3
python-pip-wheel
24.0-2.fc41
24.0-5.fc41
3
cmake-filesystem
3.28.3-5.fc41
3.28.3-6.fc41
4
libfdisk
2.40.1-1.fc41
2.40.1-2.fc41
4
util-linux-core
2.40.1-1.fc41
2.40.1-2.fc41
4
rpm-build-libs
4.19.91-10.fc41
4.19.91-13.fc41
4
brotli-devel
1.1.0-3.fc40
1.1.0-4.fc41
4
libcap-ng
0.8.5-1.fc41
0.8.5-2.fc41
4
annobin-docs
12.54-2.fc41
12.59-1.fc41
4
nss
3.100.0-1.fc41
3.101.0-2.fc41
4
add-determinism
0.2.0-9.fc41
0.2.0-10.fc41
4
gdb-minimal
14.2-9.fc41
14.2-11.fc41
4
systemd-libs
256~rc4-2.fc41
256-1.fc41
4
file-libs
5.45-5.fc41
5.45-6.fc41
4
add-determinism-nopython
0.2.0-9.fc41
0.2.0-10.fc41
4
alsa-lib
1.2.11-2.fc40
1.2.12-1.fc41
4
libsmartcols
2.40.1-1.fc41
2.40.1-2.fc41
4
audit-libs
4.0.1-2.fc41
4.0.1-3.fc41
4
libselinux-devel
3.6-4.fc40
3.6-6.fc41
4
libmount-devel
2.40.1-1.fc41
2.40.1-2.fc41
4
kernel-headers
6.10.0-0.rc2.24.fc41
6.10.0-0.rc3.31.fc41
4
libblkid
2.40.1-1.fc41
2.40.1-2.fc41
4
nss-softokn-freebl
3.100.0-1.fc41
3.101.0-2.fc41
B
libsemanage
3.6-3.fc40
3.6-4.fc41
B
brotli
1.1.0-3.fc40
1.1.0-4.fc41
B
nspr
4.35.0-23.fc41
4.35.0-25.fc41
B
nss-util
3.100.0-1.fc41
3.101.0-2.fc41
B
nss-softokn
3.100.0-1.fc41
3.101.0-2.fc41
B
libpwquality
1.4.5-9.fc40
1.4.5-10.fc41
B
libstemmer
2.2.0-10.fc40
2.2.0-11.fc41
B
xkeyboard-config
2.41-1.fc40
2.42-1.fc41
B
nss-sysinit
3.100.0-1.fc41
3.101.0-2.fc41
B
libblkid-devel
2.40.1-1.fc41
2.40.1-2.fc41
B
2024-06-12 08:52:14
Package dependencies resolved successfuly
2024-06-12 08:46:02
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-6163033
  • Problem: package gtksourceview3-devel-3.24.11-10.fc39.x86_64 from primary-f41-build-6163033 requires pkgconfig(gio-2.0) >= 2.48, but none of the providers can be installed
    - package gtksourceview3-devel-3.24.11-10.fc39.x86_64 from primary-f41-build-6163033 requires pkgconfig(glib-2.0) >= 2.48, but none of the providers can be installed
    - package ocaml-lablgtk3-sourceview3-devel-3.1.5-1.fc41.x86_64 from primary-f41-build-6163033 requires gtksourceview3-devel(x86-64), but none of the providers can be installed
    - package glib2-devel-2.80.2-1.fc41.x86_64 from primary-f41-build-6163033 requires python3-packaging, but none of the providers can be installed
    - conflicting requests
    - nothing provides python(abi) = 3.13 needed by python3-packaging-24.0-3.fc41.noarch from primary-f41-build-6163033
  • Problem: package python3-devel-3.12.3-2.fc41.x86_64 from primary-f41-build-6163033 requires (python3-rpm-generators if rpm-build), but none of the providers can be installed
    - package python3-rpm-generators-14-10.fc40.noarch from primary-f41-build-6163033 requires python3-packaging, but none of the providers can be installed
    - conflicting requests
    - nothing provides python(abi) = 3.13 needed by python3-packaging-24.0-3.fc41.noarch from primary-f41-build-6163033
  • Problem: package freetype-devel-2.13.2-5.fc40.x86_64 from primary-f41-build-6163033 requires pkgconfig(harfbuzz) >= 2.0.0, but none of the providers can be installed
    - package cairo-devel-1.18.0-3.fc40.x86_64 from primary-f41-build-6163033 requires pkgconfig(freetype2) >= 9.7.3, but none of the providers can be installed
    - package harfbuzz-devel-8.4.0-1.fc41.x86_64 from primary-f41-build-6163033 requires pkgconfig(glib-2.0) >= 2.30, but none of the providers can be installed
    - package harfbuzz-devel-8.4.0-1.fc41.x86_64 from primary-f41-build-6163033 requires pkgconfig(gobject-2.0), but none of the providers can be installed
    - package ocaml-cairo-devel-2:0.6.4-12.fc41.x86_64 from primary-f41-build-6163033 requires cairo-devel(x86-64), but none of the providers can be installed
    - package glib2-devel-2.80.2-1.fc41.x86_64 from primary-f41-build-6163033 requires python3-packaging, but none of the providers can be installed
    - conflicting requests
    - nothing provides python(abi) = 3.13 needed by python3-packaging-24.0-3.fc41.noarch from primary-f41-build-6163033
Previous history
Koschei version 2afbb17
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues