Koschei - Agda-stdlib

Package information

State

Packages

Bodhi

Dist-git

Bugzilla

Koji

File new FTBFS bug

Scheduler parameters

Tracked by Koschei

True

Current priority

292

Manual priority

Static priority

Arch override

None

Skip resolution

False

Configure scheduling

Dependency changes since last build

No dependency changes

State overview

Fedora Rawhide

Groups

This package is not part of any global group.

Most recent builds

130942465

2025-01-28 07:58:12

ppc64le

└130942483 ( build.log | root.log )

No dependency changes

130774926

2025-01-10 12:10:49

aarch64

└130774944 ( build.log | root.log )

No dependency changes

130700856

2024-12-14 06:58:48

aarch64

└130700874 ( build.log | root.log )

No dependency changes

130180661

2024-11-10 13:36:04

aarch64

└130180678 ( build.log | root.log )

No dependency changes

130106963

2024-10-27 06:53:43

s390x

└130106975 ( build.log | root.log )

No dependency changes

130033080

2024-10-12 04:53:59

ppc64le

└130033097 ( build.log | root.log )

ghc-filemanip-devel

0.3.6.3-38.fc40

0.3.6.3-41.fc41

Agda

2.6.4.1-46.fc40

2.6.4.3-50.fc41

ghc-rpm-macros

2.6.5-3.fc40

2.7.2-2.fc41

ghc-Cabal-devel

3.8.1.0-139.fc40

3.10.3.0-144.fc41

ghc-parsec-devel

3.1.16.1-139.fc40

3.1.16.1-144.fc41

ghc-time-devel

1.12.2-139.fc40

1.12.2-144.fc41

ghc-directory-devel

1.3.7.1-139.fc40

1.3.8.5-144.fc41

ghc-base-devel

4.17.1.0-139.fc40

4.18.2.1-144.fc41

ghc-unix-compat-devel

0.7-3.fc40

0.7.2-1.fc41

ghc-text-devel

2.0.2-139.fc40

2.0.2-144.fc41

ghc-pretty-devel

1.1.3.6-139.fc40

1.1.3.6-144.fc41

ghc-compiler

9.4.5-139.fc40

9.6.6-144.fc41

ghc-transformers-devel

0.5.6.2-139.fc40

0.6.1.0-144.fc41

glibc

2.39-2.fc40

2.40-3.fc41

ghc-Cabal

3.8.1.0-139.fc40

3.10.3.0-144.fc41

chrpath

0.16-23.fc40

0.16-24.fc41

zlib-ng-compat

2.1.6-2.fc40

2.1.7-3.fc41

ncurses-libs

6.4-12.20240127.fc40

6.5-2.20240629.fc41

ghc-mtl-devel

2.2.2-139.fc40

2.3.1-144.fc41

ghc-deepseq-devel

1.4.8.0-139.fc40

1.4.8.1-144.fc41

Agda-common

2.6.4.1-46.fc40

2.6.4.3-50.fc41

ghc-process-devel

1.6.16.0-139.fc40

1.6.19.0-144.fc41

gmp

1:6.2.1-8.fc40

1:6.3.0-2.fc41

ghc-array-devel

0.5.4.0-139.fc40

0.5.6.0-144.fc41

libicu

74.2-2.fc41

ghc-filepath-devel

1.4.2.2-139.fc40

1.4.300.1-144.fc41

ghc-containers-devel

0.6.7-139.fc40

0.6.7-144.fc41

ghc-Cabal-syntax-devel

3.8.1.0-139.fc40

3.10.3.0-144.fc41

bash

5.2.26-3.fc40

5.2.32-1.fc41

redhat-rpm-config

284-1.fc41

293-1.fc41

ghc-bytestring-devel

0.11.4.0-139.fc40

0.11.5.3-144.fc41

libffi

3.4.4-7.fc40

3.4.6-3.fc41

ghc-unix-devel

2.7.3-139.fc40

2.8.4.0-144.fc41

ghc-filemanip

0.3.6.3-38.fc40

0.3.6.3-41.fc41

rust-srpm-macros

25.2-4.fc40

26.3-3.fc41

ca-certificates

2023.2.62_v7.0.401-6.fc40

2024.2.69_v8.0.401-1.0.fc41

ghc-ghci

9.4.5-139.fc40

9.6.6-144.fc41

zip

3.0-40.fc40

3.0-41.fc41

ghc-base

4.17.1.0-139.fc40

4.18.2.1-144.fc41

ocaml-srpm-macros

9-3.fc40

10-3.fc41

ncurses-base

6.4-12.20240127.fc40

6.5-2.20240629.fc41

ghc-array

0.5.4.0-139.fc40

0.5.6.0-144.fc41

lua-srpm-macros

1-13.fc40

1-14.fc41

binutils

2.41-32.fc40

2.43.1-2.fc41

ghc-ghc-boot-th

9.4.5-139.fc40

9.6.6-144.fc41

ansible-srpm-macros

1-14.fc40

1-16.fc41

grep

3.11-7.fc40

3.11-9.fc41

ghc-terminfo

0.4.1.5-139.fc40

0.4.1.6-144.fc41

go-srpm-macros

3.4.0-2.fc40

3.6.0-3.fc41

ghc-time

1.12.2-139.fc40

1.12.2-144.fc41

file

5.45-5.fc41

5.45-7.fc41

ghc-unix-compat

0.7-3.fc40

0.7.2-1.fc41

libgcc

14.0.1-0.6.fc40

14.2.1-3.fc41

annobin-plugin-gcc

12.38-1.fc40

12.69-1.fc41

mpfr

4.2.1-3.fc40

4.2.1-5.fc41

filesystem

3.18-8.fc40

3.18-23.fc41

libgomp

14.0.1-0.6.fc40

14.2.1-3.fc41

ghc-ghc-bignum

1.3-139.fc40

1.3-144.fc41

ghc-ghc-bignum-devel

1.3-139.fc40

1.3-144.fc41

ghc-template-haskell-devel

2.19.0.0-139.fc40

2.20.0.0-144.fc41

gcc-plugin-annobin

14.0.1-0.6.fc40

14.2.1-3.fc41

qt6-srpm-macros

6.6.1-5.fc40

6.7.2-3.fc41

ghc-libiserv

9.4.5-139.fc40

9.6.6-144.fc41

fpc-srpm-macros

1.3-12.fc40

1.3-13.fc41

gcc

14.0.1-0.6.fc40

14.2.1-3.fc41

openblas-srpm-macros

2-16.fc40

2-18.fc41

gnat-srpm-macros

6-5.fc40

6-6.fc41

dwz

0.15-6.fc40

0.15-7.fc41

python-srpm-macros

3.12-7.fc40

3.13-3.fc41

glibc-minimal-langpack

2.39-2.fc40

2.40-3.fc41

ghc-mtl

2.2.2-139.fc40

2.3.1-144.fc41

fonts-srpm-macros

1:2.0.5-14.fc40

1:2.0.5-17.fc41

ghc-binary-devel

0.8.9.1-139.fc40

0.8.9.1-144.fc41

perl-srpm-macros

1-53.fc40

1-56.fc41

findutils

1:4.9.0-8.fc40

1:4.10.0-4.fc41

ghc-xhtml

3000.2.2.1-139.fc40

3000.2.2.1-144.fc41

coreutils

9.4-6.fc40

9.5-10.fc41

ghc-deepseq

1.4.8.0-139.fc40

1.4.8.1-144.fc41

ghc-template-haskell

2.19.0.0-139.fc40

2.20.0.0-144.fc41

libstdc++

14.0.1-0.6.fc40

14.2.1-3.fc41

glibc-common

2.39-2.fc40

2.40-3.fc41

ghc-ghc-heap

9.4.5-139.fc40

9.6.6-144.fc41

ghc-filesystem

9.4.5-139.fc40

9.6.6-144.fc41

pcre2

10.42-2.fc40.2

10.44-1.fc41.1

basesystem

11-20.fc40

11-21.fc41

kernel-srpm-macros

1.0-22.fc40

1.0-24.fc41

package-notes-srpm-macros

0.5-11.fc40

0.5-12.fc41

forge-srpm-macros

0.2.0-3.fc40

0.3.2-1.fc41

ghc-process

1.6.16.0-139.fc40

1.6.19.0-144.fc41

sed

4.9-1.fc40

4.9-3.fc41

ghc-unix

2.7.3-139.fc40

2.8.4.0-144.fc41

ghc-srpm-macros

1.6.1-5.fc40

1.9.1-2.fc41

ghc-containers

0.6.7-139.fc40

0.6.7-144.fc41

libffi-devel

3.4.4-7.fc40

3.4.6-3.fc41

gmp-devel

1:6.2.1-8.fc40

1:6.3.0-2.fc41

ghc-filepath

1.4.2.2-139.fc40

1.4.300.1-144.fc41

ghc-directory

1.3.7.1-139.fc40

1.3.8.5-144.fc41

ghc-hpc

0.6.1.0-139.fc40

0.6.2.0-144.fc41

libcurl

8.6.0-6.fc40

8.9.1-2.fc41

ghc-bytestring

0.11.4.0-139.fc40

0.11.5.3-144.fc41

ghc-ghc-boot

9.4.5-139.fc40

9.6.6-144.fc41

efi-srpm-macros

5-11.fc40

5-12.fc41

ghc-parsec

3.1.16.1-139.fc40

3.1.16.1-144.fc41

glibc-gconv-extra

2.39-2.fc40

2.40-3.fc41

ghc-stm

2.5.1.0-139.fc40

2.5.1.0-144.fc41

rpm

4.19.1.1-1.fc40

4.19.94-1.fc41

libnghttp2

1.59.0-2.fc40

1.62.1-2.fc41

ghc-binary

0.8.9.1-139.fc40

0.8.9.1-144.fc41

ghc-text

2.0.2-139.fc40

2.0.2-144.fc41

ghc-Cabal-syntax

3.8.1.0-139.fc40

3.10.3.0-144.fc41

ghc-exceptions

0.10.5-139.fc40

0.10.7-144.fc41

qt5-srpm-macros

5.15.12-3.fc40

5.15.15-1.fc41

zig-srpm-macros

1-2.fc40

1-3.fc41

ghc-transformers

0.5.6.2-139.fc40

0.6.1.0-144.fc41

ghc-pretty

1.1.3.6-139.fc40

1.1.3.6-144.fc41

ghc-haskeline

0.8.2-139.fc40

0.8.2.1-144.fc41

pyproject-srpm-macros

1.12.0-1.fc40

1.15.0-1.fc41

ghc-ghc

9.4.5-139.fc40

9.6.6-144.fc41

build-reproducibility-srpm-macros

0.3.6-1.fc41

ghc-exceptions-devel

0.10.7-144.fc41

alternatives

1.26-3.fc40

1.30-1.fc41

gmp-c++

1:6.2.1-8.fc40

1:6.3.0-2.fc41

curl

8.6.0-6.fc40

8.9.1-2.fc41

unzip

6.0-63.fc40

6.0-64.fc41

libacl

2.3.2-1.fc40

2.3.2-2.fc41

libselinux

3.6-4.fc40

3.7-5.fc41

libpsl

0.21.5-3.fc40

0.21.5-4.fc41

p11-kit-trust

0.25.3-4.fc40

0.25.5-3.fc41

bzip2-libs

1.0.8-18.fc40

1.0.8-19.fc41

jansson

2.13.1-9.fc40

2.13.1-10.fc41

annobin-docs

12.38-1.fc40

12.69-1.fc41

ghc-ghc-boot-th-devel

9.4.5-139.fc40

9.6.6-144.fc41

cpp

14.0.1-0.6.fc40

14.2.1-3.fc41

libbrotli

1.1.0-3.fc40

1.1.0-5.fc41

rpm-libs

4.19.1.1-1.fc40

4.19.94-1.fc41

add-determinism

0.3.6-1.fc41

elfutils-libelf

0.190-6.fc40

0.191-8.fc41

libarchive

3.7.2-3.fc40

3.7.4-3.fc41

pkgconf-pkg-config

2.1.0-1.fc40

2.3.0-1.fc41

libidn2

2.3.7-1.fc40

2.3.7-2.fc41

libmpc

1.3.1-5.fc40

1.3.1-6.fc41

file-libs

5.45-5.fc41

5.45-7.fc41

coreutils-common

9.4-6.fc40

9.5-10.fc41

p11-kit

0.25.3-4.fc40

0.25.5-3.fc41

elfutils-debuginfod-client

0.190-6.fc40

0.191-8.fc41

libattr

2.5.2-3.fc40

2.5.2-4.fc41

setup

2.14.5-2.fc40

2.15.0-5.fc41

make

1:4.4.1-6.fc40

1:4.4.1-8.fc41

glibc-devel

2.39-2.fc40

2.40-3.fc41

pcre2-syntax

10.42-2.fc40.2

10.44-1.fc41.1

rpm-build

4.19.1.1-1.fc40

4.19.94-1.fc41

openssl-libs

1:3.2.1-2.fc40

1:3.2.2-9.fc41

libcap

2.69-3.fc40

2.70-4.fc41

popt

1.19-6.fc40

1.19-7.fc41

openldap

2.6.7-1.fc40

2.6.8-5.fc41

krb5-libs

1.21.2-5.fc40

1.21.3-2.fc41

libssh

0.10.6-4.fc40

0.10.6-8.fc41

libzstd

1.5.5-5.fc40

1.5.6-2.fc41

ghc-stm-devel

2.5.1.0-144.fc41

debugedit

5.0-14.fc40

5.0-17.fc41

libsmartcols

2.40-0.8.rc1.fc40

2.40.2-4.fc41

pam-libs

1.6.0-2.fc41

1.6.1-5.fc41

info

7.1-2.fc40

7.1-3.fc41

5.4.6-1.fc40

1:5.6.2-2.fc41

libuuid

2.40-0.8.rc1.fc40

2.40.2-4.fc41

which

2.21-41.fc40

2.21-42.fc41

1.20-2.fc40

1.20.2-2.fc41

systemd-libs

255.3-1.fc40

256.6-1.fc41

fedora-gpg-keys

41-0.1

41-0.5

gdb-minimal

14.1-8.fc40

15.1-1.fc41

elfutils

0.190-6.fc40

0.191-8.fc41

util-linux-core

2.40-0.8.rc1.fc40

2.40.2-4.fc41

glibc-headers-x86

2.39-2.fc40

2.40-3.fc41

libverto

0.3.2-8.fc40

0.3.2-9.fc41

xz-libs

5.4.6-1.fc40

1:5.6.2-2.fc41

util-linux

2.40-0.8.rc1.fc40

2.40.2-4.fc41

pkgconf-m4

2.1.0-1.fc40

2.3.0-1.fc41

lz4-libs

1.9.4-6.fc40

1.10.0-1.fc41

bzip2

1.0.8-18.fc40

1.0.8-19.fc41

libblkid

2.40-0.8.rc1.fc40

2.40.2-4.fc41

rpm-build-libs

4.19.1.1-1.fc40

4.19.94-1.fc41

libtasn1

4.19.0-6.fc40

4.19.0-9.fc41

rpm-sequoia

1.6.0-2.fc40

1.7.0-2.fc41

libxml2

2.12.5-1.fc40

2.12.8-2.fc41

cyrus-sasl-lib

2.1.28-19.fc40

2.1.28-27.fc41

keyutils-libs

1.6.3-3.fc40

1.6.3-4.fc41

guile30

3.0.7-12.fc40

libpwquality

1.4.5-9.fc40

1.4.5-11.fc41

authselect-libs

1.5.0-3.fc40

1.5.0-7.fc41

libmount

2.40-0.8.rc1.fc40

2.40.2-4.fc41

fedora-release-common

41-0.1

41-0.21

fedora-release

41-0.1

41-0.21

libeconf

0.5.2-3.fc40

0.6.2-3.fc41

libutempter

1.2.1-13.fc40

1.2.1-15.fc41

readline

8.2-8.fc40

8.2-10.fc41

libxcrypt

4.4.36-5.fc40

4.4.36-7.fc41

libssh-config

0.10.6-4.fc40

0.10.6-8.fc41

libcom_err

1.47.0-5.fc40

1.47.1-3.fc41

libfdisk

2.40-0.8.rc1.fc40

2.40.2-4.fc41

patch

2.7.6-24.fc40

2.7.6-25.fc41

gdbm-libs

1:1.23-6.fc40

1:1.23-7.fc41

libevent

2.1.12-12.fc40

2.1.12-14.fc41

libtool-ltdl

2.4.7-10.fc40

2.4.7-12.fc41

cracklib

2.9.11-5.fc40

2.9.11-6.fc41

shadow-utils

2:4.14.0-6.fc40

2:4.15.1-10.fc41

pkgconf

2.1.0-1.fc40

2.3.0-1.fc41

diffutils

3.10-5.fc40

3.10-8.fc41

fedora-release-identity-basic

41-0.1

41-0.21

pam

1.6.0-2.fc41

1.6.1-5.fc41

gzip

1.13-1.fc40

1.13-2.fc41

fedora-repos

41-0.1

41-0.5

libnsl2

2.0.1-1.fc40

2.0.1-2.fc41

libtirpc

1.3.4-1.rc2.fc40.2

1.3.5-0.fc41

libxcrypt-devel

4.4.36-5.fc40

4.4.36-7.fc41

kernel-headers

6.8.0-0.rc3.26.fc40

6.11.0-63.fc41

authselect

1.5.0-3.fc40

1.5.0-7.fc41

xxhash-libs

0.8.2-2.fc40

0.8.2-3.fc41

audit-libs

4.0-8.fc40

4.0.2-1.fc41

libunistring

1.1-7.fc40

1.1-8.fc41

crypto-policies

20240201-1.git9f501f3....

20240826-1.gite824389....

sqlite-libs

3.45.1-2.fc40

3.46.1-1.fc41

8.2.2-6.fc40

fedora-repos-rawhide

41-0.1

zstd

1.5.5-5.fc40

1.5.6-2.fc41

binutils-gold

2.41-32.fc40

elfutils-libs

0.190-6.fc40

0.191-8.fc41

libsepol

3.6-3.fc40

3.7-2.fc41

lua-libs

5.4.6-5.fc40

5.4.6-6.fc41

elfutils-default-yama-scope

0.190-6.fc40

0.191-8.fc41

cpio

2.15-1.fc40

2.15-2.fc41

libpkgconf

2.1.0-1.fc40

2.3.0-1.fc41

gawk

5.3.0-3.fc40

5.3.0-4.fc41

libcap-ng

0.8.4-4.fc40

0.8.5-3.fc41

libsemanage

3.6-3.fc40

3.7-2.fc41

publicsuffix-list-dafsa

20240107-3.fc40

20240107-4.fc41

gdbm

1:1.23-6.fc40

1:1.23-7.fc41

tar

2:1.35-3.fc40

2:1.35-4.fc41

show 227 more collapse

120885314

2024-09-05 04:58:22

x86_64

└120885334 ( build.log | root.log )

No dependency changes

120879574

2024-09-04 00:06:35

x86_64

└120879593 ( build.log | root.log )

No dependency changes

Previous history