2024-08-28 13:57:54
Package dependencies resolved successfuly
|
2024-08-28 13:40:56
Package resolution failed
- Problem: conflicting requests
- nothing provides libtree-sitter.so.0()(64bit) needed by emacs-nw-1:29.4-29.fc41.x86_64 from primary-f42-build-6376904
- Problem: package emacs-proofgeneral-4.5-8.fc41.noarch from primary-f42-build-6376904 requires emacs(bin) >= 29.4, but none of the providers can be installed
- conflicting requests
- nothing provides libtree-sitter.so.0()(64bit) needed by emacs-1:29.4-29.fc41.x86_64 from primary-f42-build-6376904
- nothing provides libtree-sitter.so.0()(64bit) needed by emacs-gtk+x11-1:29.4-29.fc41.x86_64 from primary-f42-build-6376904
- nothing provides libtree-sitter.so.0()(64bit) needed by emacs-lucid-1:29.4-29.fc41.x86_64 from primary-f42-build-6376904
- nothing provides libtree-sitter.so.0()(64bit) needed by emacs-nw-1:29.4-29.fc41.x86_64 from primary-f42-build-6376904
|
2024-08-28 13:13:17
Package resolution failed
- Problem: conflicting requests
- nothing provides libtree-sitter.so.0()(64bit) needed by emacs-nw-1:29.4-29.fc41.x86_64 from primary-f42-build-6376851
- Problem: package emacs-proofgeneral-4.5-8.fc41.noarch from primary-f42-build-6376851 requires emacs(bin) >= 29.4, but none of the providers can be installed
- conflicting requests
- nothing provides libtree-sitter.so.0()(64bit) needed by emacs-1:29.4-29.fc41.x86_64 from primary-f42-build-6376851
- nothing provides libtree-sitter.so.0()(64bit) needed by emacs-gtk+x11-1:29.4-29.fc41.x86_64 from primary-f42-build-6376851
- nothing provides libtree-sitter.so.0()(64bit) needed by emacs-lucid-1:29.4-29.fc41.x86_64 from primary-f42-build-6376851
- nothing provides libtree-sitter.so.0()(64bit) needed by emacs-nw-1:29.4-29.fc41.x86_64 from primary-f42-build-6376851
|
2024-08-28 13:06:41
Package resolution failed
- Problem: conflicting requests
- nothing provides libtree-sitter.so.0()(64bit) needed by emacs-nw-1:29.4-29.fc41.x86_64 from primary-f42-build-6376829
- Problem: package emacs-proofgeneral-4.5-8.fc41.noarch from primary-f42-build-6376829 requires emacs(bin) >= 29.4, but none of the providers can be installed
- conflicting requests
- nothing provides libtree-sitter.so.0()(64bit) needed by emacs-1:29.4-29.fc41.x86_64 from primary-f42-build-6376829
- nothing provides libtree-sitter.so.0()(64bit) needed by emacs-gtk+x11-1:29.4-29.fc41.x86_64 from primary-f42-build-6376829
- nothing provides libtree-sitter.so.0()(64bit) needed by emacs-lucid-1:29.4-29.fc41.x86_64 from primary-f42-build-6376829
- nothing provides libtree-sitter.so.0()(64bit) needed by emacs-nw-1:29.4-29.fc41.x86_64 from primary-f42-build-6376829
|
2024-08-28 12:33:25
Package resolution failed
- Problem: package emacs-proofgeneral-4.5-8.fc41.noarch from primary-f42-build-6376789 requires emacs(bin) >= 29.4, but none of the providers can be installed
- conflicting requests
- nothing provides libtree-sitter.so.0()(64bit) needed by emacs-1:29.4-29.fc41.x86_64 from primary-f42-build-6376789
- nothing provides libtree-sitter.so.0()(64bit) needed by emacs-gtk+x11-1:29.4-29.fc41.x86_64 from primary-f42-build-6376789
- nothing provides libtree-sitter.so.0()(64bit) needed by emacs-lucid-1:29.4-29.fc41.x86_64 from primary-f42-build-6376789
- nothing provides libtree-sitter.so.0()(64bit) needed by emacs-nw-1:29.4-29.fc41.x86_64 from primary-f42-build-6376789
- Problem: conflicting requests
- nothing provides libtree-sitter.so.0()(64bit) needed by emacs-nw-1:29.4-29.fc41.x86_64 from primary-f42-build-6376789
|
2024-08-28 11:42:20
Package resolution failed
- Problem: conflicting requests
- nothing provides libtree-sitter.so.0()(64bit) needed by emacs-nw-1:29.4-29.fc41.x86_64 from primary-f42-build-6376513
- Problem: package emacs-proofgeneral-4.5-8.fc41.noarch from primary-f42-build-6376513 requires emacs(bin) >= 29.4, but none of the providers can be installed
- conflicting requests
- nothing provides libtree-sitter.so.0()(64bit) needed by emacs-1:29.4-29.fc41.x86_64 from primary-f42-build-6376513
- nothing provides libtree-sitter.so.0()(64bit) needed by emacs-gtk+x11-1:29.4-29.fc41.x86_64 from primary-f42-build-6376513
- nothing provides libtree-sitter.so.0()(64bit) needed by emacs-lucid-1:29.4-29.fc41.x86_64 from primary-f42-build-6376513
- nothing provides libtree-sitter.so.0()(64bit) needed by emacs-nw-1:29.4-29.fc41.x86_64 from primary-f42-build-6376513
|
2024-08-28 11:35:38
Package resolution failed
- Problem: conflicting requests
- nothing provides libtree-sitter.so.0()(64bit) needed by emacs-nw-1:29.4-29.fc41.x86_64 from primary-f42-build-6376459
- Problem: package emacs-proofgeneral-4.5-8.fc41.noarch from primary-f42-build-6376459 requires emacs(bin) >= 29.4, but none of the providers can be installed
- conflicting requests
- nothing provides libtree-sitter.so.0()(64bit) needed by emacs-1:29.4-29.fc41.x86_64 from primary-f42-build-6376459
- nothing provides libtree-sitter.so.0()(64bit) needed by emacs-gtk+x11-1:29.4-29.fc41.x86_64 from primary-f42-build-6376459
- nothing provides libtree-sitter.so.0()(64bit) needed by emacs-lucid-1:29.4-29.fc41.x86_64 from primary-f42-build-6376459
- nothing provides libtree-sitter.so.0()(64bit) needed by emacs-nw-1:29.4-29.fc41.x86_64 from primary-f42-build-6376459
|
2024-08-28 11:21:55
Package resolution failed
- Problem: package emacs-proofgeneral-4.5-8.fc41.noarch from primary-f42-build-6376402 requires emacs(bin) >= 29.4, but none of the providers can be installed
- conflicting requests
- nothing provides libtree-sitter.so.0()(64bit) needed by emacs-1:29.4-29.fc41.x86_64 from primary-f42-build-6376402
- nothing provides libtree-sitter.so.0()(64bit) needed by emacs-gtk+x11-1:29.4-29.fc41.x86_64 from primary-f42-build-6376402
- nothing provides libtree-sitter.so.0()(64bit) needed by emacs-lucid-1:29.4-29.fc41.x86_64 from primary-f42-build-6376402
- nothing provides libtree-sitter.so.0()(64bit) needed by emacs-nw-1:29.4-29.fc41.x86_64 from primary-f42-build-6376402
- Problem: conflicting requests
- nothing provides libtree-sitter.so.0()(64bit) needed by emacs-nw-1:29.4-29.fc41.x86_64 from primary-f42-build-6376402
|
ok