Agda

Package information

State
ok

Scheduler parameters

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

libgccjit
15.0.1-0.14.fc42
15.1.1-1.fc42
2
glibc
2.41-3.fc42
2.41-5.fc42
2
libtinysparql
3.9.1-2.fc42
3.9.2-1.fc42
3
libstdc++
15.0.1-0.14.fc42
15.1.1-1.fc42
3
libgcc
15.0.1-0.14.fc42
15.1.1-1.fc42
3
glibc-minimal-langpack
2.41-3.fc42
2.41-5.fc42
3
glibc-gconv-extra
2.41-3.fc42
2.41-5.fc42
3
gcc
15.0.1-0.14.fc42
15.1.1-1.fc42
3
glibc-common
2.41-3.fc42
2.41-5.fc42
3
xz-libs
1:5.6.3-3.fc42
1:5.8.1-2.fc42
3
cpp
15.0.1-0.14.fc42
15.1.1-1.fc42
4
elfutils-debuginfod-client
0.192-9.fc42
0.193-2.fc42
4
efi-srpm-macros
6-2.fc42
6-3.fc42
4
gcc-plugin-annobin
15.0.1-0.14.fc42
15.1.1-1.fc42
4
glibc-devel
2.41-3.fc42
2.41-5.fc42
4
libgomp
15.0.1-0.14.fc42
15.1.1-1.fc42
4
elfutils-libelf
0.192-9.fc42
0.193-2.fc42
B
elfutils-libs
0.192-9.fc42
0.193-2.fc42
B
debugedit
5.1-5.fc42
5.1-6.fc42
B
elfutils-default-yama-scope
0.192-9.fc42
0.193-2.fc42
B
xz
1:5.6.3-3.fc42
1:5.8.1-2.fc42
B
elfutils
0.192-9.fc42
0.193-2.fc42
B
kernel-headers
6.14.0-63.fc42
6.14.3-300.fc42
B

Historical builds

2025-01-15 01:48:00
Package resolution failed
  • Problem: conflicting requests
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-1:29.4-46.fc42.x86_64 from primary-f42-build-6543395
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-gtk+x11-1:29.4-46.fc42.x86_64 from primary-f42-build-6543395
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-lucid-1:29.4-46.fc42.x86_64 from primary-f42-build-6543395
    - 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:39:06
Package resolution failed
  • Problem: conflicting requests
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-1:29.4-46.fc42.x86_64 from primary-f42-build-6543394
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-gtk+x11-1:29.4-46.fc42.x86_64 from primary-f42-build-6543394
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-lucid-1:29.4-46.fc42.x86_64 from primary-f42-build-6543394
    - 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:19:31
Package resolution failed
  • Problem: conflicting requests
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-1:29.4-46.fc42.x86_64 from primary-f42-build-6543392
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-gtk+x11-1:29.4-46.fc42.x86_64 from primary-f42-build-6543392
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-lucid-1:29.4-46.fc42.x86_64 from primary-f42-build-6543392
    - 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:08:59
Package resolution failed
  • Problem: conflicting requests
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-1:29.4-46.fc42.x86_64 from primary-f42-build-6543381
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-gtk+x11-1:29.4-46.fc42.x86_64 from primary-f42-build-6543381
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-lucid-1:29.4-46.fc42.x86_64 from primary-f42-build-6543381
    - 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:06:39
Package resolution failed
  • Problem: conflicting requests
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-1:29.4-46.fc42.x86_64 from primary-f42-build-6543370
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-gtk+x11-1:29.4-46.fc42.x86_64 from primary-f42-build-6543370
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-lucid-1:29.4-46.fc42.x86_64 from primary-f42-build-6543370
    - 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:50:16
Package resolution failed
  • Problem: conflicting requests
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-1:29.4-46.fc42.x86_64 from primary-f42-build-6543357
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-gtk+x11-1:29.4-46.fc42.x86_64 from primary-f42-build-6543357
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-lucid-1:29.4-46.fc42.x86_64 from primary-f42-build-6543357
    - 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:38:27
Package resolution failed
  • Problem: conflicting requests
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-1:29.4-46.fc42.x86_64 from primary-f42-build-6543347
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-gtk+x11-1:29.4-46.fc42.x86_64 from primary-f42-build-6543347
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-lucid-1:29.4-46.fc42.x86_64 from primary-f42-build-6543347
    - 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:28:56
Package resolution failed
  • Problem: conflicting requests
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-1:29.4-46.fc42.x86_64 from primary-f42-build-6543338
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-gtk+x11-1:29.4-46.fc42.x86_64 from primary-f42-build-6543338
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-lucid-1:29.4-46.fc42.x86_64 from primary-f42-build-6543338
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-nw-1:29.4-46.fc42.x86_64 from primary-f42-build-6543338
Previous history