Koschei - why3 - build 119976338

Build details

Build information

State

complete

complete

Name

why3

Epoch

None

Version

1.7.2

Release

1.fc40

Started

2024-07-04 08:34:31

Finished

2024-07-04 08:47:46

Koji repo

6226994

Koji tasks

Build logs

aarch64

build.log | root.log

x86_64

build.log | root.log

Dependency changes from previous build

emacs-nw

1:29.3-6.fc40

1:29.4-3.fc40

1

ghostscript

10.02.1-9.fc40

10.02.1-10.fc40

2

libgcc

14.1.1-6.fc40

14.1.1-7.fc40

2

gcc

14.1.1-6.fc40

14.1.1-7.fc40

2

zlib-ng-compat

2.1.6-5.fc40

2.1.7-1.fc40

2

emacs-common

1:29.3-6.fc40

1:29.4-3.fc40

2

libgccjit

14.1.1-6.fc40

14.1.1-7.fc40

2

libgs

10.02.1-9.fc40

10.02.1-10.fc40

2

libstdc++

14.1.1-6.fc40

14.1.1-7.fc40

2

systemd-libs

255.7-1.fc40

255.8-1.fc40

2

annobin-plugin-gcc

12.57-1.fc40

12.60-1.fc40

3

python-srpm-macros

3.12-7.fc40

3.12-8.fc40

3

cups-libs

1:2.4.8-3.fc40

1:2.4.10-1.fc40

3

ghostscript-tools-printing

10.02.1-9.fc40

10.02.1-10.fc40

3

pyproject-srpm-macros

1.12.0-1.fc40

1.12.2-1.fc40

3

python3-urllib3

1.26.18-3.fc40

1.26.19-1.fc40

3

emacs-filesystem

1:29.3-6.fc40

1:29.4-3.fc40

3

pkgconf-pkg-config

2.1.0-1.fc40

2.1.1-1.fc40

3

ghostscript-tools-fonts

10.02.1-9.fc40

10.02.1-10.fc40

3

cpp

14.1.1-6.fc40

14.1.1-7.fc40

3

gcc-plugin-annobin

14.1.1-6.fc40

14.1.1-7.fc40

3

libgomp

14.1.1-6.fc40

14.1.1-7.fc40

3

pkgconf-m4

2.1.0-1.fc40

2.1.1-1.fc40

4

libxslt

1.1.41-1.fc40

1.1.41-2.fc40

4

pkgconf

2.1.0-1.fc40

2.1.1-1.fc40

4

annobin-docs

12.57-1.fc40

12.60-1.fc40

4

mesa-libgbm

24.1.2-2.fc40

24.1.2-7.fc40

4

zlib-ng-compat-devel

2.1.6-5.fc40

2.1.7-1.fc40

4

mesa-libGL

24.1.2-2.fc40

24.1.2-7.fc40

B

libgfortran

14.1.1-6.fc40

14.1.1-7.fc40

B

libquadmath

14.1.1-6.fc40

14.1.1-7.fc40

B

mesa-libglapi

24.1.2-2.fc40

24.1.2-7.fc40

B

libpkgconf

2.1.0-1.fc40

2.1.1-1.fc40

B

mesa-libEGL

24.1.2-2.fc40

24.1.2-7.fc40

B

perl-Module-CoreList

1:5.20240420-1.fc40

1:5.20240609-1.fc40

B

show 25 more collapse