why3

Package information

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

Scheduler parameters

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

annobin-plugin-gcc
12.94-1.fc43
12.95-1.fc43
3
coreutils
9.7-1.fc43
9.7-2.fc43
3
gnupg2
2.4.7-3.fc43
2.4.8-1.fc43
4
coreutils-common
9.7-1.fc43
9.7-2.fc43
4
annobin-docs
12.94-1.fc43
12.95-1.fc43
4
kernel-headers
6.15.0-0.rc6.49.fc43
6.15.0-0.rc7.57.fc43
4
perl-Business-ISBN-Data
20250502.001-1.fc43
20250516.001-1.fc43
B
perl-Pod-Simple
1:3.46-1.fc43
1:3.47-1.fc43
B

State overview

Groups

This package is not part of any global group.

Historical builds

2025-02-20 20:27:00
Package dependencies resolved successfuly
2025-02-20 19:03:59
Package resolution failed
  • Problem: conflicting requests
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-nw-1:29.4-52.fc43.x86_64 from primary-f43-build-6552255
  • Problem: package emacs-proofgeneral-4.5-10.20240912git1ffca70.fc42.noarch from primary-f43-build-6552255 requires emacs(bin) >= 29.4, but none of the providers can be installed
    - conflicting requests
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-1:29.4-52.fc43.x86_64 from primary-f43-build-6552255
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-gtk+x11-1:29.4-52.fc43.x86_64 from primary-f43-build-6552255
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-lucid-1:29.4-52.fc43.x86_64 from primary-f43-build-6552255
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-nw-1:29.4-52.fc43.x86_64 from primary-f43-build-6552255
2025-02-20 17:54:59
Package resolution failed
  • Problem: conflicting requests
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-nw-1:29.4-52.fc43.x86_64 from primary-f43-build-6552243
  • Problem: package emacs-proofgeneral-4.5-10.20240912git1ffca70.fc42.noarch from primary-f43-build-6552243 requires emacs(bin) >= 29.4, but none of the providers can be installed
    - conflicting requests
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-1:29.4-52.fc43.x86_64 from primary-f43-build-6552243
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-gtk+x11-1:29.4-52.fc43.x86_64 from primary-f43-build-6552243
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-lucid-1:29.4-52.fc43.x86_64 from primary-f43-build-6552243
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-nw-1:29.4-52.fc43.x86_64 from primary-f43-build-6552243
2025-02-20 16:45:22
Package resolution failed
  • Problem: conflicting requests
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-nw-1:29.4-52.fc43.x86_64 from primary-f43-build-6552232
  • Problem: package emacs-proofgeneral-4.5-10.20240912git1ffca70.fc42.noarch from primary-f43-build-6552232 requires emacs(bin) >= 29.4, but none of the providers can be installed
    - conflicting requests
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-1:29.4-52.fc43.x86_64 from primary-f43-build-6552232
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-gtk+x11-1:29.4-52.fc43.x86_64 from primary-f43-build-6552232
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-lucid-1:29.4-52.fc43.x86_64 from primary-f43-build-6552232
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-nw-1:29.4-52.fc43.x86_64 from primary-f43-build-6552232
2025-02-20 15:35:51
Package resolution failed
  • Problem: conflicting requests
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-nw-1:29.4-52.fc43.x86_64 from primary-f43-build-6552227
  • Problem: package emacs-proofgeneral-4.5-10.20240912git1ffca70.fc42.noarch from primary-f43-build-6552227 requires emacs(bin) >= 29.4, but none of the providers can be installed
    - conflicting requests
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-1:29.4-52.fc43.x86_64 from primary-f43-build-6552227
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-gtk+x11-1:29.4-52.fc43.x86_64 from primary-f43-build-6552227
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-lucid-1:29.4-52.fc43.x86_64 from primary-f43-build-6552227
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-nw-1:29.4-52.fc43.x86_64 from primary-f43-build-6552227
2025-02-20 14:28:51
Package resolution failed
  • Problem: package emacs-proofgeneral-4.5-10.20240912git1ffca70.fc42.noarch from primary-f43-build-6552221 requires emacs(bin) >= 29.4, but none of the providers can be installed
    - conflicting requests
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-1:29.4-52.fc43.x86_64 from primary-f43-build-6552221
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-gtk+x11-1:29.4-52.fc43.x86_64 from primary-f43-build-6552221
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-lucid-1:29.4-52.fc43.x86_64 from primary-f43-build-6552221
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-nw-1:29.4-52.fc43.x86_64 from primary-f43-build-6552221
  • Problem: conflicting requests
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-nw-1:29.4-52.fc43.x86_64 from primary-f43-build-6552221
2025-02-20 13:54:18
Package resolution failed
  • Problem: package emacs-proofgeneral-4.5-10.20240912git1ffca70.fc42.noarch from primary-f43-build-6552217 requires emacs(bin) >= 29.4, but none of the providers can be installed
    - conflicting requests
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-1:29.4-52.fc43.x86_64 from primary-f43-build-6552217
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-gtk+x11-1:29.4-52.fc43.x86_64 from primary-f43-build-6552217
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-lucid-1:29.4-52.fc43.x86_64 from primary-f43-build-6552217
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-nw-1:29.4-52.fc43.x86_64 from primary-f43-build-6552217
  • Problem: conflicting requests
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-nw-1:29.4-52.fc43.x86_64 from primary-f43-build-6552217
2025-02-20 13:45:58
Package resolution failed
  • Problem: conflicting requests
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-nw-1:29.4-52.fc43.x86_64 from primary-f43-build-6552216
  • Problem: package emacs-proofgeneral-4.5-10.20240912git1ffca70.fc42.noarch from primary-f43-build-6552216 requires emacs(bin) >= 29.4, but none of the providers can be installed
    - conflicting requests
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-1:29.4-52.fc43.x86_64 from primary-f43-build-6552216
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-gtk+x11-1:29.4-52.fc43.x86_64 from primary-f43-build-6552216
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-lucid-1:29.4-52.fc43.x86_64 from primary-f43-build-6552216
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-nw-1:29.4-52.fc43.x86_64 from primary-f43-build-6552216
Previous history
Koschei version 2afbb17
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues