coq

Package information

State
ok

Scheduler parameters

Tracked by Koschei
True
Current priority
984
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.40-11.fc41
2.40-12.fc41
2
glibc-gconv-extra
2.40-11.fc41
2.40-12.fc41
3
glibc-common
2.40-11.fc41
2.40-12.fc41
3
efi-srpm-macros
5-12.fc41
5-13.fc41
3
glibc-minimal-langpack
2.40-11.fc41
2.40-12.fc41
3
glibc-devel
2.40-11.fc41
2.40-12.fc41
3
nss
3.105.0-1.fc41
3.106.0-1.fc41
4
nss-softokn-freebl
3.105.0-1.fc41
3.106.0-1.fc41
B
nss-softokn
3.105.0-1.fc41
3.106.0-1.fc41
B
nspr
4.35.0-30.fc41
4.36.0-1.fc41
B
nss-util
3.105.0-1.fc41
3.106.0-1.fc41
B
nss-sysinit
3.105.0-1.fc41
3.106.0-1.fc41
B

Groups

This package is not part of any global group.

Historical builds

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