Koschei - Agda-stdlib - build 128199598

Build details

Build information

State

complete

complete

Name

Agda-stdlib

Epoch

None

Version

1.7.3

Release

9.fc42

Started

2025-01-20 07:20:13

Finished

2025-01-20 08:05:13

Koji repo

6544296

Koji tasks

Build logs

ppc64le

build.log | root.log

Dependency changes from previous build

ghc-rpm-macros

2.7.5-1.fc42

2.7.7-1.fc42

1

libicu

76.1-2.fc42

76.1-3.fc42

2

binutils

2.43.50-9.fc42

2.43.50-11.fc42

3

annobin-plugin-gcc

12.80-2.fc42

12.81-1.fc42

3

systemd-libs

257.2-7.fc42

257.2-14.fc42

4

annobin-docs

12.80-2.fc42

12.81-1.fc42

4

libxcrypt

4.4.38-2.fc42

4.4.38-3.fc42

B

libxcrypt-devel

4.4.38-2.fc42

4.4.38-3.fc42

B

debugedit

5.1-2.fc42

5.1-4.fc42

B

openldap

2.6.9-1.fc42

2.6.9-2.fc42

B

sqlite-libs

3.47.2-1.fc42

3.47.2-2.fc42

B

show 1 more collapse