coq

Package information

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

Scheduler parameters

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

libarchive
3.7.6-1.fc42
3.7.7-1.fc42
2
gcc
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-rpm-macros
1.15.1-1.fc42
1.16.1-1.fc42
2
libgcc
14.2.1-5.fc42
14.2.1-6.fc42
2
libgomp
14.2.1-5.fc42
14.2.1-6.fc42
3
crypto-policies
20241104-1.git4983c10....
20241106-1.git35892de....
3
pyproject-srpm-macros
1.15.1-1.fc42
1.16.1-1.fc42
3
cpp
14.2.1-5.fc42
14.2.1-6.fc42
3
gcc-plugin-annobin
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
libgfortran
14.2.1-5.fc42
14.2.1-6.fc42
4
pixman
0.43.4-2.fc41
0.44.0-0.fc42
4
libquadmath
14.2.1-5.fc42
14.2.1-6.fc42
4
gdb-minimal
15.2-1.fc42
15.2-2.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
libxcrypt-devel
4.4.36-8.fc42
4.4.36-9.fc42
4
libXcursor-devel
1.2.2-2.fc41
1.2.3-1.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
libxcrypt
4.4.36-8.fc42
4.4.36-9.fc42
B
harfbuzz-cairo
10.0.1-1.fc42
10.1.0-1.fc42
B
json-c
0.17-4.fc41
0.18-1.fc42
B
harfbuzz-icu
10.0.1-1.fc42
10.1.0-1.fc42
B

State overview

Groups

This package is not part of any global group.

Historical builds

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 )
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-devel
3.12.3-2.fc41
3.13.0~b2-3.fc41
1
python3-antlr4-runtime
4.10.1-14.fc41
4.10.1-15.fc41
1
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
python3-rpm-macros
3.12-9.fc41
3.13-1.fc41
2
libuuid
2.40.1-1.fc41
2.40.1-2.fc41
2
rpm-libs
4.19.91-10.fc41
4.19.91-13.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
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
antlr4-runtime
4.10.1-14.fc41
4.10.1-15.fc41
2
libmount
2.40.1-1.fc41
2.40.1-2.fc41
3
build-reproducibility-srpm-macros
0.2.0-9.fc41
0.2.0-10.fc41
3
python-srpm-macros
3.12-9.fc41
3.13-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
python3-packaging
24.0-1.fc41
24.0-3.fc41
3
file
5.45-5.fc41
5.45-6.fc41
3
annobin-plugin-gcc
12.54-2.fc41
12.59-1.fc41
3
rpm-build
4.19.91-10.fc41
4.19.91-13.fc41
3
util-linux
2.40.1-1.fc41
2.40.1-2.fc41
3
libxml2
2.12.7-1.fc41
2.12.8-1.fc41
3
rpm
4.19.91-10.fc41
4.19.91-13.fc41
3
libxml2-devel
2.12.7-1.fc41
2.12.8-1.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
brotli
1.1.0-3.fc40
1.1.0-4.fc41
B
libblkid-devel
2.40.1-1.fc41
2.40.1-2.fc41
B
nss-util
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
nss-softokn
3.100.0-1.fc41
3.101.0-2.fc41
B
nspr
4.35.0-23.fc41
4.35.0-25.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
nss-softokn-freebl
3.100.0-1.fc41
3.101.0-2.fc41
B
libsemanage
3.6-3.fc40
3.6-4.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
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
Previous history
Koschei version 2afbb17
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues