why3

Package information

State
ok

Scheduler parameters

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

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

Groups

This package is not part of any global group.

Historical builds

2025-02-20 12:39:39
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-6552206
  • Problem: package emacs-proofgeneral-4.5-10.20240912git1ffca70.fc42.noarch from primary-f43-build-6552206 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-6552206
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-gtk+x11-1:29.4-52.fc43.x86_64 from primary-f43-build-6552206
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-lucid-1:29.4-52.fc43.x86_64 from primary-f43-build-6552206
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-nw-1:29.4-52.fc43.x86_64 from primary-f43-build-6552206
2025-02-20 11:26:08
Package resolution failed
  • Problem: package emacs-proofgeneral-4.5-10.20240912git1ffca70.fc42.noarch from primary-f43-build-6552197 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-6552197
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-gtk+x11-1:29.4-52.fc43.x86_64 from primary-f43-build-6552197
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-lucid-1:29.4-52.fc43.x86_64 from primary-f43-build-6552197
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-nw-1:29.4-52.fc43.x86_64 from primary-f43-build-6552197
  • 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-6552197
2025-02-20 10:24:30
Package resolution failed
  • Problem: package emacs-proofgeneral-4.5-10.20240912git1ffca70.fc42.noarch from primary-f43-build-6552192 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-6552192
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-gtk+x11-1:29.4-52.fc43.x86_64 from primary-f43-build-6552192
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-lucid-1:29.4-52.fc43.x86_64 from primary-f43-build-6552192
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-nw-1:29.4-52.fc43.x86_64 from primary-f43-build-6552192
  • 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-6552192
2025-02-20 09:06:25
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-6552186
  • Problem: package emacs-proofgeneral-4.5-10.20240912git1ffca70.fc42.noarch from primary-f43-build-6552186 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-6552186
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-gtk+x11-1:29.4-52.fc43.x86_64 from primary-f43-build-6552186
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-lucid-1:29.4-52.fc43.x86_64 from primary-f43-build-6552186
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-nw-1:29.4-52.fc43.x86_64 from primary-f43-build-6552186
2025-02-20 07:54:28
Package resolution failed
  • Problem: package emacs-proofgeneral-4.5-10.20240912git1ffca70.fc42.noarch from primary-f43-build-6552179 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-6552179
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-gtk+x11-1:29.4-52.fc43.x86_64 from primary-f43-build-6552179
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-lucid-1:29.4-52.fc43.x86_64 from primary-f43-build-6552179
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-nw-1:29.4-52.fc43.x86_64 from primary-f43-build-6552179
  • 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-6552179
2025-02-20 06:45:17
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-6552172
  • Problem: package emacs-proofgeneral-4.5-10.20240912git1ffca70.fc42.noarch from primary-f43-build-6552172 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-6552172
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-gtk+x11-1:29.4-52.fc43.x86_64 from primary-f43-build-6552172
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-lucid-1:29.4-52.fc43.x86_64 from primary-f43-build-6552172
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-nw-1:29.4-52.fc43.x86_64 from primary-f43-build-6552172
2025-02-20 05:35:37
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-6552169
  • Problem: package emacs-proofgeneral-4.5-10.20240912git1ffca70.fc42.noarch from primary-f43-build-6552169 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-6552169
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-gtk+x11-1:29.4-52.fc43.x86_64 from primary-f43-build-6552169
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-lucid-1:29.4-52.fc43.x86_64 from primary-f43-build-6552169
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-nw-1:29.4-52.fc43.x86_64 from primary-f43-build-6552169
2025-02-20 04:22:53
Package resolution failed
  • Problem: package emacs-proofgeneral-4.5-10.20240912git1ffca70.fc42.noarch from primary-f43-build-6552163 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-6552163
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-gtk+x11-1:29.4-52.fc43.x86_64 from primary-f43-build-6552163
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-lucid-1:29.4-52.fc43.x86_64 from primary-f43-build-6552163
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-nw-1:29.4-52.fc43.x86_64 from primary-f43-build-6552163
  • 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-6552163
Previous history