Koschei - Agda - build 126644767

Build details

Build information

State

complete

complete

Name

Agda

Epoch

None

Version

2.6.4.3

Release

51.fc42

Started

2024-12-09 15:56:37

Finished

2024-12-09 19:06:44

Koji repo

6536105

Koji tasks

Build logs

aarch64

build.log | root.log

ppc64le

build.log | root.log

s390x

build.log | root.log

x86_64

build.log | root.log

Dependency changes from previous build

ghc-text-icu-prof

0.8.0.5-1.fc41

0.8.0.5-2.fc42

1

ghc-text-icu-devel

0.8.0.5-1.fc41

0.8.0.5-2.fc42

1

harfbuzz

10.1.0-1.fc42

10.1.0-2.fc42

2

cairo

1.18.2-1.fc42

1.18.2-2.fc42

2

ghc-text-icu

0.8.0.5-1.fc41

0.8.0.5-2.fc42

2

libicu-devel

74.2-2.fc41

76.1-1.fc42

2

libtracker-sparql

3.7.3-3.fc41

3.7.3-4.fc42

3

cups-libs

1:2.4.11-7.fc42

1:2.4.11-8.fc42

3

libicu

74.2-2.fc41

76.1-1.fc42

3

cmake-filesystem

3.31.1-1.fc42

3.31.2-1.fc42

3

pixman

0.44.0-0.fc42

0.44.2-1.fc42

3

cairo-gobject

1.18.2-1.fc42

1.18.2-2.fc42

3

qt6-srpm-macros

6.8.0-1.fc42

6.8.1-3.fc42

4

cups-filesystem

1:2.4.11-7.fc42

1:2.4.11-8.fc42

4

rpm-sequoia

1.7.0-2.fc41

1.7.0-3.fc42

B

shadow-utils

2:4.16.0-7.fc42

2:4.17.0~rc1-1.fc42

B

libtool-ltdl

2.4.7-12.fc41

2.5.4-1.fc42

B

show 7 more collapse