Build details

Build information

State
complete
Name
Agda
Epoch
None
Version
2.6.3
Release
40.fc39
Started
2023-07-30 09:17:15
Finished
2023-07-30 10:22:26
Koji repo
5295202

Koji tasks

complete
104130973
aarch64
├104131036 closed
i386
├104131034 closed
ppc64le
├104131037 closed
s390x
├104131038 closed
x86_64
└104131035 closed

Build logs

aarch64
build.log | root.log
i386
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