Koschei - emacs-common-proofgeneral - build 129039677

Build details

Build information

State

complete

complete

Name

emacs-common-proofgeneral

Epoch

None

Version

4.5

Release

10.20240912git1ffca70.fc42

Started

2025-02-09 12:37:57

Finished

2025-02-09 12:43:49

Koji repo

6548586

Koji tasks

Build logs

aarch64

build.log | root.log

Dependency changes from previous build

libcurl

8.11.1-3.fc42

8.12.0-1.fc43

2

glibc

2.40.9000-35.fc42

2.40.9000-37.fc43

2

sqlite-libs

3.47.2-2.fc42

3.49.0-1.fc43

2

libgccjit

15.0.1-0.6.fc42

15.0.1-0.7.fc43

2

libuuid

2.40.4-2.fc42

2.40.4-5.fc43

2

libgcc

15.0.1-0.6.fc42

15.0.1-0.7.fc43

2

glibc-gconv-extra

2.40.9000-35.fc42

2.40.9000-37.fc43

3

libmount

2.40.4-2.fc42

2.40.4-5.fc43

3

glibc-common

2.40.9000-35.fc42

2.40.9000-37.fc43

3

glibc-minimal-langpack

2.40.9000-35.fc42

2.40.9000-37.fc43

3

pcre2

10.44-1.fc42.2

10.44-1.fc43.2

3

gcc

15.0.1-0.6.fc42

15.0.1-0.7.fc43

3

filesystem

3.18-36.fc42

3.18-38.fc43

3

libpng

2:1.6.44-2.fc42

2:1.6.46-1.fc43

3

rpm-sequoia

1.7.0-4.fc42

1.7.0-5.fc43

3

curl

8.11.1-3.fc42

8.12.0-1.fc43

4

glibc-devel

2.40.9000-35.fc42

2.40.9000-37.fc43

4

util-linux

2.40.4-2.fc42

2.40.4-5.fc43

4

libstdc++

15.0.1-0.6.fc42

15.0.1-0.7.fc43

4

libblkid

2.40.4-2.fc42

2.40.4-5.fc43

4

libxcrypt

4.4.38-4.fc42

4.4.38-4.fc43

4

pcre2-syntax

10.44-1.fc42.2

10.44-1.fc43.2

4

util-linux-core

2.40.4-2.fc42

2.40.4-5.fc43

4

libfdisk

2.40.4-2.fc42

2.40.4-5.fc43

4

binutils

2.43.50-12.fc42

2.44-3.fc43

4

libgomp

15.0.1-0.6.fc42

15.0.1-0.7.fc43

4

cpp

15.0.1-0.6.fc42

15.0.1-0.7.fc43

4

authselect-libs

1.5.0-9.fc42

1.5.1-1.fc43

B

perl-MIME-Types

2.26-3.fc42

2.27-1.fc43

B

fedora-release

42-0.16

43-0.2

B

libxcrypt-devel

4.4.38-4.fc42

4.4.38-4.fc43

B

basesystem

11-22.fc42

pyproject-srpm-macros

1.16.4-2.fc42

1.17.0-1.fc43

B

fedora-release-identity-basic

42-0.16

43-0.2

B

fedora-repos-rawhide

42-0.4

43-0.1

B

gcc-plugin-annobin

15.0.1-0.6.fc42

15.0.1-0.7.fc43

B

perl-Mozilla-CA

20240924-3.fc42

20250202-1.fc42

B

fedora-gpg-keys

42-0.4

43-0.1

B

fedora-repos

42-0.4

43-0.1

B

perl-Business-ISBN-Data

20250118.001-1.fc42

20250205.001-1.fc43

B

filesystem-srpm-macros

3.18-36.fc42

3.18-38.fc43

B

fedora-release-common

42-0.16

43-0.2

B

libsmartcols

2.40.4-2.fc42

2.40.4-5.fc43

B

authselect

1.5.0-9.fc42

1.5.1-1.fc43

B

show 34 more collapse