Koschei - why3 - build 129213022

Build details

Build information

State

complete

complete

Name

why3

Epoch

None

Version

1.8.0

Release

4.fc42

Started

2025-02-13 23:20:35

Finished

2025-02-13 23:39:22

Koji repo

6550533

Koji tasks

Build logs

aarch64

build.log | root.log

ppc64le

build.log | root.log

s390x

build.log | root.log

x86_64

build.log | root.log

Dependency changes from previous build

flocq

4.2.0-5.fc42

4.2.1-1.fc42

1

perltidy

20250105-2.fc42

20250214-1.fc42

B

gdb-minimal

16.2-1.fc42

16.2-2.fc42

B