Koschei - idris - build 123467223

Build details

Build information

State

complete

complete

Name

idris

Epoch

None

Version

1.3.4

Release

17.fc41

Started

2024-09-16 05:54:20

Finished

2024-09-16 06:56:16

Koji repo

6434759

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

ghc-rpm-macros

2.7.2-1.fc41

2.7.2-2.fc41

1

python3

3.13.0~rc1-2.fc41

3.13.0~rc2-1.fc41

2

libffi

3.4.6-2.fc41

3.4.6-3.fc41

2

libffi-devel

3.4.6-2.fc41

3.4.6-3.fc41

2

python3-babel

2.15.0-6.fc41

2.16.0-1.fc41

2

python3-pygments

2.17.2-7.fc41

2.18.0-2.fc41

2

qt5-srpm-macros

5.15.14-3.fc41

5.15.15-1.fc41

3

binutils

2.43-2.fc41

2.43-3.fc41

3

python3-libs

3.13.0~rc1-2.fc41

3.13.0~rc2-1.fc41

3

rust-srpm-macros

26.3-1.fc41

26.3-3.fc41

3

coreutils

9.5-7.fc41

9.5-9.fc41

3

sqlite-libs

3.46.0-4.fc41

3.46.1-1.fc41

4

coreutils-common

9.5-7.fc41

9.5-9.fc41

4

fedora-gpg-keys

41-0.4

41-0.5

B

kernel-headers

6.11.0-0.rc3.30.fc41

6.11.0-0.rc7.56.fc41

B

systemd-libs

256.4-1.fc41

256.5-1.fc41

B

fedora-repos

41-0.4

41-0.5

B

crypto-policies

20240807-1.git5795660....

20240826-1.gite824389....

B

perl-IO-Socket-SSL

2.088-2.fc41

2.089-1.fc41

B

show 9 more collapse