Koschei - Agda - build 116884913

Build details

Build information

State

complete

complete

Name

Agda

Epoch

None

Version

2.6.4.1

Release

47.fc41

Started

2024-04-26 00:03:51

Finished

2024-04-26 01:25:55

Koji repo

6050273

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-5.fc41

1:29.3-7.fc41

1

systemd-libs

255.4-1.fc41

255.5-1.fc41

2

glibc

2.39.9000-10.fc41

2.39.9000-14.fc41

2

emacs-common

1:29.3-5.fc41

1:29.3-7.fc41

2

gdk-pixbuf2

2.42.10-8.fc40

2.42.11-1.fc41

2

libXmu

1.2.0-1.fc41

1.2.1-1.fc41

2

libjpeg-turbo

3.0.2-1.fc40

3.0.2-2.fc41

2

libtracker-sparql

3.7.1-1.fc41

3.7.2-1.fc41

3

glibc-gconv-extra

2.39.9000-10.fc41

2.39.9000-14.fc41

3

glibc-common

2.39.9000-10.fc41

2.39.9000-14.fc41

3

bubblewrap

0.8.0-3.fc40

0.9.0-1.fc41

3

gdk-pixbuf2-modules

2.42.10-8.fc40

2.42.11-1.fc41

3

mesa-libgbm

24.0.5-1.fc41

24.0.6-2.fc41

3

default-fonts-core-sans

4.0-12.fc40

4.0-13.fc41

3

emacs-filesystem

1:29.3-5.fc41

1:30.0-2.fc41

3

glibc-minimal-langpack

2.39.9000-10.fc41

2.39.9000-14.fc41

3

libjxl

1:0.10.2-3.fc41

1:0.10.2-4.fc41

3

libgusb

0.4.8-3.fc40

0.4.9-1.fc41

4

glibc-devel

2.39.9000-10.fc41

2.39.9000-14.fc41

4

libaom

3.8.2-1.fc41

3.8.2-2.fc41

4

python3

3.12.3-1.fc41

3.12.3-2.fc41

4

libgpg-error

1.48-1.fc41

1.49-1.fc41

4

annobin-plugin-gcc

12.48-1.fc41

12.52-1.fc41

4

mesa-libEGL

24.0.5-1.fc41

24.0.6-2.fc41

4

elfutils-libs

0.191-5.fc41

0.191-7.fc41

4

ed

1.20.1-1.fc41

1.20.2-1.fc41

B

annobin-docs

12.48-1.fc41

12.52-1.fc41

B

liblockfile

1.17-8.fc40

python3-libs

3.12.3-1.fc41

3.12.3-2.fc41

B

mesa-libGL

24.0.5-1.fc41

24.0.6-2.fc41

B

gdb-minimal

14.2-1.fc41

14.2-5.fc41

B

elfutils

0.191-5.fc41

0.191-7.fc41

B

elfutils-libelf

0.191-5.fc41

0.191-7.fc41

B

elfutils-default-yama-scope

0.191-5.fc41

0.191-7.fc41

B

elfutils-debuginfod-client

0.191-5.fc41

0.191-7.fc41

B

glibc-headers-x86

2.39.9000-10.fc41

2.39.9000-14.fc41

B

kernel-headers

6.9.0-0.rc4.37.fc41

6.9.0-0.rc5.44.fc41

B

mesa-filesystem

24.0.5-1.fc41

24.0.6-2.fc41

B

mesa-libglapi

24.0.5-1.fc41

24.0.6-2.fc41

B

show 29 more collapse