Koschei - coq - build 121977076

Build details

Build information

State

complete

complete

Name

coq

Epoch

None

Version

8.18.0

Release

10.fc41

Started

2024-08-15 08:49:11

Finished

2024-08-15 09:22:03

Koji repo

6330482

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.3.0-4.fc42

1

adwaita-icon-theme

46.2-3.fc41

47~beta-1.fc41

1

less

661-1.fc41

661-2.fc41

2

adwaita-cursor-theme

46.2-3.fc41

47~beta-1.fc41

2

bash

5.2.26-4.fc41

5.2.32-1.fc41

2

readline

8.2-9.fc41

8.2-10.fc41

3

libedit

3.1-52.20240517cv...

3.1-53.20240808cv...

3

annobin-plugin-gcc

12.67-1.fc41

12.70-1.fc42

3

annobin-docs

12.67-1.fc41

12.70-1.fc42

4

kernel-headers

6.11.0-0.rc2.23.fc41

6.11.0-0.rc3.30.fc41

4

cups-libs

1:2.4.10-3.fc41

1:2.4.10-5.fc42

4

default-fonts-core-sans

4.1-2.fc41

4.1-3.fc42

4

libtiff

4.6.0-5.fc41

4.6.0-6.fc42

B

fedora-repos-rawhide

41-0.2

42-0.1

B

fedora-release-common

41-0.20

42-0.1

B

fedora-release

41-0.20

42-0.1

B

libtiff-devel

4.6.0-5.fc41

4.6.0-6.fc42

B

fedora-gpg-keys

41-0.2

42-0.1

B

fedora-repos

41-0.2

42-0.1

B

fedora-release-identity-basic

41-0.20

42-0.1

B

show 10 more collapse