Koschei - Agda - build 129527703

Build details

Build information

State

complete

complete

Name

Agda

Epoch

None

Version

2.6.4.1

Release

46.fc40

Started

2025-02-23 01:35:20

Finished

2025-02-23 02:40:11

Koji repo

6552678

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.4-9.fc40

1:29.4-10.fc40

1

ghc-rpm-macros-extra

2.7.5-1.fc40

2.7.6-1.fc40

1

sqlite-libs

3.45.1-2.fc40

3.45.1-3.fc40

2

emacs-common

1:29.4-9.fc40

1:29.4-10.fc40

2

glibc

2.39-33.fc40

2.39-37.fc40

2

ghc-rpm-macros

2.7.5-1.fc40

2.7.6-1.fc40

2

libjxl

1:0.8.3-1.fc40

1:0.8.4-1.fc40

3

krb5-libs

1.21.3-2.fc40

1.21.3-3.fc40

3

cmake-filesystem

3.30.5-1.fc40

3.30.7-1.fc40

3

emacs-filesystem

1:29.4-9.fc40

1:29.4-10.fc40

3

glibc-minimal-langpack

2.39-33.fc40

2.39-37.fc40

3

glibc-common

2.39-33.fc40

2.39-37.fc40

3

glibc-gconv-extra

2.39-33.fc40

2.39-37.fc40

3

glibc-devel

2.39-33.fc40

2.39-37.fc40

4

libdav1d

1.5.0-2.fc40

1.5.1-1.fc40

4

expat

2.6.3-1.fc40

2.6.4-1.fc40

4

python3

3.12.8-2.fc40

3.12.9-1.fc40

4

pyproject-srpm-macros

1.16.4-1.fc40

1.17.0-1.fc40

4

publicsuffix-list-dafsa

20240107-3.fc40

20250116-1.fc40

4

libaom

3.9.0-1.fc40

3.11.0-1.fc40

4

qt6-srpm-macros

6.7.2-2.fc40

6.8.2-1.fc40

4

python3-libs

3.12.8-2.fc40

3.12.9-1.fc40

B

audit-libs

4.0.2-1.fc40

4.0.3-1.fc40

B

openldap

2.6.8-1.fc40

2.6.8-2.fc40

B

rpm-sequoia

1.7.0-3.fc40

1.7.0-5.fc40

B

hwdata

0.391-1.fc40

0.392-1.fc40

B

tzdata

2024b-1.fc40

2025a-1.fc40

B

show 17 more collapse