Koschei - coq - build 115492215

Build details

Build information

State

complete

complete

Name

coq

Epoch

None

Version

8.18.0

Release

4.fc40

Started

2024-03-27 02:03:22

Finished

2024-03-27 02:25:28

Koji repo

5957412

Koji tasks

Build logs

aarch64

build.log | root.log

x86_64

build.log | root.log

Dependency changes from previous build

python3-devel

3.12.2-2.fc41

3.12.2-3.fc41

1

adwaita-icon-theme

46~rc-1.fc41

46.0-1.fc41

1

emacs-filesystem

1:29.2-3.fc40

1:29.3-1.fc41

2

python3

3.12.2-2.fc41

3.12.2-3.fc41

2

glibc

2.39.9000-9.fc41

2.39.9000-10.fc41

2

python-rpm-macros

3.12-7.fc40

3.12-8.fc41

2

python3-rpm-macros

3.12-7.fc40

3.12-8.fc41

2

python3-libs

3.12.2-2.fc41

3.12.2-3.fc41

2

glib2

2.79.1-1.fc40

2.80.0-1.fc41

2

adwaita-cursor-theme

46~rc-1.fc41

46.0-1.fc41

2

glibc-minimal-langpack

2.39.9000-9.fc41

2.39.9000-10.fc41

3

annobin-plugin-gcc

12.44-1.fc41

12.46-1.fc41

3

glib2-devel

2.79.1-1.fc40

2.80.0-1.fc41

3

glibc-common

2.39.9000-9.fc41

2.39.9000-10.fc41

3

glibc-devel

2.39.9000-9.fc41

2.39.9000-10.fc41

3

glibc-gconv-extra

2.39.9000-9.fc41

2.39.9000-10.fc41

3

python-srpm-macros

3.12-7.fc40

3.12-8.fc41

3

crypto-policies

20240304-1.git0375239....

20240320-1.git58e3d95....

3

python3-packaging

23.2-4.fc40

24.0-1.fc41

3

xorg-x11-proto-devel

2023.2-4.fc40

2024.1-1.fc41

4

kernel-headers

6.8.0-0.rc7.55.fc41

6.9.0-0.rc1.17.fc41

4

at-spi2-atk

2.51.91-1.fc41

2.52.0-1.fc41

4

atk

2.51.91-1.fc41

2.52.0-1.fc41

4

sysprof-capture-devel

46~rc-1.fc41

46.0-1.fc41

4

glibc-headers-x86

2.39.9000-9.fc41

2.39.9000-10.fc41

4

annobin-docs

12.44-1.fc41

12.46-1.fc41

4

at-spi2-atk-devel

2.51.91-1.fc41

2.52.0-1.fc41

4

crypto-policies-scripts

20240304-1.git0375239....

20240320-1.git58e3d95....

4

atk-devel

2.51.91-1.fc41

2.52.0-1.fc41

4

libtracker-sparql

3.7~rc-1.fc41

3.7.0-1.fc41

4

at-spi2-core

2.51.91-1.fc41

2.52.0-1.fc41

B

at-spi2-core-devel

2.51.91-1.fc41

2.52.0-1.fc41

B

show 22 more collapse