Koschei - coq - build 124086612

Build details

Build information

State

complete

complete

Name

coq

Epoch

None

Version

8.18.0

Release

10.fc41

Started

2024-09-28 04:04:34

Finished

2024-09-28 04:25:20

Koji repo

6483728

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

git-core

2.46.1-1.fc42

2.46.2-1.fc42

1

javapackages-filesystem

6.2.0-27.fc42

6.2.0-30.fc42

2

libcurl

8.10.1-1.fc42

8.10.1-2.fc42

2

libgcc

14.2.1-3.fc42

14.2.1-4.fc42

2

libarchive

3.7.4-3.fc42

3.7.6-1.fc42

2

javapackages-tools

6.2.0-27.fc42

6.2.0-30.fc42

2

gcc

14.2.1-3.fc42

14.2.1-4.fc42

2

glib2

2.82.1-1.fc42

2.82.1-2.fc42

2

redhat-rpm-config

295-1.fc42

296-1.fc42

2

forge-srpm-macros

0.3.2-1.fc41

0.4.0-1.fc42

3

libgomp

14.2.1-3.fc42

14.2.1-4.fc42

3

gcc-plugin-annobin

14.2.1-3.fc42

14.2.1-4.fc42

3

cpp

14.2.1-3.fc42

14.2.1-4.fc42

3

coreutils

9.5-9.fc42

9.5-10.fc42

3

ca-certificates

2024.2.69_v8.0.401-1.fc42

2024.2.69_v8.0.401-2.fc42

3

glib2-devel

2.82.1-1.fc42

2.82.1-2.fc42

3

libstdc++

14.2.1-3.fc42

14.2.1-4.fc42

4

libquadmath

14.2.1-3.fc42

14.2.1-4.fc42

4

harfbuzz

9.0.0-3.fc42

10.0.1-1.fc42

4

fribidi-devel

1.0.15-2.fc41

1.0.16-1.fc42

4

cups-libs

1:2.4.10-6.fc42

1:2.4.10-7.fc42

4

curl

8.10.1-1.fc42

8.10.1-2.fc42

4

harfbuzz-devel

9.0.0-3.fc42

10.0.1-1.fc42

4

libgfortran

14.2.1-3.fc42

14.2.1-4.fc42

4

coreutils-common

9.5-9.fc42

9.5-10.fc42

4

fribidi

1.0.15-2.fc41

1.0.16-1.fc42

4

harfbuzz-cairo

9.0.0-3.fc42

10.0.1-1.fc42

B

harfbuzz-icu

9.0.0-3.fc42

10.0.1-1.fc42

B

show 18 more collapse