Koschei - z3 - build 129366140

Build details

Build information

State

complete

complete

Name

z3

Epoch

None

Version

4.8.15

Release

2.el9

Started

2025-02-18 06:51:16

Finished

2025-02-18 07:14:06

Koji repo

6551561

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

java-17-openjdk-devel

1:17.0.13.0.11-4.el9

1:17.0.14.0.7-2.el9

1

doxygen

1:1.9.1-11.el9

1:1.9.1-12.el9_5

1

gcc-c++

11.5.0-2.el9

11.5.0-5.el9_5

1

java-17-openjdk

1:17.0.13.0.11-4.el9

1:17.0.14.0.7-2.el9

2

libstdc++-devel

11.5.0-2.el9

11.5.0-5.el9_5

2

java-17-openjdk-headless

1:17.0.13.0.11-4.el9

1:17.0.14.0.7-2.el9

2

gcc

11.5.0-2.el9

11.5.0-5.el9_5

2

libstdc++

11.5.0-2.el9

11.5.0-5.el9_5

2

libgcc

11.5.0-2.el9

11.5.0-5.el9_5

2

tzdata-java

2024b-2.el9

2025a-1.el9

3

tzdata

2024b-2.el9

2025a-1.el9

3

bzip2-libs

1.0.8-8.el9

1.0.8-10.el9_5

3

cpp

11.5.0-2.el9

11.5.0-5.el9_5

3

openssl-libs

1:3.2.2-6.el9_5

1:3.2.2-6.el9_5.1

3

libxml2

2.9.13-6.el9_4

2.9.13-6.el9_5.1

3

libgomp

11.5.0-2.el9

11.5.0-5.el9_5

3

gcc-plugin-annobin

11.5.0-2.el9

11.5.0-5.el9_5

3

kernel-headers

5.14.0-503.19.1.el9_5

5.14.0-503.23.2.el9_5

4

epel-rpm-macros

9-14.el9

9-15.el9

B

bzip2

1.0.8-8.el9

1.0.8-10.el9_5

B

openssl

1:3.2.2-6.el9_5

1:3.2.2-6.el9_5.1

B

ghc-srpm-macros-epel

1.9.1-1.el9

B

show 12 more collapse