Koschei - coq - build 116776239

Build details

Build information

State

complete

complete

Name

coq

Epoch

None

Version

8.18.0

Release

4.fc40

Started

2024-04-23 14:01:17

Finished

2024-04-23 14:23:26

Koji repo

6042607

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-2.fc41

3.15.1-1.fc41

1

python3-devel

3.12.3-1.fc41

3.12.3-2.fc41

1

python3-libs

3.12.3-1.fc41

3.12.3-2.fc41

2

gdk-pixbuf2

2.42.10-8.fc40

2.42.11-1.fc41

2

emacs-filesystem

1:29.3-5.fc41

1:30.0-2.fc41

2

openssh-clients

9.6p1-1.fc41.6

9.6p1-1.fc41.7

2

python3

3.12.3-1.fc41

3.12.3-2.fc41

2

glibc

2.39.9000-10.fc41

2.39.9000-13.fc41

2

icu4j

1:74.2-4.fc41

1:75.1-1.fc41

2

glibc-devel

2.39.9000-10.fc41

2.39.9000-13.fc41

3

glibc-minimal-langpack

2.39.9000-10.fc41

2.39.9000-13.fc41

3

libxcb-devel

1.16.1-1.fc41

1.17.0-1.fc41

3

openssh

9.6p1-1.fc41.6

9.6p1-1.fc41.7

3

libjpeg-turbo

3.0.2-1.fc40

3.0.2-2.fc41

3

glibc-gconv-extra

2.39.9000-10.fc41

2.39.9000-13.fc41

3

glibc-common

2.39.9000-10.fc41

2.39.9000-13.fc41

3

annobin-plugin-gcc

12.48-1.fc41

12.50-1.fc41

3

jasper-libs

4.2.1-1.fc41

4.2.3-1.fc41

3

cmake-filesystem

3.28.3-1.fc41

3.28.3-4.fc41

4

kernel-headers

6.9.0-0.rc4.37.fc41

6.9.0-0.rc5.44.fc41

4

libxcb

1.16.1-1.fc41

1.17.0-1.fc41

4

gdk-pixbuf2-devel

2.42.10-8.fc40

2.42.11-1.fc41

4

glibc-headers-x86

2.39.9000-10.fc41

2.39.9000-13.fc41

4

elfutils-debuginfod-client

0.191-5.fc41

0.191-7.fc41

4

gdk-pixbuf2-modules

2.42.10-8.fc40

2.42.11-1.fc41

4

elfutils-libelf

0.191-5.fc41

0.191-7.fc41

4

annobin-docs

12.48-1.fc41

12.50-1.fc41

4

elfutils

0.191-5.fc41

0.191-7.fc41

4

libgusb

0.4.8-3.fc40

0.4.9-1.fc41

B

elfutils-default-yama-scope

0.191-5.fc41

0.191-7.fc41

B

libjpeg-turbo-devel

3.0.2-1.fc40

3.0.2-2.fc41

B

dbus-broker

35-4.fc40

36-2.fc41

B

elfutils-libs

0.191-5.fc41

0.191-7.fc41

B

show 23 more collapse