Koschei - Agda - build 118887792

Build details

Build information

State

failed

failed

Name

Agda

Epoch

None

Version

2.6.4.3

Release

48.fc41

Started

2024-06-11 18:10:44

Finished

2024-06-11 18:24:09

Koji repo

6161634

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

alsa-lib

1.2.11-2.fc40

1.2.12-1.fc41

2

libgcc

14.1.1-4.fc41

14.1.1-5.fc41

2

fontconfig

2.15.0-5.fc41

2.15.0-6.fc41

2

libgccjit

14.1.1-4.fc41

14.1.1-5.fc41

2

systemd-libs

256~rc3-4.fc41

256~rc4-2.fc41

2

libatomic

14.1.1-4.fc41

14.1.1-5.fc41

3

libseccomp

2.5.3-8.fc40

2.5.5-1.fc41

3

libgomp

14.1.1-4.fc41

14.1.1-5.fc41

3

redhat-rpm-config

292-1.fc41

293-1.fc41

3

fribidi

1.0.14-2.fc41

1.0.15-1.fc41

3

libstdc++

14.1.1-4.fc41

14.1.1-5.fc41

3

gcc

14.1.1-4.fc41

14.1.1-5.fc41

3

highway

1.1.0-1.fc41

1.2.0-2.fc41

4

cpp

14.1.1-4.fc41

14.1.1-5.fc41

4

annobin-plugin-gcc

12.54-2.fc41

12.59-1.fc41

4

binutils

2.42.50-11.fc41

2.42.50-14.fc41

4

setup

2.15.0-3.fc41

2.15.0-4.fc41

4

rpm

4.19.91-8.fc41

4.19.91-11.fc41

4

gcc-plugin-annobin

14.1.1-4.fc41

14.1.1-5.fc41

4

rpm-libs

4.19.91-8.fc41

4.19.91-11.fc41

B

annobin-docs

12.54-2.fc41

12.59-1.fc41

B

rpm-build

4.19.91-8.fc41

4.19.91-11.fc41

B

rpm-build-libs

4.19.91-8.fc41

4.19.91-11.fc41

B

libdeflate

1.20-4.fc41

1.20-6.fc41

B

kernel-headers

6.10.0-0.rc2.24.fc41

6.10.0-0.rc3.31.fc41

B

binutils-gold

2.42.50-11.fc41

show 16 more collapse