Koschei - why3 - build 128740399

Build details

Build information

State

complete

complete

Name

why3

Epoch

None

Version

1.8.0

Release

3.fc42

Started

2025-02-01 23:48:18

Finished

2025-02-02 00:06:15

Koji repo

6547094

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

redhat-rpm-config

300-1.fc42

342-1.fc42

2

gcc

15.0.1-0.4.fc42

15.0.1-0.5.fc42

2

libselinux

3.8-0.rc3.1.fc42.3

3.8-1.fc42

2

libgcc

15.0.1-0.4.fc42

15.0.1-0.5.fc42

2

libstdc++

15.0.1-0.4.fc42

15.0.1-0.5.fc42

2

libgccjit

15.0.1-0.4.fc42

15.0.1-0.5.fc42

2

glibc

2.40.9000-34.fc42

2.40.9000-35.fc42

2

cpp

15.0.1-0.4.fc42

15.0.1-0.5.fc42

3

libimagequant

4.0.3-6.fc42

4.0.3-7.fc42

3

glibc-common

2.40.9000-34.fc42

2.40.9000-35.fc42

3

openssl-libs

1:3.2.2-13.fc42

1:3.2.2-14.fc42

3

glibc-minimal-langpack

2.40.9000-34.fc42

2.40.9000-35.fc42

3

krb5-libs

1.21.3-4.fc42

1.21.3-5.fc42

3

libgomp

15.0.1-0.4.fc42

15.0.1-0.5.fc42

3

libsepol

3.8-0.rc3.1.fc42.1

3.8-1.fc42

3

gcc-plugin-annobin

15.0.1-0.4.fc42

15.0.1-0.5.fc42

3

glibc-devel

2.40.9000-34.fc42

2.40.9000-35.fc42

3

glibc-gconv-extra

2.40.9000-34.fc42

2.40.9000-35.fc42

3

libaom

3.9.0-3.fc41

3.9.0-5.fc42

4

libselinux-devel

3.8-0.rc3.1.fc42.3

3.8-1.fc42

4

gdbm-libs

1:1.23-7.fc41

1:1.23-9.fc42

4

mesa-libgbm

24.3.3-3.fc42

24.3.4-2.fc42

B

libsepol-devel

3.8-0.rc3.1.fc42.1

3.8-1.fc42

B

gdbm

1:1.23-7.fc41

1:1.23-9.fc42

B

perl-Text-BibTeX

0.90-3.fc42

0.91-1.fc42

B

mesa-libglapi

24.3.3-3.fc42

24.3.4-2.fc42

B

mesa-libGL

24.3.3-3.fc42

24.3.4-2.fc42

B

mesa-filesystem

24.3.3-3.fc42

24.3.4-2.fc42

B

mesa-dri-drivers

24.3.3-3.fc42

24.3.4-2.fc42

B

libsemanage

3.8-0.rc3.1.fc42.1

3.8-1.fc42

B

libsoup3

3.6.4-1.fc42

3.6.4-2.fc42

B

mesa-libEGL

24.3.3-3.fc42

24.3.4-2.fc42

B

libgfortran

15.0.1-0.4.fc42

15.0.1-0.5.fc42

B

libquadmath

15.0.1-0.4.fc42

15.0.1-0.5.fc42

B

show 24 more collapse