Koschei - why3 - build 133515487

Build details

Build information

State

complete

complete

Name

why3

Epoch

None

Version

1.8.0

Release

5.fc43

Started

2025-06-03 19:54:51

Finished

2025-06-03 20:14:00

Koji repo

6579508

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

cairo

1.18.2-3.fc42

1.18.4-1.fc43

2

ghostscript

10.05.1-2.fc43

10.05.1-3.fc43

2

libgs

10.05.1-2.fc43

10.05.1-3.fc43

2

sqlite-libs

3.49.2-1.fc43

3.50.0-1.fc43

2

libarchive

3.7.7-4.fc43

3.8.1-1.fc43

2

ghostscript-tools-printing

10.05.1-2.fc43

10.05.1-3.fc43

3

lzo

2.10-14.fc42

3

ghostscript-tools-fonts

10.05.1-2.fc43

10.05.1-3.fc43

3

cairo-gobject

1.18.2-3.fc42

1.18.4-1.fc43

3

crypto-policies

20250402-2.git86c0178....

20250603-1.git3a584b3....

3

cairo-devel

1.18.2-3.fc42

1.18.4-1.fc43

3

file

5.46-1.fc42

5.46-2.fc43

3

lzo-devel

2.10-14.fc42

4

cairo-gobject-devel

1.18.2-3.fc42

1.18.4-1.fc43

4

audit-libs

4.0.4-1.fc43

4.0.4-2.fc43

4

file-libs

5.46-1.fc42

5.46-2.fc43

4

hwdata

0.395-1.fc43

0.396-1.fc43

B

llvm-filesystem

20.1.5-1.fc43

20.1.6-1.fc43

B

perl-IO-Socket-SSL

2.089-2.fc42

2.090-1.fc43

B

libsemanage

3.8-1.fc42

3.8.1-2.fc43

B

llvm-libs

20.1.5-1.fc43

20.1.6-1.fc43

B

lzo-minilzo

2.10-14.fc42

B

show 12 more collapse