Koschei - why3 - build 133668992

Build details

Build information

State

complete

complete

Name

why3

Epoch

None

Version

1.8.0

Release

5.fc43

Started

2025-06-07 16:19:07

Finished

2025-06-07 16:38:06

Koji repo

6580327

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-apron-devel

0.9.15-6.fc42

0.9.15-7.fc43

1

java-21-openjdk-devel

1:21.0.7.0.6-1.fc43

1:21.0.7.0.6-2.fc43

1

apron-devel

0.9.15-6.fc42

0.9.15-7.fc43

2

ocaml-mlgmpidl-devel

1.3.0-13.fc42

1.3.0-14.fc43

2

libcurl

8.14.0-1.fc43

8.14.1-1.fc43

2

java-21-openjdk

1:21.0.7.0.6-1.fc43

1:21.0.7.0.6-2.fc43

2

ocaml-apron

0.9.15-6.fc42

0.9.15-7.fc43

2

ocaml-mlgmpidl

1.3.0-13.fc42

1.3.0-14.fc43

2

openssl-libs

1:3.5.0-3.fc43

1:3.5.0-5.fc43

3

file

5.46-2.fc43

5.46-4.fc43

3

java-21-openjdk-headless

1:21.0.7.0.6-1.fc43

1:21.0.7.0.6-2.fc43

3

annobin-plugin-gcc

12.95-1.fc43

12.96-1.fc43

3

lua-libs

5.4.7-3.fc43

5.4.8-1.fc43

3

krb5-libs

1.21.3-5.fc42

1.21.3-6.fc43

3

apron

0.9.15-6.fc42

0.9.15-7.fc43

3

file-libs

5.46-2.fc43

5.46-4.fc43

4

curl

8.14.0-1.fc43

8.14.1-1.fc43

4

annobin-docs

12.95-1.fc43

12.96-1.fc43

4

perl-Business-ISBN-Data

20250521.001-1.fc43

20250605.001-1.fc43

B

show 9 more collapse