Koschei - coq - build 122529036

Build details

Build information

State

complete

complete

Name

coq

Epoch

None

Version

8.18.0

Release

10.fc41

Started

2024-08-26 23:21:16

Finished

2024-08-26 23:45:06

Koji repo

6370595

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

libgcc

14.1.1-7.fc41

14.2.1-1.fc42

2

libcurl

8.9.1-2.fc41

8.9.1-3.fc42

2

gcc

14.1.1-7.fc41

14.2.1-1.fc42

2

glib2

2.81.2-2.fc42

2.82.0-1.fc42

2

libuuid

2.40.2-4.fc41

2.40.2-6.fc42

2

util-linux

2.40.2-4.fc41

2.40.2-6.fc42

3

libmount

2.40.2-4.fc41

2.40.2-6.fc42

3

gcc-plugin-annobin

14.1.1-7.fc41

14.2.1-1.fc42

3

crypto-policies

20240807-1.git5795660....

20240826-1.gite824389....

3

cpp

14.1.1-7.fc41

14.2.1-1.fc42

3

glib2-devel

2.81.2-2.fc42

2.82.0-1.fc42

3

libgomp

14.1.1-7.fc41

14.2.1-1.fc42

3

libX11-devel

1.8.10-1.fc41

1.8.10-2.fc42

3

libmount-devel

2.40.2-4.fc41

2.40.2-6.fc42

4

libstdc++

14.1.1-7.fc41

14.2.1-1.fc42

4

libsmartcols

2.40.2-4.fc41

2.40.2-6.fc42

4

libX11

1.8.10-1.fc41

1.8.10-2.fc42

4

libfdisk

2.40.2-4.fc41

2.40.2-6.fc42

4

libquadmath

14.1.1-7.fc41

14.2.1-1.fc42

4

libX11-xcb

1.8.10-1.fc41

1.8.10-2.fc42

4

libgfortran

14.1.1-7.fc41

14.2.1-1.fc42

4

kernel-headers

6.11.0-0.rc4.37.fc42

6.11.0-0.rc5.43.fc42

4

util-linux-core

2.40.2-4.fc41

2.40.2-6.fc42

4

libblkid

2.40.2-4.fc41

2.40.2-6.fc42

4

curl

8.9.1-2.fc41

8.9.1-3.fc42

4

mesa-libgbm

24.2.0-1.fc42

24.2.0-2.fc42

B

libX11-common

1.8.10-1.fc41

1.8.10-2.fc42

B

libblkid-devel

2.40.2-4.fc41

2.40.2-6.fc42

B

mesa-libEGL

24.2.0-1.fc42

24.2.0-2.fc42

B

mesa-filesystem

24.2.0-1.fc42

24.2.0-2.fc42

B

mesa-libglapi

24.2.0-1.fc42

24.2.0-2.fc42

B

mesa-libGL

24.2.0-1.fc42

24.2.0-2.fc42

B

mesa-dri-drivers

24.2.0-1.fc42

24.2.0-2.fc42

B

show 23 more collapse