Koschei - Agda - build 133083461

Build details

Build information

State

complete

complete

Name

Agda

Epoch

None

Version

2.6.4.3

Release

53.fc42

Started

2025-05-22 05:45:58

Finished

2025-05-22 07:01:14

Koji repo

6577100

Koji tasks

Build logs

aarch64

build.log | root.log

ppc64le

build.log | root.log

x86_64

build.log | root.log

Dependency changes from previous build

systemd-libs

257.5-2.fc42

257.5-6.fc42

2

alternatives

1.32-1.fc42

1.33-1.fc42

2

coreutils

9.6-2.fc42

9.6-3.fc42

3

filesystem

3.18-36.fc42

3.18-42.fc42

3

cups-libs

1:2.4.12-2.fc42

1:2.4.12-3.fc42

3

coreutils-common

9.6-2.fc42

9.6-3.fc42

4

annobin-plugin-gcc

12.88-1.fc42

12.94-1.fc42

4

pam-libs

1.7.0-4.fc42

1.7.0-5.fc42

4

filesystem-srpm-macros

3.18-36.fc42

3.18-42.fc42

4

cups-filesystem

1:2.4.12-2.fc42

1:2.4.12-3.fc42

4

systemd-standalone-sysusers

257.5-2.fc42

257.5-6.fc42

B

gdb-minimal

16.2-3.fc42

16.3-1.fc42

B

annobin-docs

12.88-1.fc42

12.94-1.fc42

B

show 3 more collapse