Koschei - coq - build 119773295

Build details

Build information

State

complete

complete

Name

coq

Epoch

None

Version

8.18.0

Release

4.fc40

Started

2024-06-29 13:26:34

Finished

2024-06-29 13:46:47

Koji repo

6216116

Koji tasks

Build logs

aarch64

build.log | root.log

x86_64

build.log | root.log

Dependency changes from previous build

libgcc

14.1.1-5.fc40

14.1.1-6.fc40

2

gcc

14.1.1-5.fc40

14.1.1-6.fc40

2

emacs-filesystem

1:29.3-6.fc40

1:29.4-3.fc40

2

glib2

2.80.2-1.fc40

2.80.3-1.fc40

2

cpp

14.1.1-5.fc40

14.1.1-6.fc40

3

glib2-devel

2.80.2-1.fc40

2.80.3-1.fc40

3

libgomp

14.1.1-5.fc40

14.1.1-6.fc40

3

gcc-plugin-annobin

14.1.1-5.fc40

14.1.1-6.fc40

3

pango

1.52.2-1.fc40

1.54.0-1.fc40

3

annobin-plugin-gcc

12.51-1.fc40

12.57-1.fc40

3

fribidi

1.0.13-4.fc40

1.0.14-2.fc40

4

libquadmath

14.1.1-5.fc40

14.1.1-6.fc40

4

fribidi-devel

1.0.13-4.fc40

1.0.14-2.fc40

4

annobin-docs

12.51-1.fc40

12.57-1.fc40

4

libgfortran

14.1.1-5.fc40

14.1.1-6.fc40

4

pango-devel

1.52.2-1.fc40

1.54.0-1.fc40

4

libstdc++

14.1.1-5.fc40

14.1.1-6.fc40

4

mesa-libgbm

24.1.1-5.fc40

24.1.2-2.fc40

B

mesa-libEGL

24.1.1-5.fc40

24.1.2-2.fc40

B

mesa-libGL

24.1.1-5.fc40

24.1.2-2.fc40

B

mesa-libglapi

24.1.1-5.fc40

24.1.2-2.fc40

B

show 11 more collapse