Koschei - why3 - build 129569928

Build details

Build information

State

complete

complete

Name

why3

Epoch

None

Version

1.7.2

Release

1.fc40

Started

2025-02-24 02:13:27

Finished

2025-02-24 02:26:29

Koji repo

6552973

Koji tasks

Build logs

aarch64

build.log | root.log

x86_64

build.log | root.log

Dependency changes from previous build

emacs-nw

1:29.4-9.fc40

1:29.4-10.fc40

1

sqlite-libs

3.45.1-2.fc40

3.45.1-3.fc40

2

expat

2.6.3-1.fc40

2.6.4-1.fc40

2

python3

3.12.8-2.fc40

3.12.9-1.fc40

2

libzstd-devel

1.5.6-1.fc40

1.5.7-1.fc40

2

libzstd

1.5.6-1.fc40

1.5.7-1.fc40

2

python3-babel

2.16.0-1.fc40

2.17.0-1.fc40

2

emacs-common

1:29.4-9.fc40

1:29.4-10.fc40

2

pyproject-srpm-macros

1.16.4-1.fc40

1.17.0-1.fc40

3

netpbm

11.02.00-6.fc40

11.09.00-2.fc40

3

krb5-libs

1.21.3-2.fc40

1.21.3-3.fc40

3

qt6-srpm-macros

6.8.1-4.fc40

6.8.2-1.fc40

3

libxcrypt

4.4.38-3.fc40

4.4.38-6.fc40

3

emacs-filesystem

1:29.4-9.fc40

1:29.4-10.fc40

3

python3-libs

3.12.8-2.fc40

3.12.9-1.fc40

3

openldap

2.6.8-1.fc40

2.6.8-2.fc40

3

rpm-sequoia

1.7.0-3.fc40

1.7.0-5.fc40

3

libdav1d

1.5.0-2.fc40

1.5.1-1.fc40

4

tzdata

2024b-1.fc40

2025a-1.fc40

4

libaom

3.9.0-1.fc40

3.11.0-1.fc40

4

libjxl

1:0.8.3-1.fc40

1:0.8.4-1.fc40

4

flexiblas-netlib

3.4.4-5.fc40

3.4.5-1.fc40

4

libxcrypt-devel

4.4.38-3.fc40

4.4.38-6.fc40

4

flexiblas-openblas-openmp

3.4.4-5.fc40

3.4.5-1.fc40

B

flexiblas

3.4.4-5.fc40

3.4.5-1.fc40

B

perl-Module-CoreList

1:5.20241220-1.fc40

1:5.20250120-1.fc40

B

hwdata

0.391-1.fc40

0.392-1.fc40

B

perl-Text-CSV

2.03-3.fc40

2.05-1.fc40

B

perl-DateTime-TimeZone

2.63-1.fc40

2.64-1.fc40

B

zstd

1.5.6-1.fc40

1.5.7-1.fc40

B

show 20 more collapse