Koschei - coq - build 128823133

Build details

Build information

State

complete

complete

Name

coq

Epoch

None

Version

8.20.1

Release

1.fc42

Started

2025-02-03 23:56:49

Finished

2025-02-04 00:25:51

Koji repo

6547439

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.1-3.fc42

3.13.1-4.fc42

1

java-21-openjdk

1:21.0.6.0.7-1.fc42

1:21.0.6.0.7-6.fc42

1

libX11

1.8.10-3.fc42

1.8.11-1.fc42

2

gcc

15.0.1-0.5.fc42

15.0.1-0.6.fc42

2

python3

3.13.1-3.fc42

3.13.1-4.fc42

2

libgcc

15.0.1-0.5.fc42

15.0.1-0.6.fc42

2

java-21-openjdk-headless

1:21.0.6.0.7-1.fc42

1:21.0.6.0.7-6.fc42

2

redhat-rpm-config

342-1.fc42

342-2.fc42

2

python3-libs

3.13.1-3.fc42

3.13.1-4.fc42

2

qt6-srpm-macros

6.8.1-5.fc42

6.8.2-1.fc42

3

annobin-plugin-gcc

12.87-1.fc42

12.88-1.fc42

3

libX11-common

1.8.10-3.fc42

1.8.11-1.fc42

3

tree-sitter-srpm-macros

0.1.0-8.fc42

3

gcc-plugin-annobin

15.0.1-0.5.fc42

15.0.1-0.6.fc42

3

cpp

15.0.1-0.5.fc42

15.0.1-0.6.fc42

3

libX11-devel

1.8.10-3.fc42

1.8.11-1.fc42

3

file

5.45-9.fc42

5.46-1.fc42

3

libgomp

15.0.1-0.5.fc42

15.0.1-0.6.fc42

3

annobin-docs

12.87-1.fc42

12.88-1.fc42

4

libstdc++

15.0.1-0.5.fc42

15.0.1-0.6.fc42

4

at-spi2-atk

2.55.0.1-2.fc42

2.55.2-1.fc42

4

file-libs

5.45-9.fc42

5.46-1.fc42

4

libgfortran

15.0.1-0.5.fc42

15.0.1-0.6.fc42

4

at-spi2-atk-devel

2.55.0.1-2.fc42

2.55.2-1.fc42

4

atk

2.55.0.1-2.fc42

2.55.2-1.fc42

4

atk-devel

2.55.0.1-2.fc42

2.55.2-1.fc42

4

libquadmath

15.0.1-0.5.fc42

15.0.1-0.6.fc42

4

libX11-xcb

1.8.10-3.fc42

1.8.11-1.fc42

4

kernel-headers

6.13.0-62.fc42

6.14.0-0.rc1.15.fc42

4

at-spi2-core-devel

2.55.0.1-2.fc42

2.55.2-1.fc42

B

which

2.22-2.fc42

2.23-1.fc42

B

lua-posix

36.2.1-8.fc42

lua

5.4.7-2.fc42

copy-jdk-configs

4.1-7.fc42

at-spi2-core

2.55.0.1-2.fc42

2.55.2-1.fc42

B

show 25 more collapse