Koschei - coq - build 123106498

Build details

Build information

State

complete

complete

Name

coq

Epoch

None

Version

8.18.0

Release

10.fc41

Started

2024-09-08 15:52:29

Finished

2024-09-08 16:19:24

Koji repo

6408070

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

expat

2.6.2-2.fc41

2.6.3-1.fc42

2

redhat-rpm-config

294-1.fc42

295-1.fc42

2

libgcc

14.2.1-1.fc42

14.2.1-2.fc42

2

gcc

14.2.1-1.fc42

14.2.1-2.fc42

2

glibc

2.40-3.fc41

2.40.9000-1.fc42

2

qt5-srpm-macros

5.15.14-3.fc41

5.15.15-1.fc42

3

cpp

14.2.1-1.fc42

14.2.1-2.fc42

3

glibc-common

2.40-3.fc41

2.40.9000-1.fc42

3

glibc-devel

2.40-3.fc41

2.40.9000-1.fc42

3

glibc-minimal-langpack

2.40-3.fc41

2.40.9000-1.fc42

3

glibc-gconv-extra

2.40-3.fc41

2.40.9000-1.fc42

3

gcc-plugin-annobin

14.2.1-1.fc42

14.2.1-2.fc42

3

libgomp

14.2.1-1.fc42

14.2.1-2.fc42

3

libquadmath

14.2.1-1.fc42

14.2.1-2.fc42

4

libXi

1.8.1-6.fc41

1.8.2-1.fc42

4

nss

3.103.0-1.fc41

3.104.0-1.fc42

4

libXi-devel

1.8.1-6.fc41

1.8.2-1.fc42

4

pam-libs

1.6.1-5.fc41

1.6.1-6.fc42

4

libgfortran

14.2.1-1.fc42

14.2.1-2.fc42

4

libstdc++

14.2.1-1.fc42

14.2.1-2.fc42

4

pam

1.6.1-5.fc41

1.6.1-6.fc42

4

glibc-headers-x86

2.40-3.fc41

2.40.9000-1.fc42

4

mesa-libglapi

24.2.1-2.fc42

24.2.2-2.fc42

B

nss-softokn

3.103.0-1.fc41

3.104.0-1.fc42

B

nss-softokn-freebl

3.103.0-1.fc41

3.104.0-1.fc42

B

nss-util

3.103.0-1.fc41

3.104.0-1.fc42

B

mesa-libgbm

24.2.1-2.fc42

24.2.2-2.fc42

B

nspr

4.35.0-28.fc41

4.35.0-29.fc42

B

mesa-dri-drivers

24.2.1-2.fc42

24.2.2-2.fc42

B

hwdata

0.386-1.fc42

0.387-1.fc42

B

mesa-filesystem

24.2.1-2.fc42

24.2.2-2.fc42

B

mesa-libEGL

24.2.1-2.fc42

24.2.2-2.fc42

B

nss-sysinit

3.103.0-1.fc41

3.104.0-1.fc42

B

mesa-libGL

24.2.1-2.fc42

24.2.2-2.fc42

B

show 24 more collapse