Koschei - gappalib-coq - build 129211307

Build details

Build information

State

complete

complete

Name

gappalib-coq

Epoch

None

Version

1.6.0

Release

4.fc43

Started

2025-02-13 21:33:25

Finished

2025-02-13 21:39:43

Koji repo

6550517

Koji tasks

Build logs

aarch64

build.log | root.log

ppc64le

build.log | root.log

s390x

build.log | root.log

x86_64

build.log | root.log

Dependency changes from previous build

flocq

4.2.0-5.fc42

4.2.1-1.fc43

1

zlib-ng-compat

2.2.3-2.fc42

2.2.4-1.fc43

2

util-linux

2.40.4-5.fc43

2.40.4-6.fc43

3

build-reproducibility-srpm-macros

0.5.0-2.fc42

0.6.0-1.fc43

3

curl

8.12.0-1.fc43

8.12.1-1.fc43

4

libfdisk

2.40.4-5.fc43

2.40.4-6.fc43

4

libuuid

2.40.4-5.fc43

2.40.4-6.fc43

4

kernel-headers

6.14.0-0.rc1.15.fc42

6.14.0-0.rc2.22.fc43

4

libsmartcols

2.40.4-5.fc43

2.40.4-6.fc43

4

add-determinism

0.5.0-2.fc42

0.6.0-1.fc43

4

util-linux-core

2.40.4-5.fc43

2.40.4-6.fc43

4

libblkid

2.40.4-5.fc43

2.40.4-6.fc43

4

libmount

2.40.4-5.fc43

2.40.4-6.fc43

4

setup

2.15.0-10.fc42

2.15.0-12.fc43

4

openssl-libs

1:3.2.2-14.fc42

1:3.2.4-1.fc43

4

libcurl

8.12.0-1.fc43

8.12.1-1.fc43

B

gdb-minimal

15.2-7.fc42

16.2-1.fc43

B

libtasn1

4.19.0-11.fc42

4.20.0-1.fc43

B

libeconf

0.7.5-2.fc42

0.7.6-1.fc43

B

show 9 more collapse