why3

Package information

State
ok

Scheduler parameters

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

emacs-nw
1:30.1-13.fc43
1:30.1-18.fc43
1
libcurl
8.13.0~rc3-1.fc43
8.13.0-1.fc43
2
emacs
1:30.1-18.fc43
2
redhat-rpm-config
342-2.fc42
343-3.fc43
2
glib2
2.84.0-1.fc43
2.84.1-1.fc43
2
emacs-common
1:30.1-13.fc43
1:30.1-18.fc43
2
xz-libs
1:5.8.0-1.fc43
1:5.8.1-1.fc43
3
glib2-devel
2.84.0-1.fc43
2.84.1-1.fc43
3
libxcrypt
4.4.38-6.fc43
4.4.38-7.fc43
3
qt6-srpm-macros
6.9.0~rc-1.fc43
6.9.0-1.fc43
3
libffi
3.4.7-3.fc43
3.4.7-4.fc43
3
emacsclient
1:30.1-13.fc43
1:30.1-18.fc43
3
crypto-policies
20250324-1.git3714354....
20250402-1.git86c0178....
3
libxcrypt-devel
4.4.38-6.fc43
4.4.38-7.fc43
4
curl
8.13.0~rc3-1.fc43
8.13.0-1.fc43
4
xz-devel
1:5.8.0-1.fc43
1:5.8.1-1.fc43
4
javapackages-filesystem
6.4.0-6.fc43
6.4.0-7.fc43
4
libffi-devel
3.4.7-3.fc43
3.4.7-4.fc43
4
xz
1:5.8.0-1.fc43
1:5.8.1-1.fc43
B
fedora-release-identity-basic
43-0.8
43-0.10
B
fedora-release
43-0.8
43-0.10
B
gawk
5.3.1-1.fc42
5.3.2-1.fc43
B
fedora-release-common
43-0.8
43-0.10
B

Groups

This package is not part of any global group.

Historical builds

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
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
Previous history