Koschei - coq - build 131872443

Build details

Build information

State

complete

complete

Name

coq

Epoch

None

Version

8.20.1

Release

1.fc42

Started

2025-04-22 20:25:43

Finished

2025-04-22 20:53:28

Koji repo

6570450

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

python3-devel

3.13.2-2.fc42

3.13.3-1.fc42

1

java-21-openjdk

1:21.0.6.0.7-6.fc42

1:21.0.7.0.6-1.fc42

1

python3-libs

3.13.2-2.fc42

3.13.3-1.fc42

2

python3

3.13.2-2.fc42

3.13.3-1.fc42

2

libgcc

15.0.1-0.11.fc42

15.0.1-0.14.fc42

2

glibc

2.41-1.fc42

2.41-3.fc42

2

java-21-openjdk-headless

1:21.0.6.0.7-6.fc42

1:21.0.7.0.6-1.fc42

2

gcc

15.0.1-0.11.fc42

15.0.1-0.14.fc42

2

glibc-common

2.41-1.fc42

2.41-3.fc42

3

glibc-gconv-extra

2.41-1.fc42

2.41-3.fc42

3

cpp

15.0.1-0.11.fc42

15.0.1-0.14.fc42

3

glibc-minimal-langpack

2.41-1.fc42

2.41-3.fc42

3

cups-libs

1:2.4.11-13.fc42

1:2.4.12-2.fc42

3

qt6-srpm-macros

6.8.2-2.fc42

6.9.0-2.fc42

3

ca-certificates

2024.2.69_v8.0.401-5.fc42

2024.2.69_v8.0.401-6.fc42

3

alsa-lib

1.2.13-4.fc42

1.2.14-2.fc42

3

gcc-plugin-annobin

15.0.1-0.11.fc42

15.0.1-0.14.fc42

3

libgomp

15.0.1-0.11.fc42

15.0.1-0.14.fc42

3

glibc-devel

2.41-1.fc42

2.41-3.fc42

3

wayland-devel

1.23.0-3.fc42

1.23.1-1.fc42

4

cups-filesystem

1:2.4.11-13.fc42

1:2.4.12-2.fc42

4

libwayland-egl

1.23.0-3.fc42

1.23.1-1.fc42

4

libquadmath

15.0.1-0.11.fc42

15.0.1-0.14.fc42

4

libstdc++

15.0.1-0.11.fc42

15.0.1-0.14.fc42

4

libwayland-client

1.23.0-3.fc42

1.23.1-1.fc42

4

libwayland-cursor

1.23.0-3.fc42

1.23.1-1.fc42

4

diffutils

3.11-3.fc42

3.12-1.fc42

4

libgfortran

15.0.1-0.11.fc42

15.0.1-0.14.fc42

4

fedora-release

42-25

42-26

B

fedora-release-common

42-25

42-26

B

libwayland-server

1.23.0-3.fc42

1.23.1-1.fc42

B

fedora-release-identity-basic

42-25

42-26

B

show 22 more collapse