Agda-stdlib

Package information

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

Scheduler parameters

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

annobin-plugin-gcc
12.94-1.fc43
12.95-1.fc43
3
gcc-plugin-annobin
15.1.1-1.fc43
15.1.1-2.fc43
3
gcc
15.1.1-1.fc43
15.1.1-2.fc43
3
coreutils
9.7-1.fc43
9.7-2.fc43
3
libgcc
15.1.1-1.fc43
15.1.1-2.fc43
3
libgomp
15.1.1-1.fc43
15.1.1-2.fc43
4
gnupg2
2.4.7-3.fc43
2.4.8-1.fc43
4
coreutils-common
9.7-1.fc43
9.7-2.fc43
4
libstdc++
15.1.1-1.fc43
15.1.1-2.fc43
4
cpp
15.1.1-1.fc43
15.1.1-2.fc43
4
annobin-docs
12.94-1.fc43
12.95-1.fc43
4
sqlite-libs
3.49.1-1.fc43
3.49.2-1.fc43
B
kernel-headers
6.15.0-0.rc6.49.fc43
6.15.0-0.rc7.57.fc43
B

State overview

Groups

This package is not part of any global group.

Most recent builds

complete
132756672
2025-05-15 06:41:39
ppc64le
└132756806 ( build.log | root.log )
redhat-rpm-config
343-4.fc43
343-5.fc43
2
libffi
3.4.7-4.fc43
3.4.8-1.fc43
2
glibc
2.41.9000-12.fc43
2.41.9000-13.fc43
2
annobin-plugin-gcc
12.93-1.fc43
12.94-1.fc43
3
filesystem
3.18-40.fc43
3.18-44.fc43
3
glibc-gconv-extra
2.41.9000-12.fc43
2.41.9000-13.fc43
3
glibc-minimal-langpack
2.41.9000-12.fc43
2.41.9000-13.fc43
3
libffi-devel
3.4.7-4.fc43
3.4.8-1.fc43
3
filesystem-srpm-macros
3.18-40.fc43
3.18-44.fc43
3
gpgverify
2.1-3.fc43
3
rpm
5.99.90-4.fc43
5.99.90-5.fc43
3
glibc-common
2.41.9000-12.fc43
2.41.9000-13.fc43
3
alternatives
1.32-1.fc43
1.33-1.fc43
4
annobin-docs
12.93-1.fc43
12.94-1.fc43
4
setup
2.15.0-23.fc43
2.15.0-25.fc43
4
rpm-build
5.99.90-4.fc43
5.99.90-5.fc43
4
rpm-libs
5.99.90-4.fc43
5.99.90-5.fc43
4
systemd-libs
257.5-2.fc43
257.5-5.fc43
4
elfutils-libelf
0.192-8.fc42
0.193-2.fc43
4
curl
8.13.0-1.fc43
8.14.0~rc1-1.fc43
4
elfutils-debuginfod-client
0.192-8.fc42
0.193-2.fc43
4
glibc-devel
2.41.9000-12.fc43
2.41.9000-13.fc43
4
libgcrypt
1.11.0-5.fc42
1.11.1-1.fc43
B
rpm-build-libs
5.99.90-4.fc43
5.99.90-5.fc43
B
elfutils-default-yama-scope
0.192-8.fc42
0.193-2.fc43
B
elfutils
0.192-8.fc42
0.193-2.fc43
B
elfutils-libs
0.192-8.fc42
0.193-2.fc43
B
rpm-sign-libs
5.99.90-4.fc43
5.99.90-5.fc43
B
libcurl
8.13.0-1.fc43
8.14.0~rc1-1.fc43
B
kernel-headers
6.15.0-0.rc2.22.fc43
6.15.0-0.rc6.49.fc43
B
systemd-standalone-sysusers
257.5-2.fc43
257.5-5.fc43
B
sqlite-libs
3.49.0-1.fc43
3.49.1-1.fc43
B
diffutils
3.12-1.fc43
3.12-2.fc43
B
complete
132216738
2025-05-02 13:57:27
ppc64le
└132216819 ( build.log | root.log )
ghc-rpm-macros
2.9.0-1.fc43
2.9.1-1.fc43
1
glibc
2.41.9000-10.fc43
2.41.9000-12.fc43
2
redhat-rpm-config
343-3.fc43
343-4.fc43
2
gcc
15.0.1-0.14.fc43
15.1.1-1.fc43
3
glibc-minimal-langpack
2.41.9000-10.fc43
2.41.9000-12.fc43
3
tree-sitter-srpm-macros
0.2.2-1.fc43
0.2.4-1.fc43
3
rpm
5.99.90-3.fc43
5.99.90-4.fc43
3
gcc-plugin-annobin
15.0.1-0.14.fc43
15.1.1-1.fc43
3
glibc-gconv-extra
2.41.9000-10.fc43
2.41.9000-12.fc43
3
glibc-common
2.41.9000-10.fc43
2.41.9000-12.fc43
3
libgcc
15.0.1-0.14.fc43
15.1.1-1.fc43
3
rpm-libs
5.99.90-3.fc43
5.99.90-4.fc43
4
cpp
15.0.1-0.14.fc43
15.1.1-1.fc43
4
libgomp
15.0.1-0.14.fc43
15.1.1-1.fc43
4
glibc-devel
2.41.9000-10.fc43
2.41.9000-12.fc43
4
libstdc++
15.0.1-0.14.fc43
15.1.1-1.fc43
4
rpm-build
5.99.90-3.fc43
5.99.90-4.fc43
4
gdb-minimal
16.2-3.fc43
16.3-1.fc43
B
fedora-repos-rawhide
43-0.1
43-0.2
B
libgpg-error
1.54-1.fc43
1.55-1.fc43
B
fedora-repos
43-0.1
43-0.2
B
fedora-release-identity-basic
43-0.13
43-0.15
B
fedora-release
43-0.13
43-0.15
B
fedora-gpg-keys
43-0.1
43-0.2
B
fedora-release-common
43-0.13
43-0.15
B
rpm-build-libs
5.99.90-3.fc43
5.99.90-4.fc43
B
rpm-sign-libs
5.99.90-3.fc43
5.99.90-4.fc43
B
complete
131797701
2025-04-21 07:00:41
s390x
└131797763 ( build.log | root.log )
ghc-rpm-macros
2.8.1-2.fc43
2.9.0-1.fc43
1
glibc
2.41.9000-9.fc43
2.41.9000-10.fc43
2
glibc-common
2.41.9000-9.fc43
2.41.9000-10.fc43
3
grep
3.11-10.fc42
3.12-1.fc43
3
gcc-plugin-annobin
15.0.1-0.12.fc43
15.0.1-0.14.fc43
3
glibc-minimal-langpack
2.41.9000-9.fc43
2.41.9000-10.fc43
3
qt6-srpm-macros
6.9.0-1.fc43
6.9.0-2.fc43
3
gcc
15.0.1-0.12.fc43
15.0.1-0.14.fc43
3
libgcc
15.0.1-0.12.fc43
15.0.1-0.14.fc43
3
filesystem
3.18-39.fc43
3.18-40.fc43
3
rpm
4.20.1-3.fc43
5.99.90-3.fc43
3
glibc-gconv-extra
2.41.9000-9.fc43
2.41.9000-10.fc43
3
filesystem-srpm-macros
3.18-39.fc43
3.18-40.fc43
3
libcap
2.73-2.fc42
2.76-1.fc43
4
glibc-devel
2.41.9000-9.fc43
2.41.9000-10.fc43
4
rpm-libs
4.20.1-3.fc43
5.99.90-3.fc43
4
libstdc++
15.0.1-0.12.fc43
15.0.1-0.14.fc43
4
cpp
15.0.1-0.12.fc43
15.0.1-0.14.fc43
4
openssl-libs
1:3.5.0-2.fc43
1:3.5.0-3.fc43
4
rpm-build
4.20.1-3.fc43
5.99.90-3.fc43
4
libgomp
15.0.1-0.12.fc43
15.0.1-0.14.fc43
4
libgcrypt
1.11.0-5.fc42
B
libksba
1.6.7-3.fc42
B
libassuan
2.5.7-3.fc42
B
npth
1.8-2.fc42
B
tpm2-tss
4.1.3-7.fc43
B
nettle
3.10.1-1.fc43
B
gnupg2
2.4.7-3.fc43
B
libusb1
1.0.28-2.fc43
B
kernel-headers
6.14.0-63.fc43
6.15.0-0.rc2.22.fc43
B
rpm-build-libs
4.20.1-3.fc43
5.99.90-3.fc43
B
crypto-policies
20250402-1.git86c0178....
20250402-2.git86c0178....
B
gnutls
3.8.9-5.fc43
B
libgpg-error
1.54-1.fc43
B
rpm-sign-libs
5.99.90-3.fc43
B
ima-evm-utils-libs
1.6.2-5.fc43
B
libfsverity
1.6-2.fc42
B
Real build: Agda-stdlib-2.1.1-1.fc43
complete
131524534
2025-04-14 12:35:17
ppc64le
└131524595 ( build.log | root.log )
tree-sitter-srpm-macros
0.2.1-1.fc43
0.2.2-1.fc43
3
failed
131445485
2025-04-12 22:33:34
ppc64le
└131445647 ( build.log | root.log )
ghc-rpm-macros
2.8.1-1.fc43
2.8.1-2.fc43
1
ghc-Cabal-devel
3.10.3.0-146.fc43
3.10.3.0-148.fc43
1
Agda
2.6.4.3-53.fc42
2.7.0.1-54.fc43
1
ghc-filemanip-devel
0.3.6.3-42.fc42
0.3.6.3-44.fc43
1
ghc-mtl-devel
2.3.1-146.fc43
2.3.1-148.fc43
2
Agda-common
2.6.4.3-53.fc42
2.7.0.1-54.fc43
2
ghc-time-devel
1.12.2-146.fc43
1.12.2-148.fc43
2
ghc-process-devel
1.6.19.0-146.fc43
1.6.25.0-148.fc43
2
ghc-array-devel
0.5.6.0-146.fc43
0.5.8.0-148.fc43
2
ghc-deepseq-devel
1.4.8.1-146.fc43
1.5.1.0-148.fc43
2
ghc-filepath-devel
1.4.300.1-146.fc43
1.4.301.0-148.fc43
2
ghc-unix-compat-devel
0.7.2-2.fc42
0.7.3-2.fc43
2
ghc-base-devel
4.18.2.1-146.fc43
4.19.2.0-148.fc43
2
ghc-filemanip
0.3.6.3-42.fc42
0.3.6.3-44.fc43
2
ghc-Cabal-syntax-devel
3.10.3.0-146.fc43
3.10.3.0-148.fc43
2
ghc-compiler
9.6.6-146.fc43
9.8.4-148.fc43
2
ghc-text-devel
2.0.2-146.fc43
2.1.1-148.fc43
2
ghc-transformers-devel
0.6.1.0-146.fc43
0.6.1.0-148.fc43
2
ghc-bytestring-devel
0.11.5.3-146.fc43
0.12.1.0-148.fc43
2
ghc-Cabal
3.10.3.0-146.fc43
3.10.3.0-148.fc43
2
ghc-containers-devel
0.6.7-146.fc43
0.6.8-148.fc43
2
ghc-directory-devel
1.3.8.5-146.fc43
1.3.8.5-148.fc43
2
ghc-parsec-devel
3.1.16.1-146.fc43
3.1.17.0-148.fc43
2
ghc-pretty-devel
1.1.3.6-146.fc43
1.1.3.6-148.fc43
2
ghc-unix-devel
2.8.4.0-146.fc43
2.8.6.0-148.fc43
2
ghc-semaphore-compat
1.0.0-148.fc43
3
ghc-filesystem
9.6.6-146.fc43
9.8.4-148.fc43
3
ghc-array
0.5.6.0-146.fc43
0.5.8.0-148.fc43
3
ghc-stm
2.5.1.0-146.fc43
2.5.3.1-148.fc43
3
libgcc
15.0.1-0.11.fc43
15.0.1-0.12.fc43
3
ghc-pretty
1.1.3.6-146.fc43
1.1.3.6-148.fc43
3
ghc-binary-devel
0.8.9.1-146.fc43
0.8.9.1-148.fc43
3
ghc-transformers
0.6.1.0-146.fc43
0.6.1.0-148.fc43
3
ghc-filepath
1.4.300.1-146.fc43
1.4.301.0-148.fc43
3
ghc-ghc-bignum
1.3-146.fc43
1.3-148.fc43
3
ghc-mtl
2.3.1-146.fc43
2.3.1-148.fc43
3
ghc-ghc-boot
9.6.6-146.fc43
9.8.4-148.fc43
3
ghc-unix
2.8.4.0-146.fc43
2.8.6.0-148.fc43
3
ghc-binary
0.8.9.1-146.fc43
0.8.9.1-148.fc43
3
ghc-ghci
9.6.6-146.fc43
9.8.4-148.fc43
3
ghc-haskeline
0.8.2.1-146.fc43
0.8.2.1-148.fc43
3
ghc-bytestring
0.11.5.3-146.fc43
0.12.1.0-148.fc43
3
ghc-ghc-bignum-devel
1.3-146.fc43
1.3-148.fc43
3
gcc-plugin-annobin
15.0.1-0.11.fc43
15.0.1-0.12.fc43
3
ghc-template-haskell
2.20.0.0-146.fc43
2.21.0.0-148.fc43
3
ghc-ghc
9.6.6-146.fc43
9.8.4-148.fc43
3
ghc-containers
0.6.7-146.fc43
0.6.8-148.fc43
3
ghc-text
2.0.2-146.fc43
2.1.1-148.fc43
3
ghc-Cabal-syntax
3.10.3.0-146.fc43
3.10.3.0-148.fc43
3
coreutils
9.6-2.fc43
9.7-1.fc43
3
ghc-deepseq
1.4.8.1-146.fc43
1.5.1.0-148.fc43
3
ghc-time
1.12.2-146.fc43
1.12.2-148.fc43
3
gcc
15.0.1-0.11.fc43
15.0.1-0.12.fc43
3
ghc-base
4.18.2.1-146.fc43
4.19.2.0-148.fc43
3
ghc-terminfo
0.4.1.6-146.fc43
0.4.1.6-148.fc43
3
ghc-exceptions-devel
0.10.7-146.fc43
0.10.7-148.fc43
3
ghc-hpc
0.6.2.0-146.fc43
0.7.0.0-148.fc43
3
ghc-ghc-boot-th
9.6.6-146.fc43
9.8.4-148.fc43
3
ghc-ghc-heap
9.6.6-146.fc43
9.8.4-148.fc43
3
ghc-process
1.6.19.0-146.fc43
1.6.25.0-148.fc43
3
ghc-directory
1.3.8.5-146.fc43
1.3.8.5-148.fc43
3
ghc-parsec
3.1.16.1-146.fc43
3.1.17.0-148.fc43
3
tree-sitter-srpm-macros
0.2.0-1.fc43
0.2.1-1.fc43
3
ghc-xhtml
3000.2.2.1-146.fc43
3000.2.2.1-148.fc43
3
ghc-unix-compat
0.7.2-2.fc42
0.7.3-2.fc43
3
ghc-exceptions
0.10.7-146.fc43
0.10.7-148.fc43
3
ghc-template-haskell-devel
2.20.0.0-146.fc43
2.21.0.0-148.fc43
3
coreutils-common
9.6-2.fc43
9.7-1.fc43
4
cpp
15.0.1-0.11.fc43
15.0.1-0.12.fc43
4
libgomp
15.0.1-0.11.fc43
15.0.1-0.12.fc43
4
ghc-ghc-boot-th-devel
9.6.6-146.fc43
9.8.4-148.fc43
4
ghc-stm-devel
2.5.1.0-146.fc43
2.5.3.1-148.fc43
4
libstdc++
15.0.1-0.11.fc43
15.0.1-0.12.fc43
4
libicu
76.1-4.fc42
diffutils
3.11-3.fc43
3.12-1.fc43
B
ghc-libiserv
9.6.6-146.fc43
fedora-release-common
43-0.12
43-0.13
B
fedora-release
43-0.12
43-0.13
B
fedora-release-identity-basic
43-0.12
43-0.13
B
complete
131391853
2025-04-11 02:44:22
x86_64
└131391946 ( build.log | root.log )
redhat-rpm-config
342-2.fc42
343-3.fc43
2
libffi
3.4.7-3.fc43
3.4.7-4.fc43
2
glibc
2.41.9000-7.fc43
2.41.9000-9.fc43
2
glibc-common
2.41.9000-7.fc43
2.41.9000-9.fc43
3
libffi-devel
3.4.7-3.fc43
3.4.7-4.fc43
3
glibc-gconv-extra
2.41.9000-7.fc43
2.41.9000-9.fc43
3
glibc-minimal-langpack
2.41.9000-7.fc43
2.41.9000-9.fc43
3
qt6-srpm-macros
6.9.0~rc-1.fc43
6.9.0-1.fc43
3
systemd-libs
257.4-3.fc43
257.5-2.fc43
4
glibc-devel
2.41.9000-7.fc43
2.41.9000-9.fc43
4
curl
8.13.0~rc3-1.fc43
8.13.0-1.fc43
4
fedora-release-identity-basic
43-0.8
43-0.12
B
fedora-release
43-0.8
43-0.12
B
libxcrypt-devel
4.4.38-6.fc43
4.4.38-7.fc43
B
crypto-policies
20250324-1.git3714354....
20250402-1.git86c0178....
B
libcurl
8.13.0~rc3-1.fc43
8.13.0-1.fc43
B
libxcrypt
4.4.38-6.fc43
4.4.38-7.fc43
B
gawk
5.3.1-1.fc42
5.3.2-1.fc43
B
xz-libs
1:5.8.0-1.fc43
1:5.8.1-1.fc43
B
debugedit
5.1-5.fc43
5.1-6.fc43
B
fedora-release-common
43-0.8
43-0.12
B
xz
1:5.8.0-1.fc43
1:5.8.1-1.fc43
B
systemd-standalone-sysusers
257.4-3.fc43
257.5-2.fc43
B
complete
131058885
2025-04-03 13:04:28
ppc64le
└131059014 ( build.log | root.log )
ghc-rpm-macros
2.8.0-1.fc43
2.8.1-1.fc43
1
glibc
2.41.9000-6.fc43
2.41.9000-7.fc43
2
libffi
3.4.7-2.fc43
3.4.7-3.fc43
2
gcc-plugin-annobin
15.0.1-0.10.fc43
15.0.1-0.11.fc43
3
qt6-srpm-macros
6.8.2-2.fc43
6.9.0~rc-1.fc43
3
glibc-gconv-extra
2.41.9000-6.fc43
2.41.9000-7.fc43
3
glibc-minimal-langpack
2.41.9000-6.fc43
2.41.9000-7.fc43
3
rpm
4.20.1-1.fc43
4.20.1-3.fc43
3
gcc
15.0.1-0.10.fc43
15.0.1-0.11.fc43
3
filesystem-srpm-macros
3.18-38.fc43
3.18-39.fc43
3
libffi-devel
3.4.7-2.fc43
3.4.7-3.fc43
3
libstdc++
15.0.1-0.10.fc43
15.0.1-0.11.fc43
3
libgcc
15.0.1-0.10.fc43
15.0.1-0.11.fc43
3
glibc-common
2.41.9000-6.fc43
2.41.9000-7.fc43
3
filesystem
3.18-38.fc43
3.18-39.fc43
3
libgomp
15.0.1-0.10.fc43
15.0.1-0.11.fc43
4
cpp
15.0.1-0.10.fc43
15.0.1-0.11.fc43
4
rpm-libs
4.20.1-1.fc43
4.20.1-3.fc43
4
rpm-build
4.20.1-1.fc43
4.20.1-3.fc43
4
glibc-devel
2.41.9000-6.fc43
2.41.9000-7.fc43
4
patch
2.7.6-26.fc42
2.8-1.fc43
B
rpm-sequoia
1.7.0-5.fc43
1.8.0-1.fc43
B
gdb-minimal
16.2-1.fc43
16.2-3.fc43
B
rpm-build-libs
4.20.1-1.fc43
4.20.1-3.fc43
B
complete
130831355
2025-03-28 07:02:34
x86_64
└130831505 ( build.log | root.log )
ghc-rpm-macros
2.7.8-1.fc43
2.8.0-1.fc43
1
glibc
2.41.9000-2.fc43
2.41.9000-6.fc43
2
pyproject-srpm-macros
1.17.0-1.fc43
1.18.1-1.fc43
3
annobin-plugin-gcc
12.92-1.fc43
12.93-1.fc43
3
go-srpm-macros
3.6.0-6.fc42
3.6.0-7.fc43
3
glibc-gconv-extra
2.41.9000-2.fc43
2.41.9000-6.fc43
3
glibc-minimal-langpack
2.41.9000-2.fc43
2.41.9000-6.fc43
3
python-srpm-macros
3.13-4.fc42
3.13-5.fc43
3
qt5-srpm-macros
5.15.15-1.fc42
5.15.16-1.fc43
3
glibc-common
2.41.9000-2.fc43
2.41.9000-6.fc43
3
glibc-devel
2.41.9000-2.fc43
2.41.9000-6.fc43
4
mpfr
4.2.1-6.fc42
4.2.2-1.fc43
4
openssl-libs
1:3.2.4-3.fc43
1:3.5.0-2.fc43
4
setup
2.15.0-14.fc43
2.15.0-23.fc43
4
annobin-docs
12.92-1.fc43
12.93-1.fc43
4
curl
8.13.0~rc1-2.fc43
8.13.0~rc3-1.fc43
4
fedora-release-common
43-0.7
43-0.8
B
kernel-headers
6.14.0-0.rc6.49.fc43
6.14.0-63.fc43
B
openldap
2.6.9-3.fc42
2.6.9-5.fc43
B
fedora-release
43-0.7
43-0.8
B
diffutils
3.10-9.fc42
3.11-3.fc43
B
xz-libs
1:5.6.3-3.fc42
1:5.8.0-1.fc43
B
xz
1:5.6.3-3.fc42
1:5.8.0-1.fc43
B
libcurl
8.13.0~rc1-2.fc43
8.13.0~rc3-1.fc43
B
shadow-utils
2:4.17.0-4.fc42
2:4.17.4-1.fc43
B
crypto-policies
20250305-1.gita35b0fa....
20250324-1.git3714354....
B
fedora-release-identity-basic
43-0.7
43-0.8
B
Previous history
Koschei version d778e3e
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues