Koschei - coq - build 127940105

Build details

Build information

State

complete

complete

Name

coq

Epoch

None

Version

8.20.0

Release

2.fc42

Started

2025-01-16 14:32:25

Finished

2025-01-16 15:54:57

Koji repo

6543698

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

sqlite-libs

3.47.2-1.fc42

3.47.2-2.fc42

3

debugedit

5.1-2.fc42

5.1-3.fc42

4