emacs-common-proofgeneral

Package information

State
ok

Scheduler parameters

Tracked by Koschei
True
Current priority
381
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-12.fc43
4
libeconf
0.7.5-2.fc42
0.7.6-1.fc43
B
gdb-minimal
15.2-7.fc42
16.2-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-14 23:12:30
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-6543381
2025-01-14 22:09: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-6543370
2025-01-14 20:53: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-6543357
2025-01-14 19:41:40
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-6543347
2025-01-14 18:32:15
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-6543338
2025-01-14 17:24:02
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-6543326
2025-01-14 16:12:30
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-6543315
2025-01-14 15:33: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-6543290
Previous history