Agda

Package information

State
ok
Packages
Bodhi
Dist-git
Bugzilla
Koji
File new FTBFS bug

Scheduler parameters

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

No dependency changes

State overview

Groups

This package is not part of any global group.

Most recent builds

complete
129486468
2025-02-22 02:53:32
aarch64
├129486599 ( build.log | root.log )
ppc64le
├129486601 ( build.log | root.log )
x86_64
└129486600 ( build.log | root.log )
emacs
1:29.4-49.fc42
1:29.4-53.fc43
1
gmp
1:6.3.0-2.fc41
1:6.3.0-3.fc43
2
libpng
2:1.6.46-1.fc43
2:1.6.47-1.fc43
2
gnutls
3.8.9-2.fc43
3.8.9-4.fc43
2
glibc
2.40.9000-37.fc43
2.41.9000-1.fc43
2
libtree-sitter
0.24.7-2.fc42
0.25.2-3.fc43
2
emacs-common
1:29.4-49.fc42
1:29.4-53.fc43
2
gmp-devel
1:6.3.0-2.fc41
1:6.3.0-3.fc43
2
systemd-libs
257.3-6.fc43
257.3-7.fc43
2
harfbuzz
10.2.0-2.fc42
10.3.0-1.fc43
2
libcloudproviders
0.3.5-6.fc42
0.3.6-1.fc43
3
cups-libs
1:2.4.11-11.fc43
1:2.4.11-13.fc43
3
gmp-c++
1:6.3.0-2.fc41
1:6.3.0-3.fc43
3
libzstd
1.5.6-3.fc42
1.5.7-1.fc43
3
glibc-minimal-langpack
2.40.9000-37.fc43
2.41.9000-1.fc43
3
nettle
3.10-6.fc42
3.10.1-1.fc43
3
glibc-gconv-extra
2.40.9000-37.fc43
2.41.9000-1.fc43
3
emacsclient
1:29.4-49.fc42
1:29.4-53.fc43
3
pcre2
10.44-1.fc43.2
10.45-1.fc43
3
glibc-common
2.40.9000-37.fc43
2.41.9000-1.fc43
3
cups-filesystem
1:2.4.11-11.fc43
1:2.4.11-13.fc43
4
pcre2-syntax
10.44-1.fc43.2
10.45-1.fc43
4
qt6-srpm-macros
6.8.2-1.fc42
6.8.2-2.fc43
4
glibc-devel
2.40.9000-37.fc43
2.41.9000-1.fc43
4
systemd-standalone-sysusers
257.3-6.fc43
257.3-7.fc43
B
fedora-release-identity-basic
43-0.2
43-0.5
B
fedora-release
43-0.2
43-0.5
B
fedora-release-common
43-0.2
43-0.5
B
kernel-headers
6.14.0-0.rc2.22.fc43
6.14.0-0.rc3.29.fc43
B
zstd
1.5.6-3.fc42
1.5.7-1.fc43
B
2025-02-20 20:24:56
Package dependencies resolved successfuly
2025-02-20 19:01:54
Package resolution failed
  • Problem: conflicting requests
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-1:29.4-52.fc43.x86_64 from primary-f43-build-6552255
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-gtk+x11-1:29.4-52.fc43.x86_64 from primary-f43-build-6552255
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-lucid-1:29.4-52.fc43.x86_64 from primary-f43-build-6552255
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-nw-1:29.4-52.fc43.x86_64 from primary-f43-build-6552255
2025-02-20 17:52:43
Package resolution failed
  • Problem: conflicting requests
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-1:29.4-52.fc43.x86_64 from primary-f43-build-6552243
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-gtk+x11-1:29.4-52.fc43.x86_64 from primary-f43-build-6552243
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-lucid-1:29.4-52.fc43.x86_64 from primary-f43-build-6552243
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-nw-1:29.4-52.fc43.x86_64 from primary-f43-build-6552243
2025-02-20 16:43:01
Package resolution failed
  • Problem: conflicting requests
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-1:29.4-52.fc43.x86_64 from primary-f43-build-6552232
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-gtk+x11-1:29.4-52.fc43.x86_64 from primary-f43-build-6552232
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-lucid-1:29.4-52.fc43.x86_64 from primary-f43-build-6552232
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-nw-1:29.4-52.fc43.x86_64 from primary-f43-build-6552232
2025-02-20 15:32:22
Package resolution failed
  • Problem: conflicting requests
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-1:29.4-52.fc43.x86_64 from primary-f43-build-6552227
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-gtk+x11-1:29.4-52.fc43.x86_64 from primary-f43-build-6552227
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-lucid-1:29.4-52.fc43.x86_64 from primary-f43-build-6552227
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-nw-1:29.4-52.fc43.x86_64 from primary-f43-build-6552227
2025-02-20 14:25:20
Package resolution failed
  • Problem: conflicting requests
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-1:29.4-52.fc43.x86_64 from primary-f43-build-6552221
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-gtk+x11-1:29.4-52.fc43.x86_64 from primary-f43-build-6552221
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-lucid-1:29.4-52.fc43.x86_64 from primary-f43-build-6552221
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-nw-1:29.4-52.fc43.x86_64 from primary-f43-build-6552221
2025-02-20 13:51:08
Package resolution failed
  • Problem: conflicting requests
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-1:29.4-52.fc43.x86_64 from primary-f43-build-6552217
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-gtk+x11-1:29.4-52.fc43.x86_64 from primary-f43-build-6552217
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-lucid-1:29.4-52.fc43.x86_64 from primary-f43-build-6552217
    - nothing provides libtree-sitter.so.0.24()(64bit) needed by emacs-nw-1:29.4-52.fc43.x86_64 from primary-f43-build-6552217
Previous history
Koschei version 2afbb17
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues