Koschei - Agda - build 124436218

Build details

Build information

State

complete

complete

Name

Agda

Epoch

None

Version

2.6.4.1

Release

46.fc40

Started

2024-10-05 21:58:53

Finished

2024-10-05 23:00:48

Koji repo

6505498

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

libgcc

14.2.1-1.fc40

14.2.1-3.fc40

2

librsvg2

2.57.1-6.fc40

2.57.1-7.fc40

2

libselinux

3.6-4.fc40

3.7-5.fc40

2

libgccjit

14.2.1-1.fc40

14.2.1-3.fc40

2

gcc

14.2.1-1.fc40

14.2.1-3.fc40

3

libsepol

3.6-3.fc40

3.7-2.fc40

3

rsvg-pixbuf-loader

2.57.1-6.fc40

2.57.1-7.fc40

3

libmanette

0.2.7-1.fc40

0.2.9-1.fc40

3

libatomic

14.2.1-1.fc40

14.2.1-3.fc40

3

coreutils

9.4-7.fc40

9.4-8.fc40

3

cups-libs

1:2.4.10-6.fc40

1:2.4.10-7.fc40

3

gstreamer1

1.24.7-1.fc40

1.24.8-1.fc40

3

libstdc++

14.2.1-1.fc40

14.2.1-3.fc40

3

gstreamer1-plugins-bad-free-libs

1.24.7-1.fc40

1.24.8-1.fc40

3

libxcb

1.17.0-1.fc40

1.17.0-2.fc40

3

gstreamer1-plugins-base

1.24.7-1.fc40

1.24.8-1.fc40

3

cpp

14.2.1-1.fc40

14.2.1-3.fc40

4

ghc-srpm-macros

1.9-1.fc40

1.9.1-1.fc40

4

coreutils-common

9.4-7.fc40

9.4-8.fc40

4

gcc-plugin-annobin

14.2.1-1.fc40

14.2.1-3.fc40

4

libgomp

14.2.1-1.fc40

14.2.1-3.fc40

4

qt5-srpm-macros

5.15.14-2.fc40

5.15.15-1.fc40

4

pyproject-srpm-macros

1.13.0-1.fc40

1.15.0-1.fc40

4

libsemanage

3.6-3.fc40

3.7-2.fc40

B

ca-certificates

2023.2.62_v7.0.401-6.fc40

2024.2.69_v8.0.401-1.0.fc40

B

show 15 more collapse