emacs-common-proofgeneral

Package information

State
ok

Scheduler parameters

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

gnutls
3.8.8-3.fc42
3.8.9-2.fc42
2
systemd-libs
257.3-6.fc42
257.3-7.fc42
2
nettle
3.10-6.fc42
3.10.1-1.fc42
3
systemd-standalone-sysusers
257.3-6.fc42
257.3-7.fc42
3
libtasn1
4.19.0-11.fc42
4.20.0-1.fc42
3
qt6-srpm-macros
6.8.2-1.fc42
6.8.2-2.fc42
B
kernel-headers
6.14.0-0.rc1.15.fc42
6.14.0-0.rc3.29.fc42
B

Historical builds

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