Build details

Build information

State
complete
Name
Agda
Epoch
None
Version
2.7.0.1
Release
54.fc43
Started
2025-04-08 01:55:46
Finished
2025-04-08 03:09:30
Koji repo
6566832

Koji tasks

complete
131260451
aarch64
├131260543 closed
ppc64le
├131260544 closed
s390x
├131260545 closed
x86_64
└131260542 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

No dependency changes
Koschei version 2afbb17
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues