Koschei - Agda-stdlib

Package information

State

Packages

Bodhi

Dist-git

Bugzilla

Koji

File new FTBFS bug

Scheduler parameters

Tracked by Koschei

True

Current priority

2459

Manual priority

Static priority

Arch override

None

Skip resolution

False

Configure scheduling

Dependency changes since last build

libgcc

15.2.1-7.fc43

15.3.1-1.fc43

rpm

6.0.1-1.fc43

6.0.2-1.fc43

coreutils

9.7-9.fc43

9.7-10.fc43

package-notes-srpm-macros

0.18-1.fc43

0.20-1.fc43

binutils

2.45.1-4.fc43

2.45.1-5.fc43

gcc-plugin-annobin

15.2.1-7.fc43

15.3.1-1.fc43

rust-srpm-macros

28.4-1.fc43

28.5-1.fc43

gcc

15.2.1-7.fc43

15.3.1-1.fc43

cpp

15.2.1-7.fc43

15.3.1-1.fc43

rpm-build

6.0.1-1.fc43

6.0.2-1.fc43

libattr

2.5.2-6.fc43

2.6.0-1.fc43

coreutils-common

9.7-9.fc43

9.7-10.fc43

libstdc++

15.2.1-7.fc43

15.3.1-1.fc43

curl

8.15.0-7.fc43

8.15.0-8.fc43

libgomp

15.2.1-7.fc43

15.3.1-1.fc43

systemd-libs

258.8-1.fc43

258.10-1.fc43

libacl

2.3.2-4.fc43

2.4.0-1.fc43

openssl-libs

1:3.5.7-1.fc43

1:3.5.7-2.fc43

rpm-libs

6.0.1-1.fc43

6.0.2-1.fc43

libcurl

8.15.0-7.fc43

8.15.0-8.fc43

systemd-standalone-sysusers

258.8-1.fc43

258.10-1.fc43

audit-libs

4.1.4-1.fc43

4.2.1-1.fc43

libuuid

2.41.4-7.fc43

2.41.5-1.fc43

libblkid

2.41.4-7.fc43

2.41.5-1.fc43

rpm-build-libs

6.0.1-1.fc43

6.0.2-1.fc43

rpm-sequoia

1.10.2-2.fc43

1.10.2-4.fc43

liblastlog2

2.41.4-7.fc43

2.41.5-1.fc43

libfdisk

2.41.4-7.fc43

2.41.5-1.fc43

libssh

0.11.4-1.fc43

0.11.5-1.fc43

util-linux-core

2.41.4-7.fc43

2.41.5-1.fc43

gdb-minimal

17.1-4.fc43

17.2-2.fc43

util-linux

2.41.4-7.fc43

2.41.5-1.fc43

p11-kit

0.26.2-1.fc43

0.26.4-1.fc43

rpm-sign-libs

6.0.1-1.fc43

6.0.2-1.fc43

libsmartcols

2.41.4-7.fc43

2.41.5-1.fc43

kernel-headers

7.0.6-100.fc43

7.1.3-100.fc43

libmount

2.41.4-7.fc43

2.41.5-1.fc43

pam-libs

1.7.1-4.fc43

1.7.1-5.fc43

p11-kit-trust

0.26.2-1.fc43

0.26.4-1.fc43

libssh-config

0.11.4-1.fc43

0.11.5-1.fc43

show 30 more collapse

State overview

Groups

This package is not part of any global group.

Most recent builds

Real build: Agda-stdlib-2.3-4.fc43

146961492

2026-06-23 08:50:15

ppc64le

└146961530 ( build.log | root.log )

redhat-rpm-config

343-12.fc43

343-14.fc43

cmake-srpm-macros

3.31.11-1.fc43

pyproject-srpm-macros

1.22.1-1.fc43

1.22.2-1.fc43

package-notes-srpm-macros

0.5-15.fc43

0.18-1.fc43

coreutils

9.7-8.fc43

9.7-9.fc43

gnome-srpm-macros

1.0-1.fc43

systemd-libs

258.7-1.fc43

258.8-1.fc43

openssl-libs

1:3.5.4-3.fc43

1:3.5.7-1.fc43

coreutils-common

9.7-8.fc43

9.7-9.fc43

systemd-standalone-sysusers

258.7-1.fc43

258.8-1.fc43

libusb1

1.0.29-4.fc43

1.0.30-1.fc43

show 1 more collapse

146092024

2026-05-31 11:56:05

aarch64

└146092045 ( build.log | root.log )

glibc

2.42-10.fc43

2.42-13.fc43

redhat-rpm-config

343-11.fc43

343-12.fc43

glibc-gconv-extra

2.42-10.fc43

2.42-13.fc43

pyproject-srpm-macros

1.18.7-1.fc43

1.22.1-1.fc43

glibc-minimal-langpack

2.42-10.fc43

2.42-13.fc43

qt6-srpm-macros

6.10.2-1.fc43

6.10.3-1.fc43

glibc-common

2.42-10.fc43

2.42-13.fc43

elfutils-debuginfod-client

0.194-1.fc43

0.195-1.fc43

curl

8.15.0-5.fc43

8.15.0-7.fc43

glibc-devel

2.42-10.fc43

2.42-13.fc43

openssl-libs

1:3.5.4-2.fc43

1:3.5.4-3.fc43

libcap

2.76-3.fc43

2.76-4.fc43

elfutils-libelf

0.194-1.fc43

0.195-1.fc43

libcap-ng

0.9.2-1.fc43

0.9.3-1.fc43

libmount

2.41.3-7.fc43

2.41.4-7.fc43

gnutls

3.8.12-1.fc43

3.8.13-1.fc43

libsmartcols

2.41.3-7.fc43

2.41.4-7.fc43

util-linux

2.41.3-7.fc43

2.41.4-7.fc43

libuuid

2.41.3-7.fc43

2.41.4-7.fc43

rpm-sequoia

1.10.1-1.fc43

1.10.2-2.fc43

elfutils-libs

0.194-1.fc43

0.195-1.fc43

fedora-release-identity-basic

43-26

43-27

krb5-libs

1.22.2-3.fc43

1.22.2-4.fc43

libcurl

8.15.0-5.fc43

8.15.0-7.fc43

libblkid

2.41.3-7.fc43

2.41.4-7.fc43

fedora-release

43-26

43-27

fedora-release-common

43-26

43-27

elfutils-default-yama-scope

0.194-1.fc43

0.195-1.fc43

libgcrypt

1.11.1-3.fc43

1.11.1-4.fc43

util-linux-core

2.41.3-7.fc43

2.41.4-7.fc43

elfutils

0.194-1.fc43

0.195-1.fc43

kernel-headers

6.19.6-200.fc43

7.0.6-100.fc43

liblastlog2

2.41.3-7.fc43

2.41.4-7.fc43

libfdisk

2.41.3-7.fc43

2.41.4-7.fc43

show 24 more collapse

144180513

2026-04-08 06:41:09

aarch64

└144180607 ( build.log | root.log )

ghc-rpm-macros

2.9.3-1.fc43

2.11-1.fc43

glibc

2.42-9.fc43

2.42-10.fc43

zlib-ng-compat

2.3.2-2.fc43

2.3.3-2.fc43

glibc-common

2.42-9.fc43

2.42-10.fc43

pyproject-srpm-macros

1.18.6-1.fc43

1.18.7-1.fc43

glibc-minimal-langpack

2.42-9.fc43

2.42-10.fc43

package-notes-srpm-macros

0.5-14.fc43

0.5-15.fc43

qt6-srpm-macros

6.10.1-1.fc43

6.10.2-1.fc43

file

5.46-8.fc43

5.46-9.fc43

build-reproducibility-srpm-macros

0.6.0-2.fc43

0.6.0-3.fc43

glibc-gconv-extra

2.42-9.fc43

2.42-10.fc43

coreutils

9.7-7.fc43

9.7-8.fc43

file-libs

5.46-8.fc43

5.46-9.fc43

systemd-libs

258.3-2.fc43

258.7-1.fc43

gnupg2

2.4.9-4.fc43

2.4.9-5.fc43

coreutils-common

9.7-7.fc43

9.7-8.fc43

add-determinism

0.6.0-2.fc43

0.6.0-3.fc43

glibc-devel

2.42-9.fc43

2.42-10.fc43

gnupg2-verify

2.4.9-4.fc43

2.4.9-5.fc43

gnupg2-gpg-agent

2.4.9-4.fc43

2.4.9-5.fc43

systemd-standalone-sysusers

258.3-2.fc43

258.7-1.fc43

libtasn1

4.20.0-2.fc43

4.21.0-1.fc43

gnupg2-gpgconf

2.4.9-4.fc43

2.4.9-5.fc43

libssh-config

0.11.3-1.fc43

0.11.4-1.fc43

kernel-headers

6.18.3-200.fc43

6.19.6-200.fc43

gdb-minimal

17.1-1.fc43

17.1-4.fc43

info

7.2-6.fc43

7.2-7.fc43

openldap

2.6.10-4.fc43

2.6.13-1.fc43

gnupg2-keyboxd

2.4.9-4.fc43

2.4.9-5.fc43

libcap-ng

0.8.5-8.fc43

0.9.2-1.fc43

libssh

0.11.3-1.fc43

0.11.4-1.fc43

p11-kit-trust

0.25.8-1.fc43

0.26.2-1.fc43

p11-kit

0.25.8-1.fc43

0.26.2-1.fc43

rpm-sequoia

1.10.0-1.fc43

1.10.1-1.fc43

audit-libs

4.1.2-2.fc43

4.1.4-1.fc43

ca-certificates

2025.2.80_v9.0.304-1.1.fc43

2025.2.80_v9.0.304-1.2.fc43

krb5-libs

1.21.3-7.fc43

1.22.2-3.fc43

gnupg2-dirmngr

2.4.9-4.fc43

2.4.9-5.fc43

gnutls

3.8.11-5.fc43

3.8.12-1.fc43

show 29 more collapse