Koschei - coq - build 116175886

Build details

Build information

State

complete

complete

Name

coq

Epoch

None

Version

8.18.0

Release

4.fc40

Started

2024-04-10 13:36:42

Finished

2024-04-10 13:58:49

Koji repo

6001552

Koji tasks

Build logs

aarch64

build.log | root.log

x86_64

build.log | root.log

Dependency changes from previous build

ocaml-dune

3.15.0-1.fc41

3.15.0-2.fc41

1

texlive-base

11:20230311-83.fc41

11:20230311-84.fc41

1

rsync

3.2.7-7.fc40

3.3.0-1.fc41

1

libarchive

3.7.2-3.fc40

3.7.2-3.fc41

2

emacs-filesystem

1:29.3-2.fc41

1:29.3-5.fc41

2

libuuid

2.40-0.12.fc41

2.40-13.fc41

2

libmount

2.40-0.12.fc41

2.40-13.fc41

3

util-linux

2.40-0.12.fc41

2.40-13.fc41

3

libX11-devel

1.8.8-1.fc41

1.8.9-1.fc41

3

tzdata

2024a-4.fc41

2024a-5.fc41

3

tzdata-java

2024a-4.fc41

2024a-5.fc41

3

libcap

2.69-3.fc40

2.69-8.fc41

3

pam-libs

1.6.0-2.fc41

1.6.1-1.fc41

4

pam

1.6.0-2.fc41

1.6.1-1.fc41

4

libmount-devel

2.40-0.12.fc41

2.40-13.fc41

4

libcap-ng

0.8.4-4.fc40

0.8.5-1.fc41

4

libblkid

2.40-0.12.fc41

2.40-13.fc41

4

libX11-xcb

1.8.8-1.fc41

1.8.9-1.fc41

4

util-linux-core

2.40-0.12.fc41

2.40-13.fc41

4

libfdisk

2.40-0.12.fc41

2.40-13.fc41

4

libsmartcols

2.40-0.12.fc41

2.40-13.fc41

4

kernel-headers

6.9.0-0.rc2.23.fc41

6.9.0-0.rc3.30.fc41

4

libX11

1.8.8-1.fc41

1.8.9-1.fc41

4

libblkid-devel

2.40-0.12.fc41

2.40-13.fc41

B

libX11-common

1.8.8-1.fc41

1.8.9-1.fc41

B

show 15 more collapse