Agda

Package information

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

Scheduler parameters

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

State overview

Groups

This package is not part of any global group.

Historical builds

Real build: Agda-2.6.4.3-53.fc42
complete
128199589
2025-01-20 07:20:02
aarch64
├128199787 ( build.log | root.log )
ppc64le
├128199788 ( build.log | root.log )
s390x
├128199789 ( build.log | root.log )
x86_64
└128199786 ( build.log | root.log )
ghc-rpm-macros-extra
2.7.6-1.fc42
2.7.7-1.fc42
1
ghc-rpm-macros
2.7.6-1.fc42
2.7.7-1.fc42
2
complete
128045054
2025-01-18 04:13:50
aarch64
├128045176 ( build.log | root.log )
ppc64le
├128045174 ( build.log | root.log )
x86_64
└128045175 ( build.log | root.log )
ghc-rpm-macros-extra
2.7.5-1.fc42
2.7.6-1.fc42
1
libgcc
14.2.1-6.fc42
15.0.1-0.3.fc42
2
sqlite-libs
3.47.2-1.fc42
3.47.2-2.fc42
2
systemd-libs
257.2-7.fc42
257.2-14.fc42
2
libicu-devel
76.1-2.fc42
76.1-3.fc42
2
ghc-rpm-macros
2.7.5-1.fc42
2.7.6-1.fc42
2
libgccjit
14.2.1-6.fc42
15.0.1-0.3.fc42
2
filesystem
3.18-30.fc42
3.18-34.fc42
3
fonts-filesystem
1:2.0.5-17.fc41
1:2.0.5-19.fc42
3
atk
2.55.0-1.fc42
2.55.0.1-1.fc42
3
at-spi2-atk
2.55.0-1.fc42
2.55.0.1-1.fc42
3
libuuid
2.40.2-9.fc42
2.40.4-1.fc42
3
gcc
14.2.1-6.fc42
15.0.1-0.3.fc42
3
libmount
2.40.2-9.fc42
2.40.4-1.fc42
3
binutils
2.43.50-9.fc42
2.43.50-11.fc42
3
libicu
76.1-2.fc42
76.1-3.fc42
3
libstdc++
14.2.1-6.fc42
15.0.1-0.3.fc42
3
avahi-glib
0.8-30.fc42
0.9~rc2-2.fc42
4
annobin-plugin-gcc
12.80-1.fc42
12.81-1.fc42
4
fonts-srpm-macros
1:2.0.5-17.fc41
1:2.0.5-19.fc42
4
gcc-plugin-annobin
14.2.1-6.fc42
15.0.1-0.3.fc42
4
libblkid
2.40.2-9.fc42
2.40.4-1.fc42
4
filesystem-srpm-macros
3.18-30.fc42
3.18-34.fc42
4
at-spi2-core
2.55.0-1.fc42
2.55.0.1-1.fc42
4
avahi-libs
0.8-30.fc42
0.9~rc2-2.fc42
4
cpp
14.2.1-6.fc42
15.0.1-0.3.fc42
4
rpm
4.20.0-5.fc42
4.20.0-6.fc42
4
libgomp
14.2.1-6.fc42
15.0.1-0.3.fc42
4
fedora-repos-rawhide
42-0.3
42-0.4
B
util-linux-core
2.40.2-9.fc42
2.40.4-1.fc42
B
debugedit
5.1-2.fc42
5.1-4.fc42
B
rpm-build
4.20.0-5.fc42
4.20.0-6.fc42
B
libtool-ltdl
2.5.4-2.fc42
2.5.4-3.fc42
B
fedora-repos
42-0.3
42-0.4
B
libsmartcols
2.40.2-9.fc42
2.40.4-1.fc42
B
util-linux
2.40.2-9.fc42
2.40.4-1.fc42
B
annobin-docs
12.80-1.fc42
12.81-1.fc42
B
libusb1
1.0.27-5.fc42
1.0.27-6.fc42
B
fedora-gpg-keys
42-0.3
42-0.4
B
openldap
2.6.9-1.fc42
2.6.9-2.fc42
B
libfdisk
2.40.2-9.fc42
2.40.4-1.fc42
B
libxcrypt
4.4.38-1.fc42
4.4.38-3.fc42
B
rpm-libs
4.20.0-5.fc42
4.20.0-6.fc42
B
libxcrypt-devel
4.4.38-1.fc42
4.4.38-3.fc42
B
rpm-build-libs
4.20.0-5.fc42
4.20.0-6.fc42
B
failed
127890016
2025-01-15 09:41:15
aarch64
├127890212 ( build.log | root.log )
ppc64le
├127890210 ( build.log | root.log )
x86_64
└127890211 ( build.log | root.log )
emacs
1:29.4-46.fc42
1:29.4-47.fc42
1
alternatives
1.31-1.fc42
1.31-2.fc42
2
systemd-libs
257.2-6.fc42
257.2-7.fc42
2
libselinux
3.8-0.rc3.1.fc42.1
3.8-0.rc3.1.fc42.2
2
glibc
2.40.9000-27.fc42
2.40.9000-28.fc42
2
emacs-common
1:29.4-46.fc42
1:29.4-47.fc42
2
libtree-sitter
0.23.0-1.fc42
0.24.7-1.fc42
2
libmount
2.40.2-8.fc42
2.40.2-9.fc42
3
libuuid
2.40.2-8.fc42
2.40.2-9.fc42
3
glibc-gconv-extra
2.40.9000-27.fc42
2.40.9000-28.fc42
3
coreutils
9.5-11.fc42
9.5-12.fc42
3
atk
2.54.0-1.fc42
2.55.0-1.fc42
3
at-spi2-atk
2.54.0-1.fc42
2.55.0-1.fc42
3
libcap
2.71-1.fc42
2.71-2.fc42
3
emacsclient
1:29.4-46.fc42
1:29.4-47.fc42
3
filesystem
3.18-29.fc42
3.18-30.fc42
3
glibc-common
2.40.9000-27.fc42
2.40.9000-28.fc42
3
glibc-minimal-langpack
2.40.9000-27.fc42
2.40.9000-28.fc42
3
at-spi2-core
2.54.0-1.fc42
2.55.0-1.fc42
4
filesystem-srpm-macros
3.18-29.fc42
3.18-30.fc42
4
rpm
4.20.0-1.fc42
4.20.0-5.fc42
4
coreutils-common
9.5-11.fc42
9.5-12.fc42
4
libblkid
2.40.2-8.fc42
2.40.2-9.fc42
4
libsoup3
3.6.1-1.fc42
3.6.3-1.fc42
4
glibc-devel
2.40.9000-27.fc42
2.40.9000-28.fc42
4
info
7.1.1-2.fc42
7.2-1.fc42
B
util-linux-core
2.40.2-8.fc42
2.40.2-9.fc42
B
cyrus-sasl-lib
2.1.28-27.fc41
2.1.28-28.fc42
B
libcom_err
1.47.2-1.fc42
1.47.2-2.fc42
B
rpm-libs
4.20.0-1.fc42
4.20.0-5.fc42
B
rpm-build
4.20.0-1.fc42
4.20.0-5.fc42
B
libfdisk
2.40.2-8.fc42
2.40.2-9.fc42
B
libxcrypt
4.4.37-5.fc42
4.4.38-1.fc42
B
kernel-headers
6.13.0-0.rc6.48.fc42
6.13.0-0.rc7.55.fc42
B
libsmartcols
2.40.2-8.fc42
2.40.2-9.fc42
B
rpm-build-libs
4.20.0-1.fc42
4.20.0-5.fc42
B
util-linux
2.40.2-8.fc42
2.40.2-9.fc42
B
shadow-utils
2:4.17.0-2.fc42
2:4.17.0-3.fc42
B
libxcrypt-devel
4.4.37-5.fc42
4.4.38-1.fc42
B
2025-01-15 07:32:37
Package dependencies resolved successfuly
2025-01-15 06:25:49
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-6543424
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-gtk+x11-1:29.4-46.fc42.x86_64 from primary-f42-build-6543424
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-lucid-1:29.4-46.fc42.x86_64 from primary-f42-build-6543424
    - 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:14:15
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-6543416
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-gtk+x11-1:29.4-46.fc42.x86_64 from primary-f42-build-6543416
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-lucid-1:29.4-46.fc42.x86_64 from primary-f42-build-6543416
    - 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 03:59:50
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-6543405
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-gtk+x11-1:29.4-46.fc42.x86_64 from primary-f42-build-6543405
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-lucid-1:29.4-46.fc42.x86_64 from primary-f42-build-6543405
    - 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:56:17
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-6543400
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-gtk+x11-1:29.4-46.fc42.x86_64 from primary-f42-build-6543400
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-lucid-1:29.4-46.fc42.x86_64 from primary-f42-build-6543400
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-nw-1:29.4-46.fc42.x86_64 from primary-f42-build-6543400
Previous history
Koschei version 2afbb17
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues