why3

Package information

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

Scheduler parameters

Tracked by Koschei
True
Current priority
779
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.9000-34.fc42
2.40.9000-35.fc42
2
glibc-devel
2.40.9000-34.fc42
2.40.9000-35.fc42
3
glibc-gconv-extra
2.40.9000-34.fc42
2.40.9000-35.fc42
3
glibc-minimal-langpack
2.40.9000-34.fc42
2.40.9000-35.fc42
3
glibc-common
2.40.9000-34.fc42
2.40.9000-35.fc42
3
mesa-libGL
24.3.3-3.fc42
24.3.4-2.fc42
B
mesa-dri-drivers
24.3.3-3.fc42
24.3.4-2.fc42
B
mesa-filesystem
24.3.3-3.fc42
24.3.4-2.fc42
B
mesa-libgbm
24.3.3-3.fc42
24.3.4-2.fc42
B
mesa-libEGL
24.3.3-3.fc42
24.3.4-2.fc42
B
libsoup3
3.6.4-1.fc42
3.6.4-2.fc42
B
mesa-libglapi
24.3.3-3.fc42
24.3.4-2.fc42
B

State overview

Groups

This package is not part of any global group.

Historical builds

2025-01-15 00:19:25
Package resolution failed
  • Problem: package emacs-proofgeneral-4.5-9.20240912git1ffca70.fc42.noarch from primary-f42-build-6543392 requires emacs(bin) >= 29.4, but none of the providers can be installed
    - conflicting requests
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-1:29.4-46.fc42.x86_64 from primary-f42-build-6543392
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-gtk+x11-1:29.4-46.fc42.x86_64 from primary-f42-build-6543392
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-lucid-1:29.4-46.fc42.x86_64 from primary-f42-build-6543392
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-nw-1:29.4-46.fc42.x86_64 from primary-f42-build-6543392
  • Problem: conflicting requests
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-nw-1:29.4-46.fc42.x86_64 from primary-f42-build-6543392
2025-01-14 23:08:53
Package resolution failed
  • Problem: conflicting requests
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-nw-1:29.4-46.fc42.x86_64 from primary-f42-build-6543381
  • Problem: package emacs-proofgeneral-4.5-9.20240912git1ffca70.fc42.noarch from primary-f42-build-6543381 requires emacs(bin) >= 29.4, but none of the providers can be installed
    - conflicting requests
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-1:29.4-46.fc42.x86_64 from primary-f42-build-6543381
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-gtk+x11-1:29.4-46.fc42.x86_64 from primary-f42-build-6543381
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-lucid-1:29.4-46.fc42.x86_64 from primary-f42-build-6543381
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-nw-1:29.4-46.fc42.x86_64 from primary-f42-build-6543381
2025-01-14 22:06:32
Package resolution failed
  • Problem: package emacs-proofgeneral-4.5-9.20240912git1ffca70.fc42.noarch from primary-f42-build-6543370 requires emacs(bin) >= 29.4, but none of the providers can be installed
    - conflicting requests
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-1:29.4-46.fc42.x86_64 from primary-f42-build-6543370
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-gtk+x11-1:29.4-46.fc42.x86_64 from primary-f42-build-6543370
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-lucid-1:29.4-46.fc42.x86_64 from primary-f42-build-6543370
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-nw-1:29.4-46.fc42.x86_64 from primary-f42-build-6543370
  • Problem: conflicting requests
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-nw-1:29.4-46.fc42.x86_64 from primary-f42-build-6543370
2025-01-14 20:50:09
Package resolution failed
  • Problem: package emacs-proofgeneral-4.5-9.20240912git1ffca70.fc42.noarch from primary-f42-build-6543357 requires emacs(bin) >= 29.4, but none of the providers can be installed
    - conflicting requests
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-1:29.4-46.fc42.x86_64 from primary-f42-build-6543357
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-gtk+x11-1:29.4-46.fc42.x86_64 from primary-f42-build-6543357
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-lucid-1:29.4-46.fc42.x86_64 from primary-f42-build-6543357
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-nw-1:29.4-46.fc42.x86_64 from primary-f42-build-6543357
  • Problem: conflicting requests
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-nw-1:29.4-46.fc42.x86_64 from primary-f42-build-6543357
2025-01-14 19:38:21
Package resolution failed
  • Problem: conflicting requests
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-nw-1:29.4-46.fc42.x86_64 from primary-f42-build-6543347
  • Problem: package emacs-proofgeneral-4.5-9.20240912git1ffca70.fc42.noarch from primary-f42-build-6543347 requires emacs(bin) >= 29.4, but none of the providers can be installed
    - conflicting requests
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-1:29.4-46.fc42.x86_64 from primary-f42-build-6543347
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-gtk+x11-1:29.4-46.fc42.x86_64 from primary-f42-build-6543347
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-lucid-1:29.4-46.fc42.x86_64 from primary-f42-build-6543347
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-nw-1:29.4-46.fc42.x86_64 from primary-f42-build-6543347
2025-01-14 18:28:49
Package resolution failed
  • Problem: package emacs-proofgeneral-4.5-9.20240912git1ffca70.fc42.noarch from primary-f42-build-6543338 requires emacs(bin) >= 29.4, but none of the providers can be installed
    - conflicting requests
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-1:29.4-46.fc42.x86_64 from primary-f42-build-6543338
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-gtk+x11-1:29.4-46.fc42.x86_64 from primary-f42-build-6543338
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-lucid-1:29.4-46.fc42.x86_64 from primary-f42-build-6543338
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-nw-1:29.4-46.fc42.x86_64 from primary-f42-build-6543338
  • Problem: conflicting requests
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-nw-1:29.4-46.fc42.x86_64 from primary-f42-build-6543338
2025-01-14 17:20:34
Package resolution failed
  • Problem: conflicting requests
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-nw-1:29.4-46.fc42.x86_64 from primary-f42-build-6543326
  • Problem: package emacs-proofgeneral-4.5-9.20240912git1ffca70.fc42.noarch from primary-f42-build-6543326 requires emacs(bin) >= 29.4, but none of the providers can be installed
    - conflicting requests
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-1:29.4-46.fc42.x86_64 from primary-f42-build-6543326
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-gtk+x11-1:29.4-46.fc42.x86_64 from primary-f42-build-6543326
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-lucid-1:29.4-46.fc42.x86_64 from primary-f42-build-6543326
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-nw-1:29.4-46.fc42.x86_64 from primary-f42-build-6543326
2025-01-14 16:09:11
Package resolution failed
  • Problem: conflicting requests
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-nw-1:29.4-46.fc42.x86_64 from primary-f42-build-6543315
  • Problem: package emacs-proofgeneral-4.5-9.20240912git1ffca70.fc42.noarch from primary-f42-build-6543315 requires emacs(bin) >= 29.4, but none of the providers can be installed
    - conflicting requests
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-1:29.4-46.fc42.x86_64 from primary-f42-build-6543315
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-gtk+x11-1:29.4-46.fc42.x86_64 from primary-f42-build-6543315
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-lucid-1:29.4-46.fc42.x86_64 from primary-f42-build-6543315
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-nw-1:29.4-46.fc42.x86_64 from primary-f42-build-6543315
Previous history
Koschei version 2afbb17
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues