Koschei - Agda

Agda

Package information

State

ok

Packages

Bodhi

Dist-git

Bugzilla

Koji

File new FTBFS bug

Scheduler parameters

Tracked by Koschei

True

Current priority

544

Manual priority

0

Static priority

0

Arch override

None

Skip resolution

False

Configure scheduling

Dependency changes since last build

No dependency changes

State overview

Groups

This package is not part of any global group.

Most recent builds

complete

2025-08-22 13:36:51

aarch64

├136335695 ( build.log | root.log )

ppc64le

├136335693 ( build.log | root.log )

x86_64

└136335694 ( build.log | root.log )

emacs

1:30.1-34.fc43

1:30.2-1.fc43

1

ghc-filelock-devel

0.1.1.7-38.fc43

0.1.1.7-39.fc43

1

ghc-filelock-prof

0.1.1.7-38.fc43

0.1.1.7-39.fc43

1

ghc-filelock

0.1.1.7-38.fc43

0.1.1.7-39.fc43

2

emacs-nw

1:30.1-34.fc43

1:30.2-1.fc43

2

glibc

2.42-3.fc43

2.42-4.fc43

2

lcms2

2.16-6.fc43

3

glibc-common

2.42-3.fc43

2.42-4.fc43

3

glibc-gconv-extra

2.42-3.fc43

2.42-4.fc43

3

redhat-rpm-config

343-10.fc43

343-11.fc43

3

emacs-common

1:30.1-34.fc43

1:30.2-1.fc43

3

libxml2

2.12.10-3.fc43

2.12.10-4.fc43

3

libselinux

3.9-3.fc43

3.9-4.fc43

3

glibc-minimal-langpack

2.42-3.fc43

2.42-4.fc43

3

gap-srpm-macros

1-1.fc43

4

libuuid

2.41.1-15.fc43

2.41.1-16.fc43

4

emacsclient

1:30.1-34.fc43

1:30.2-1.fc43

4

crypto-policies

20250714-3.gitcd6043a....

20250714-4.gitcd6043a....

4

file

5.46-6.fc43

5.46-7.fc43

4

rpm

5.99.91-3.fc43

5.99.91-4.fc43

4

glibc-devel

2.42-3.fc43

2.42-4.fc43

4

libmount

2.41.1-15.fc43

2.41.1-16.fc43

4

libcap

2.76-2.fc43

2.76-3.fc43

4

rust-srpm-macros

26.3-5.fc43

26.4-1.fc43

4

libbrotli

1.1.0-8.fc43

1.1.0-9.fc43

4

rpm-build

5.99.91-3.fc43

5.99.91-4.fc43

B

ed

1.22-2.fc43

1.22.2-1.fc43

B

util-linux

2.41.1-15.fc43

2.41.1-16.fc43

B

fedora-repos

43-0.3

43-0.4

B

fedora-gpg-keys

43-0.3

43-0.4

B

rpm-sign-libs

5.99.91-3.fc43

5.99.91-4.fc43

B

file-libs

5.46-6.fc43

5.46-7.fc43

B

libusb1

1.0.29-2.fc43

1.0.29-3.fc43

B

libsemanage

3.9-2.fc43

3.9-3.fc43

B

libcap-ng

0.8.5-6.fc43

0.8.5-7.fc43

B

fedora-release-identity-basic

43-0.19

43-0.22

B

libblkid

2.41.1-15.fc43

2.41.1-16.fc43

B

libfdisk

2.41.1-15.fc43

2.41.1-16.fc43

B

audit-libs

4.1.1-1.fc43

4.1.1-2.fc43

B

fedora-release-common

43-0.19

43-0.22

B

rpm-libs

5.99.91-3.fc43

5.99.91-4.fc43

B

ca-certificates

2024.2.69_v8.0.401-7.fc43

2024.2.69_v8.0.401-8.fc43

B

rpm-build-libs

5.99.91-3.fc43

5.99.91-4.fc43

B

fedora-repos-rawhide

43-0.3

util-linux-core

2.41.1-15.fc43

2.41.1-16.fc43

B

fedora-release

43-0.19

43-0.22

B

kernel-headers

6.17.0-0.rc1.17.fc43

6.17.0-0.rc2.24.fc43

B

libsmartcols

2.41.1-15.fc43

2.41.1-16.fc43

B

gdb-minimal

16.3-4.fc43

16.3-5.fc43

B

liblastlog2

2.41.1-15.fc43

2.41.1-16.fc43

B

show 40 more collapse