Koschei - emacs-common-proofgeneral - build 130604362

Build details

Build information

State

complete

complete

Name

emacs-common-proofgeneral

Epoch

None

Version

4.5

Release

10.20240912git1ffca70.fc42

Started

2025-03-22 15:04:06

Finished

2025-03-22 15:10:30

Koji repo

6562910

Koji tasks

Build logs

s390x

build.log | root.log

Dependency changes from previous build

emacs-nw

1:30.1-10.fc43

1:30.1-13.fc43

1

desktop-file-utils

0.27-3.fc42

0.28-1.fc43

1

emacs-common

1:30.1-10.fc43

1:30.1-13.fc43

2

libgcc

15.0.1-0.9.fc43

15.0.1-0.10.fc43

2

libgccjit

15.0.1-0.9.fc43

15.0.1-0.10.fc43

2

libcurl

8.13.0~rc1-2.fc43

8.13.0~rc2-1.fc43

2

openssl-libs

1:3.2.4-3.fc43

1:3.5.0-1.fc43

3

gcc

15.0.1-0.9.fc43

15.0.1-0.10.fc43

3

emacsclient

1:30.1-10.fc43

1:30.1-13.fc43

3

mpfr

4.2.1-6.fc42

4.2.2-1.fc43

3

curl

8.13.0~rc1-2.fc43

8.13.0~rc2-1.fc43

4

shadow-utils

2:4.17.0-4.fc42

2:4.17.4-1.fc43

4

setup

2.15.0-14.fc43

2.15.0-23.fc43

4

libstdc++

15.0.1-0.9.fc43

15.0.1-0.10.fc43

4

libgomp

15.0.1-0.9.fc43

15.0.1-0.10.fc43

4

cpp

15.0.1-0.9.fc43

15.0.1-0.10.fc43

4

perl-ExtUtils-MM-Utils

2:7.70-513.fc42

2:7.72-1.fc43

B

pyproject-srpm-macros

1.17.0-1.fc43

1.18.1-1.fc43

B

gcc-plugin-annobin

15.0.1-0.9.fc43

15.0.1-0.10.fc43

B

annobin-docs

12.92-1.fc43

12.93-1.fc43

B

kernel-headers

6.14.0-0.rc6.49.fc43

6.14.0-0.rc7.56.fc43

B

qt5-srpm-macros

5.15.15-1.fc42

5.15.16-1.fc43

B

perl-Business-ISBN-Data

20250309.001-1.fc43

20250322.001-1.fc43

B

annobin-plugin-gcc

12.92-1.fc43

12.93-1.fc43

B

show 14 more collapse