Koschei - why3 - build 132477298

Build details

Build information

State

complete

complete

Name

why3

Epoch

None

Version

1.8.0

Release

5.fc43

Started

2025-05-08 20:34:06

Finished

2025-05-08 20:51:57

Koji repo

6573903

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

ocaml-ppx-sexp-conv-devel

0.17.0-6.fc43

0.17.0-7.fc43

1

python3-snowballstemmer

2.2.0-15.fc42

3.0.0-1.fc43

2

ocaml-base

0.17.1-4.fc42

0.17.2-1.fc43

2

ocaml-ppx-sexp-conv

0.17.0-6.fc43

0.17.0-7.fc43

2

sqlite-libs

3.49.0-1.fc43

3.49.1-1.fc43

2

ocaml-base-devel

0.17.1-4.fc42

0.17.2-1.fc43

2

python3

3.13.3-2.fc43

3.13.3-3.fc43

2

systemd-libs

257.5-2.fc43

257.5-5.fc43

2

systemd-standalone-sysusers

257.5-2.fc43

257.5-5.fc43

3

libpng

2:1.6.47-1.fc43

2:1.6.48-1.fc43

3

filesystem

3.18-40.fc43

3.18-41.fc43

3

filesystem-srpm-macros

3.18-40.fc43

3.18-41.fc43

3

python3-libs

3.13.3-2.fc43

3.13.3-3.fc43

3

python3-charset-normalizer

3.4.1-3.fc42

3.4.2-1.fc43

3

kernel-headers

6.15.0-0.rc4.35.fc43

6.15.0-0.rc5.42.fc43

4

nspr

4.36.0-7.fc43

4.36.0-8.fc43

4

nss

3.110.0-2.fc43

3.111.0-2.fc43

4

libpng-devel

2:1.6.47-1.fc43

2:1.6.48-1.fc43

4

nss-softokn

3.110.0-2.fc43

3.111.0-2.fc43

B

systemd-rpm-macros

257.5-2.fc43

257.5-5.fc43

B

mesa-libGL

25.1.0~rc2-3.fc43

25.1.0-1.fc43

B

mesa-filesystem

25.1.0~rc2-3.fc43

25.1.0-1.fc43

B

diffutils

3.12-1.fc43

3.12-2.fc43

B

mesa-libgbm

25.1.0~rc2-3.fc43

25.1.0-1.fc43

B

mesa-dri-drivers

25.1.0~rc2-3.fc43

25.1.0-1.fc43

B

mesa-libEGL

25.1.0~rc2-3.fc43

25.1.0-1.fc43

B

systemd-devel

257.5-2.fc43

257.5-5.fc43

B

nss-sysinit

3.110.0-2.fc43

3.111.0-2.fc43

B

nss-softokn-freebl

3.110.0-2.fc43

3.111.0-2.fc43

B

nss-util

3.110.0-2.fc43

3.111.0-2.fc43

B

hwdata

0.394-1.fc43

0.395-1.fc43

B

show 21 more collapse