Koschei - Agda - build 119887442

Build details

Build information

State

complete

complete

Name

Agda

Epoch

None

Version

2.6.4.1

Release

46.fc40

Started

2024-07-02 06:50:15

Finished

2024-07-02 08:05:11

Koji repo

6220669

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

emacs

1:29.3-6.fc40

1:29.4-3.fc40

1

emacs-common

1:29.3-6.fc40

1:29.4-3.fc40

2

systemd-libs

255.7-1.fc40

255.8-1.fc40

2

gstreamer1-plugins-base

1.24.4-1.fc40

1.24.5-1.fc40

3

gstreamer1

1.24.4-1.fc40

1.24.5-1.fc40

3

mesa-libgbm

24.1.2-2.fc40

24.1.2-7.fc40

3

cups-libs

1:2.4.8-3.fc40

1:2.4.10-1.fc40

3

gstreamer1-plugins-bad-free-libs

1.24.4-2.fc40

1.24.5-1.fc40

3

emacs-filesystem

1:29.3-6.fc40

1:29.4-3.fc40

3

libxslt

1.1.41-1.fc40

1.1.41-2.fc40

3

annobin-plugin-gcc

12.57-1.fc40

12.60-1.fc40

4

mesa-libEGL

24.1.2-2.fc40

24.1.2-7.fc40

4

mesa-libglapi

24.1.2-2.fc40

24.1.2-7.fc40

B

mesa-filesystem

24.1.2-2.fc40

24.1.2-7.fc40

B

annobin-docs

12.57-1.fc40

12.60-1.fc40

B

mesa-libGL

24.1.2-2.fc40

24.1.2-7.fc40

B

show 6 more collapse