Koschei - coq - build 128777390

Build details

Build information

State

complete

complete

Name

coq

Epoch

None

Version

8.20.1

Release

1.fc42

Started

2025-02-02 18:00:36

Finished

2025-02-02 18:22:51

Koji repo

6547178

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

time

1.9-24.fc41

1.9-26.fc42

1

rsync

3.4.1-2.fc42

3.4.1-3.fc42

1

libgcc

15.0.1-0.4.fc42

15.0.1-0.5.fc42

2

libselinux

3.8-0.rc3.1.fc42.3

3.8-1.fc42

2

openssl-libs

1:3.2.2-13.fc42

1:3.2.2-14.fc42

2

redhat-rpm-config

300-1.fc42

342-1.fc42

2

gcc

15.0.1-0.4.fc42

15.0.1-0.5.fc42

2

gdbm-libs

1:1.23-7.fc41

1:1.23-9.fc42

3

krb5-libs

1.21.3-4.fc42

1.21.3-5.fc42

3

libgomp

15.0.1-0.4.fc42

15.0.1-0.5.fc42

3

libsepol

3.8-0.rc3.1.fc42.1

3.8-1.fc42

3

gcc-plugin-annobin

15.0.1-0.4.fc42

15.0.1-0.5.fc42

3

cpp

15.0.1-0.4.fc42

15.0.1-0.5.fc42

3

libgfortran

15.0.1-0.4.fc42

15.0.1-0.5.fc42

4

libstdc++

15.0.1-0.4.fc42

15.0.1-0.5.fc42

4

libquadmath

15.0.1-0.4.fc42

15.0.1-0.5.fc42

4

libselinux-devel

3.8-0.rc3.1.fc42.3

3.8-1.fc42

4

which

2.22-1.fc42

2.22-2.fc42

B

gdbm

1:1.23-7.fc41

1:1.23-9.fc42

B

libsemanage

3.8-0.rc3.1.fc42.1

3.8-1.fc42

B

libsepol-devel

3.8-0.rc3.1.fc42.1

3.8-1.fc42

B

show 11 more collapse