emacs-common-proofgeneral

Package information

State
ok

Scheduler parameters

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

setup
2.15.0-10.fc42
2.15.0-11.fc43
4
libeconf
0.7.5-2.fc42
0.7.6-1.fc43
B
kernel-headers
6.14.0-0.rc1.15.fc42
6.14.0-0.rc2.22.fc43
B
add-determinism
0.5.0-2.fc42
0.6.0-1.fc43
B
build-reproducibility-srpm-macros
0.5.0-2.fc42
0.6.0-1.fc43
B

Historical builds

2025-01-15 07:35:55
Package dependencies resolved successfuly
2025-01-15 06:29: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-6543424
2025-01-15 05:17:52
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-6543416
2025-01-15 04:03:18
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-6543405
2025-01-15 02:59:48
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-6543400
2025-01-15 01:51:29
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-6543395
2025-01-15 01:42:50
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-6543394
2025-01-15 00:22:58
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-6543392
Previous history