Koschei - coq - build 128669642

Build details

Build information

State

complete

complete

Name

coq

Epoch

None

Version

8.18.0

Release

10.fc41

Started

2025-01-31 03:24:49

Finished

2025-01-31 03:47:22

Koji repo

6546820

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

rsync

3.3.0-3.fc41

3.4.1-1.fc41

1

antlr4

4.13.2-1.fc41

4.13.2-3.fc41

1

python3-antlr4-runtime

4.13.2-1.fc41

4.13.2-3.fc41

1

java-21-openjdk-headless

1:21.0.5.0.11-1.fc41

1:21.0.6.0.7-1.fc41

2

antlr4-runtime

4.13.2-1.fc41

4.13.2-3.fc41

2

glibc

2.40-17.fc41

2.40-21.fc41

2

openssh-clients

9.8p1-3.fc41.2

9.9p1-2.fc41

2

less

661-2.fc41

668-1.fc41

2

glibc-gconv-extra

2.40-17.fc41

2.40-21.fc41

3

openldap

2.6.8-6.fc41

2.6.8-7.fc41

3

openssh

9.8p1-3.fc41.2

9.9p1-2.fc41

3

glibc-devel

2.40-17.fc41

2.40-21.fc41

3

glibc-minimal-langpack

2.40-17.fc41

2.40-21.fc41

3

gnutls

3.8.6-7.fc41

3.8.8-3.fc41

3

glibc-common

2.40-17.fc41

2.40-21.fc41

3

sqlite-libs

3.46.1-1.fc41

3.46.1-2.fc41

3

publicsuffix-list-dafsa

20240107-4.fc41

20250116-1.fc41

4

debugedit

5.1-2.fc41

5.1-4.fc41

4

cmake-filesystem

3.30.5-1.fc41

3.30.7-1.fc41

4

mesa-libEGL

24.3.3-2.fc41

24.3.4-3.fc41

B

mesa-libglapi

24.3.3-2.fc41

24.3.4-3.fc41

B

mesa-libGL

24.3.3-2.fc41

24.3.4-3.fc41

B

mesa-filesystem

24.3.3-2.fc41

24.3.4-3.fc41

B

mesa-libgbm

24.3.3-2.fc41

24.3.4-3.fc41

B

llvm-libs

19.1.5-1.fc41

19.1.7-1.fc41

B

libsoup3

3.6.0-1.fc41

3.6.4-1.fc41

B

mesa-dri-drivers

24.3.3-2.fc41

24.3.4-3.fc41

B

show 17 more collapse