Koschei - why3 - build 130928338

Build details

Build information

State

complete

complete

Name

why3

Epoch

None

Version

1.8.0

Release

4.fc43

Started

2025-03-31 03:16:37

Finished

2025-03-31 03:32:26

Koji repo

6564987

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

libgccjit

15.0.1-0.10.fc43

15.0.1-0.11.fc43

2

gcc

15.0.1-0.10.fc43

15.0.1-0.11.fc43

2

librsvg2

2.59.2-2.fc42

2.60.0-1.fc43

2

libstdc++

15.0.1-0.10.fc43

15.0.1-0.11.fc43

2

libgcc

15.0.1-0.10.fc43

15.0.1-0.11.fc43

2

python3-setuptools

74.1.3-5.fc42

76.1.0-1.fc43

2

cpp

15.0.1-0.10.fc43

15.0.1-0.11.fc43

3

qt6-srpm-macros

6.8.2-2.fc43

6.9.0~rc-1.fc43

3

libffi

3.4.7-2.fc43

3.4.7-3.fc43

3

openldap

2.6.9-3.fc42

2.6.9-5.fc43

3

rsvg-pixbuf-loader

2.59.2-2.fc42

2.60.0-1.fc43

3

gtk3-devel

3.24.49-1.fc43

3.24.49-2.fc43

3

gcc-plugin-annobin

15.0.1-0.10.fc43

15.0.1-0.11.fc43

3

gtk3

3.24.49-1.fc43

3.24.49-2.fc43

3

libgomp

15.0.1-0.10.fc43

15.0.1-0.11.fc43

3

perl-Pod-Usage

4:2.03-512.fc42

4:2.04-1.fc43

4

libffi-devel

3.4.7-2.fc43

3.4.7-3.fc43

4

tzdata-java

2025a-1.fc43

2025b-1.fc43

4

tzdata

2025a-1.fc43

2025b-1.fc43

4

gtk-update-icon-cache

3.24.49-1.fc43

3.24.49-2.fc43

4

gdb-minimal

16.2-1.fc43

16.2-3.fc43

B

patch

2.7.6-26.fc42

2.8-1.fc43

B

diffutils

3.10-9.fc42

3.11-3.fc43

B

mesa-libGL

25.0.2-1.fc43

25.0.2-2.fc43

B

libusb1

1.0.27-9.fc43

1.0.28-2.fc43

B

perl-Math-BigInt

1:2.0040.01-1.fc43

1:2.0050.01-1.fc43

B

libquadmath

15.0.1-0.10.fc43

15.0.1-0.11.fc43

B

mesa-filesystem

25.0.2-1.fc43

25.0.2-2.fc43

B

libgfortran

15.0.1-0.10.fc43

15.0.1-0.11.fc43

B

mesa-libgbm

25.0.2-1.fc43

25.0.2-2.fc43

B

mesa-dri-drivers

25.0.2-1.fc43

25.0.2-2.fc43

B

mesa-libEGL

25.0.2-1.fc43

25.0.2-2.fc43

B

perl-DateTime-TimeZone

2.64-1.fc42

2.65-1.fc43

B

show 23 more collapse