Agda

Package information

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

Scheduler parameters

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

kernel-headers
5.14.0-503.19.1.el9_5
5.14.0-503.21.1.el9_5
B

State overview

Groups

This package is not part of any global group.

Most recent builds

complete
127547677
2025-01-04 17:30:25
aarch64
├127547826 ( build.log | root.log )
ppc64le
├127547828 ( build.log | root.log )
x86_64
└127547827 ( build.log | root.log )
ghc-rpm-macros-extra
2.4.4-1.el9
2.7.2-1.el9
1
happy
1.20.0-1.el9
1.20.0-3.el9
1
emacs
1:27.2-6.el9
1:27.2-10.el9_4
1
freetype
2.10.4-6.el9
2.10.4-9.el9
2
librsvg2
2.50.7-1.el9
2.50.7-3.el9
2
harfbuzz
2.7.4-5.el9
2.7.4-10.el9
2
gtk3
3.24.31-2.el9
3.24.31-5.el9
2
alternatives
1.20-2.el9
1.24-1.el9_5.1
2
bash
5.1.8-4.el9
5.1.8-9.el9
2
libX11
1.7.0-7.el9
1.7.0-9.el9
2
alsa-lib
1.2.6.1-3.el9
1.2.12-1.el9
2
zlib
1.2.11-31.el9_0.1
1.2.11-40.el9
2
gdk-pixbuf2
2.42.6-2.el9
2.42.6-4.el9_4
2
libselinux
3.3-2.el9
3.6-1.el9
2
fontconfig
2.13.94-2.el9
2.14.0-2.el9_1
2
dbus-libs
1:1.12.20-5.el9
1:1.12.20-8.el9
2
pango
1.48.7-2.el9
1.48.7-3.el9
2
libX11-xcb
1.7.0-7.el9
1.7.0-9.el9
2
libffi
3.4.2-7.el9
3.4.2-8.el9
2
desktop-file-utils
0.26-5.el9
0.26-6.el9
2
gmp
1:6.2.0-10.el9
1:6.2.0-13.el9
2
libxml2
2.9.13-1.el9_0.1
2.9.13-6.el9_4
2
libtiff
4.2.0-3.el9
4.4.0-13.el9
2
ghc-rpm-macros
2.4.4-1.el9
2.7.2-1.el9
2
libacl
2.3.1-3.el9
2.3.1-4.el9
2
emacs-common
1:27.2-6.el9
1:27.2-10.el9_4
2
systemd-libs
250-6.el9_0
252-46.el9_5.2
2
libXpm
3.5.13-7.el9
3.5.13-10.el9
2
gnutls
3.7.3-9.el9
3.8.3-4.el9_4
2
libgcc
11.2.1-9.4.el9
11.5.0-2.el9
2
libjpeg-turbo
2.0.90-5.el9
2.0.90-7.el9
2
glib2
2.68.4-5.el9
2.68.4-14.el9_4.1
2
ncurses-libs
6.2-8.20210508.el9
6.2-10.20210508.el9
2
glibc
2.34-28.el9_0
2.34-125.el9_5.1
2
libffi-devel
3.4.2-7.el9
3.4.2-8.el9
3
cups-libs
1:2.3.3op2-13.el9_0.1
1:2.3.3op2-31.el9_5
3
ncurses-base
6.2-8.20210508.el9
6.2-10.20210508.el9
3
gdk-pixbuf2-modules
2.42.6-2.el9
2.42.6-4.el9_4
3
libX11-common
1.7.0-7.el9
1.7.0-9.el9
3
libtasn1
4.16.0-7.el9
4.16.0-8.el9_1
3
shared-mime-info
2.1-4.el9
2.1-5.el9
3
libsepol
3.3-2.el9
3.6-1.el9
3
redhat-rpm-config
194-1.el9
208-1.el9
3
libmount
2.37.4-3.el9
2.37.4-20.el9
3
p11-kit
0.24.1-2.el9
0.25.3-3.el9_5
3
libwayland-client
1.19.0-4.el9
1.21.0-1.el9
3
libsoup
2.72.0-8.el9
2.72.0-8.el9_5.2
3
gtk-update-icon-cache
3.24.31-2.el9
3.24.31-5.el9
3
libtracker-sparql
3.1.2-2.el9
3.1.2-3.el9_1
3
pixman
0.40.0-5.el9
0.40.0-6.el9_3
3
emacs-filesystem
1:27.2-6.el9
1:27.2-10.el9_4
3
glibc-minimal-langpack
2.34-28.el9_0
2.34-125.el9_5.1
3
coreutils
8.32-31.el9
8.32-36.el9
3
libgcrypt
1.10.0-4.el9_0
1.10.0-11.el9
3
filesystem
3.16-2.el9
3.16-5.el9
3
pkgconf-pkg-config
1.7.3-9.el9
1.7.3-10.el9
3
libwayland-cursor
1.19.0-4.el9
1.21.0-1.el9
3
sqlite-libs
3.34.1-5.el9
3.34.1-7.el9_3
3
pcre
8.44-3.el9.3
8.44-4.el9
3
glibc-common
2.34-28.el9_0
2.34-125.el9_5.1
3
openssl-libs
1:3.0.1-41.el9_0
1:3.2.2-6.el9_5
3
crypto-policies
20220223-1.git5203b41....
20240828-2.git626aa59....
3
libcap
2.48-8.el9
2.48-9.el9_2
3
nettle
3.7.3-2.el9
3.9.1-1.el9
3
gcc
11.2.1-9.4.el9
11.5.0-2.el9
3
libstdc++
11.2.1-9.4.el9
11.5.0-2.el9
3
pcre2
10.37-5.el9_0
10.40-6.el9
3
libuuid
2.37.4-3.el9
2.37.4-20.el9
3
libwebp
1.2.0-3.el9
1.2.0-8.el9_3
3
fribidi
1.0.10-6.el9
1.0.10-6.el9.2
3
zlib-devel
1.2.11-31.el9_0.1
1.2.11-40.el9
3
libbrotli
1.0.9-6.el9
1.0.9-7.el9_5
3
ghc-filesystem
2.4.4-1.el9
2.7.2-1.el9
3
glibc-gconv-extra
2.34-28.el9_0
2.34-125.el9_5.1
3
hicolor-icon-theme
0.17-12.el9
0.17-13.el9
3
p11-kit-trust
0.24.1-2.el9
0.25.3-3.el9_5
3
gmp-devel
1:6.2.0-10.el9
1:6.2.0-13.el9
3
libwayland-egl
1.19.0-4.el9
1.21.0-1.el9
3
dbus
1:1.12.20-5.el9
1:1.12.20-8.el9
4
pkgconf
1.7.3-9.el9
1.7.3-10.el9
4
avahi-libs
0.8-12.el9
0.8-21.el9
4
python-srpm-macros
3.9-52.el9
3.9-54.el9
4
ca-certificates
2020.2.50-94.el9
2024.2.69_v8.0.303-91.4.el9_4
4
make
1:4.3-7.el9
1:4.3-8.el9
4
file
5.39-8.el9
5.39-16.el9
4
krb5-libs
1.19.1-15.el9_0
1.21.1-4.el9_5
4
pyproject-srpm-macros
1.12.0-1.el9
4
ncurses-devel
6.2-8.20210508.el9
6.2-10.20210508.el9
4
libgusb
0.3.8-1.el9
0.3.8-2.el9
4
annobin
10.54-2.el9
12.65-1.el9
4
expat
2.2.10-12.el9_0.2
2.5.0-3.el9_5.1
4
pcre2-syntax
10.37-5.el9_0
10.40-6.el9
4
gcc-plugin-annobin
11.2.1-9.4.el9
11.5.0-2.el9
4
openssl-fips-provider
3.0.7-6.el9_5
4
binutils
2.35.2-17.el9
2.35.2-54.el9
4
rpm
4.16.1.3-12.el9_0
4.16.1.3-34.el9
4
libblkid
2.37.4-3.el9
2.37.4-20.el9
4
libgomp
11.2.1-9.4.el9
11.5.0-2.el9
4
go-srpm-macros
3.0.9-9.el9
3.6.0-3.el9
4
tzdata
2022c-1.el9_0
2024b-2.el9
4
gmp-c++
1:6.2.0-10.el9
1:6.2.0-13.el9
4
pkgconf-m4
1.7.3-9.el9
1.7.3-10.el9
4
glibc-devel
2.34-28.el9_0
2.34-125.el9_5.1
4
coreutils-common
8.32-31.el9
8.32-36.el9
4
qt5-srpm-macros
5.15.2-9.el9
5.15.9-1.el9
4
setup
2.13.7-6.el9
2.13.7-10.el9
4
zip
3.0-33.el9
3.0-35.el9
4
cpp
11.2.1-9.4.el9
11.5.0-2.el9
4
kernel-srpm-macros
1.0-11.el9
1.0-13.el9
4
findutils
1:4.8.0-5.el9
1:4.8.0-7.el9
4
glibc-headers
2.34-28.el9_0
2.34-125.el9_5.1
B
ncurses
6.2-8.20210508.el9
6.2-10.20210508.el9
B
perl-if
0.60.800-479.el9
0.60.800-481.el9
B
gstreamer1-plugins-base
1.18.4-5.el9
binutils-gold
2.35.2-17.el9
2.35.2-54.el9
B
perl-HTTP-Tiny
0.076-460.el9
0.076-462.el9
B
libglvnd
1:1.3.4-1.el9
perl-overloading
0.02-479.el9
0.02-481.el9
B
mesa-libgbm
21.3.4-2.el9
audit-libs
3.0.7-101.el9_0.2
3.1.5-1.el9
B
webkit2gtk3-jsc
2.34.6-1.el9
device-mapper-libs
9:1.02.183-4.el9
libXv
1.0.11-16.el9
python3-setuptools-wheel
53.0.0-10.el9
perl-Symbol
1.08-479.el9
1.08-481.el9
B
ansible-srpm-macros
1-7.el9
1-16.el9
B
epel-rpm-macros
9-6.el9
9-14.el9
B
perl-File-Basename
2.85-479.el9
2.85-481.el9
B
libogg
2:1.3.4-6.el9
elfutils-libs
0.186-1.el9
0.191-4.el9
B
perl-Net-SSLeay
1.94-1.el9
B
rust-srpm-macros-epel
26.3-1.el9
B
openssl-fips-provider-so
3.0.7-6.el9_5
B
perl-URI
5.09-3.el9
B
qt6-srpm-macros
6.6.2-1.el9
B
rpmautospec-rpm-macros
0.7.3-1.el9
B
go-srpm-macros-epel
3.6.0.1-1.el9
B
rpm-plugin-selinux
4.16.1.3-34.el9
B
policycoreutils
3.6-2.1.el9
B
fpc-srpm-macros
1.3-7.el9
B
perl-IO-Socket-IP
0.41-5.el9
B
selinux-policy
38.1.45-3.el9_5
B
forge-srpm-macros
0.4.0-1.el9
B
perl-FileHandle
2.03-481.el9
B
perl-Data-Dumper
2.174-462.el9
B
perl-IO-Socket-SSL
2.073-2.el9
B
adobe-source-code-pro-fonts
2.030.1.050-12.el9.1
B
perl-Mozilla-CA
20200520-6.el9
B
perl-base
2.27-481.el9
B
debugedit
5.0-5.el9
B
perl-Digest
1.19-4.el9
B
perl-Digest-MD5
2.58-4.el9
B
perl-libnet
3.13-4.el9
B
perl-AutoLoader
5.74-481.el9
B
perl-B
1.80-481.el9
B
libselinux-utils
3.6-1.el9
B
rpm-build-libs
4.16.1.3-12.el9_0
4.16.1.3-34.el9
B
selinux-policy-targeted
38.1.45-3.el9_5
B
systemd-pam
250-6.el9_0
252-46.el9_5.2
B
python3-pip-wheel
21.2.3-6.el9
epel-release
9-4.el9
9-9.el9
B
webkit2gtk3
2.34.6-1.el9
xdg-dbus-proxy
0.1.2-6.el9
libedit
3.1-37.20210216cv...
3.1-38.20210216cv...
B
openssl
1:3.0.1-41.el9_0
1:3.2.2-6.el9_5
B
shadow-utils
2:4.9-3.el9
2:4.9-10.el9_5
B
libsecret
0.20.4-4.el9
hunspell-en-US
0.20140811.1-20.el9
perl-Getopt-Std
1.12-479.el9
1.12-481.el9
B
cyrus-sasl-lib
2.1.27-20.el9
2.1.27-21.el9
B
libcurl
7.76.1-14.el9_0.5
7.76.1-31.el9
B
elfutils-libelf
0.186-1.el9
0.191-4.el9
B
perl-Errno
1.30-479.el9
1.30-481.el9
B
device-mapper
9:1.02.183-4.el9
acl
2.3.1-3.el9
2.3.1-4.el9
B
elfutils-debuginfod-client
0.186-1.el9
0.191-4.el9
B
file-libs
5.39-8.el9
5.39-16.el9
B
iso-codes
4.6.0-3.el9
mesa-libglapi
21.3.4-2.el9
which
2.21-27.el9
2.21-29.el9
B
libdrm
2.4.108-1.el9
libfdisk
2.37.4-3.el9
2.37.4-20.el9
B
libxshmfence
1.3-10.el9
wpebackend-fdo
1.10.0-2.el9
perl-SelectSaver
1.02-479.el9
1.02-481.el9
B
perl-IPC-Open3
1.21-479.el9
1.21-481.el9
B
libssh
0.9.6-3.el9
0.10.4-13.el9
B
harfbuzz-icu
2.7.4-5.el9
llvm-libs
13.0.1-1.el9
18.1.8-3.el9
B
libglvnd-glx
1:1.3.4-1.el9
bubblewrap
0.4.1-6.el9
libcom_err
1.46.5-2.el9
1.46.5-5.el9
B
libpciaccess
0.16-6.el9
elfutils-default-yama-scope
0.186-1.el9
0.191-4.el9
B
perl-Fcntl
1.13-479.el9
1.13-481.el9
B
graphene
1.10.6-2.el9
woff2
1.0.2-14.el9
json-c
0.14-11.el9
libxslt
1.1.34-9.el9
kmod-libs
28-7.el9
28-10.el9
B
ncurses-c++-libs
6.2-8.20210508.el9
6.2-10.20210508.el9
B
kernel-headers
5.14.0-70.22.1.el9_0
5.14.0-503.19.1.el9_5
B
libssh-config
0.9.6-3.el9
0.10.4-13.el9
B
libvisual
1:0.4.0-34.el9
cryptsetup-libs
2.4.3-4.el9
perl-vars
1.05-479.el9
1.05-481.el9
B
libglvnd-egl
1:1.3.4-1.el9
libwpe
1.10.0-3.el9
enchant2
2.2.15-6.el9
libeconf
0.4.1-2.el9
0.4.1-4.el9
B
util-linux-core
2.37.4-3.el9
2.37.4-20.el9
B
openldap
2.4.59-4.el9_0
2.6.6-3.el9
B
libXxf86vm
1.1.4-18.el9
libdb
5.3.28-53.el9
5.3.28-54.el9
B
redhat-release
9.0-2.17.el9
9.5-0.6.el9
B
hunspell
1.7.0-11.el9
perl-overload
1.31-479.el9
1.31-481.el9
B
libwayland-server
1.19.0-4.el9
libusbx
1.0.24-4.el9
1.0.26-1.el9
B
util-linux
2.37.4-3.el9
2.37.4-20.el9
B
libnghttp2
1.43.0-5.el9
1.43.0-6.el9
B
orc
0.4.31-6.el9
rpm-libs
4.16.1.3-12.el9_0
4.16.1.3-34.el9
B
lua-libs
5.4.2-4.el9
5.4.4-4.el9
B
opus
1.3.1-10.el9
libarchive
3.5.3-2.el9_0
3.5.3-4.el9
B
libevent
2.1.12-6.el9
2.1.12-8.el9_4
B
curl
7.76.1-14.el9_0.5
7.76.1-31.el9
B
systemd
250-6.el9_0
252-46.el9_5.2
B
systemd-rpm-macros
250-6.el9_0
252-46.el9_5.2
B
gstreamer1
1.18.4-4.el9
mesa-libEGL
21.3.4-2.el9
python3-libs
3.9.10-2.el9
libpkgconf
1.7.3-9.el9
1.7.3-10.el9
B
perl-mro
1.23-479.el9
1.23-481.el9
B
dbus-common
1:1.12.20-5.el9
1:1.12.20-8.el9
B
perl-File-stat
1.09-479.el9
1.09-481.el9
B
perl-Scalar-List-Utils
4:1.56-461.el9
4:1.56-462.el9
B
perl-interpreter
4:5.32.1-479.el9
4:5.32.1-481.el9
B
libnotify
0.7.9-8.el9
perl-subs
1.03-479.el9
1.03-481.el9
B
libtheora
1:1.1.1-31.el9
perl-IO
1.43-479.el9
1.43-481.el9
B
perl-POSIX
1.94-479.el9
1.94-481.el9
B
tar
2:1.34-3.el9
2:1.34-7.el9
B
gdb-minimal
10.2-9.el9
14.2-3.el9
B
libvorbis
1:1.3.7-5.el9
dbus-broker
28-5.el9
28-7.el9
B
openjpeg2
2.4.0-6.el9
gzip
1.10-9.el9_0
1.12-1.el9
B
keyutils-libs
1.6.1-4.el9
1.6.3-1.el9
B
gsettings-desktop-schemas
40.0-4.el9
40.0-6.el9
B
pam
1.5.1-9.el9
1.5.1-22.el9_5
B
perl-libs
4:5.32.1-479.el9
4:5.32.1-481.el9
B
python3
3.9.10-2.el9
libsmartcols
2.37.4-3.el9
2.37.4-20.el9
B
hunspell-filesystem
1.7.0-11.el9
rpm-build
4.16.1.3-12.el9_0
4.16.1.3-34.el9
B
unzip
6.0-56.el9
6.0-57.el9
B
libglvnd-opengl
1:1.3.4-1.el9
hwdata
0.348-9.3.el9
perl-Class-Struct
0.66-479.el9
0.66-481.el9
B
elfutils
0.186-1.el9
0.191-4.el9
B
libsemanage
3.3-2.el9
3.6-2.1.el9_5
B
mesa-libGL
21.3.4-2.el9
gdbm-libs
1:1.19-4.el9
1:1.23-1.el9
B
hyphen
2.8.8-17.el9
2025-01-04 16:18:54
Package dependencies resolved successfuly
Koschei version 2afbb17
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues