Build details

Build information

State
complete
Name
Agda
Epoch
None
Version
2.5.3
Release
14.el8
Started
2022-09-07 17:08:58
Finished
2022-09-07 19:59:46
Koji repo
4809945

Koji tasks

complete
91747921
aarch64
├91747998 closed
ppc64le
├91747999 closed
s390x
├91748000 closed
x86_64
└91748001 closed

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

Dependencies for this build could not be processed.
Koschei version
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues