Koschei - coq - build 128608025

Build details

Build information

State

complete

complete

Name

coq

Epoch

None

Version

8.20.1

Release

1.fc42

Started

2025-01-29 13:59:00

Finished

2025-01-29 14:23:31

Koji repo

6546438

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

rsync

3.4.1-1.fc42

3.4.1-2.fc42

1

java-21-openjdk

1:21.0.5.0.11-1.fc42.1

1:21.0.6.0.7-1.fc42

1

openssl-libs

1:3.2.2-12.fc42

1:3.2.2-13.fc42

2

openssh-clients

9.9p1-5.fc42.1

9.9p1-7.fc42

2

fontconfig

2.15.0-9.fc42

2.16.0-2.fc42

2

glibc

2.40.9000-34.fc42

2.40.9000-35.fc42

2

java-21-openjdk-headless

1:21.0.5.0.11-1.fc42.1

1:21.0.6.0.7-1.fc42

2

openssh

9.9p1-5.fc42.1

9.9p1-7.fc42

3

glibc-minimal-langpack

2.40.9000-34.fc42

2.40.9000-35.fc42

3

ncurses-libs

6.5-2.20240629.fc41

6.5-5.20250125.fc42

3

glibc-devel

2.40.9000-34.fc42

2.40.9000-35.fc42

3

systemd

257.2-14.fc42

257.2-17.fc42

3

glibc-common

2.40.9000-34.fc42

2.40.9000-35.fc42

3

crypto-policies

20241128-2.gitbb7b0b0....

20250124-1.git4d262e7....

3

glibc-gconv-extra

2.40.9000-34.fc42

2.40.9000-35.fc42

3

annobin-plugin-gcc

12.84-1.fc42

12.87-1.fc42

3

fontconfig-devel

2.15.0-9.fc42

2.16.0-2.fc42

3

systemd-libs

257.2-14.fc42

257.2-17.fc42

4

systemd-pam

257.2-14.fc42

257.2-17.fc42

4

ncurses-base

6.5-2.20240629.fc41

6.5-5.20250125.fc42

4

annobin-docs

12.84-1.fc42

12.87-1.fc42

4

cyrus-sasl-lib

2.1.28-28.fc42

2.1.28-30.fc42

4

systemd-rpm-macros

257.2-14.fc42

257.2-17.fc42

4

fedora-release

42-0.15

42-0.16

B

mesa-libGL

24.3.3-3.fc42

24.3.4-2.fc42

B

mesa-libglapi

24.3.3-3.fc42

24.3.4-2.fc42

B

fedora-release-identity-basic

42-0.15

42-0.16

B

mesa-filesystem

24.3.3-3.fc42

24.3.4-2.fc42

B

systemd-devel

257.2-14.fc42

257.2-17.fc42

B

openblas-openmp

0.3.28-3.fc42

0.3.29-1.fc42

B

mesa-libEGL

24.3.3-3.fc42

24.3.4-2.fc42

B

libsoup3

3.6.4-1.fc42

3.6.4-2.fc42

B

mesa-dri-drivers

24.3.3-3.fc42

24.3.4-2.fc42

B

which

2.21-43.fc42

2.22-1.fc42

B

fedora-release-common

42-0.15

42-0.16

B

openblas

0.3.28-3.fc42

0.3.29-1.fc42

B

mesa-libgbm

24.3.3-3.fc42

24.3.4-2.fc42

B

show 27 more collapse