Koschei - why3 - build 130568617

Build details

Build information

State

complete

complete

Name

why3

Epoch

None

Version

1.8.0

Release

4.fc43

Started

2025-03-21 16:05:58

Finished

2025-03-21 16:22:00

Koji repo

6562724

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

emacs-nw

1:30.1-10.fc43

1:30.1-13.fc43

1

mpfr-devel

4.2.1-6.fc42

4.2.2-1.fc43

2

libgs

10.04.0-2.fc43

10.05.0-1.fc43

2

emacs-common

1:30.1-10.fc43

1:30.1-13.fc43

2

ghostscript

10.04.0-2.fc43

10.05.0-1.fc43

2

python3-pygments

2.18.0-4.fc42

2.19.1-1.fc43

2

libcurl

8.13.0~rc1-2.fc43

8.13.0~rc2-1.fc43

2

cmake-filesystem

4.0.0~rc4-1.fc43

3.31.6-2.fc43

3

mpfr

4.2.1-6.fc42

4.2.2-1.fc43

3

emacsclient

1:30.1-10.fc43

1:30.1-13.fc43

3

pyproject-srpm-macros

1.17.0-1.fc43

1.18.1-1.fc43

3

ghostscript-tools-printing

10.04.0-2.fc43

10.05.0-1.fc43

3

ghostscript-tools-fonts

10.04.0-2.fc43

10.05.0-1.fc43

3

shadow-utils

2:4.17.0-4.fc42

2:4.17.4-1.fc43

4

setup

2.15.0-14.fc43

2.15.0-23.fc43

4

libtinysparql

3.9.1-1.fc43

3.9.1-2.fc43

4

curl

8.13.0~rc1-2.fc43

8.13.0~rc2-1.fc43

4

libusb1

1.0.27-8.fc42

1.0.27-9.fc43

B

mesa-libgbm

25.0.1-2.fc43

25.0.2-1.fc43

B

mesa-dri-drivers

25.0.1-2.fc43

25.0.2-1.fc43

B

mesa-libGL

25.0.1-2.fc43

25.0.2-1.fc43

B

llvm-filesystem

20.1.0-1.fc43

20.1.1-1.fc43

B

mesa-libEGL

25.0.1-2.fc43

25.0.2-1.fc43

B

llvm-libs

20.1.0-1.fc43

20.1.1-1.fc43

B

mesa-filesystem

25.0.1-2.fc43

25.0.2-1.fc43

B

show 15 more collapse